áp dụng hệ thức lượng vào tg OCE vuông tại C có đường cao CH
OC^2=OH.OE
mà OC=R
=> OH.OE = R^2
​qua A kẻ đường vuông góc với CE tại F
ta có S ACE=1/2 AE.CH=1/2 AF.CE
góc FCA=1/2 sđ AC=ABC
mà góc ABC=ACH( cùng phụ với HCB)
=> FCA=ACH
xét tg AFC và tg AHC
AFC=AHC=90
AC cạnh chung
FCA=ACH( cmt)
=> tg AFC=tg AHC( ch-gn)
=> AF=AH
lại có S ACE=1/2 AE.CH=1/2 AF.CE
=> AE.CH=AH.CE( đpcm)