1. [tex]AD^4=(AD^2)^2=(BD.CD)^2=BD^2.CD^2=BE.BA.CF.CA=BE.CF.AB.AC=BE.CF.AD.BC\Rightarrow AD^3=BE.CF.BC\Rightarrow \frac{AD^3}{BE.CF}=BC=2R[/tex]
Ta thấy: EFCB nội tiếp do [tex]\widehat{AEF}=\widehat{ADF}=\widehat{ACB}[/tex]
Giả sử HE cắt đường tròn đường kính AD tại F'. Khi đó [tex]HG.HA=HE.HF'[/tex]
Mà AGBC nội tiếp nên [tex]HG.HA=HB.HC\Rightarrow HE.HF'=HB.HC\Rightarrow[/tex] F'EBC nội tiếp
Lại có FEBC nội tiếp nên F trùng F' hay đpcm.
2. Bạn tham khảo định lí Ptolemy.