点 III で交わる弦の定理より、AEGFAEGFAEGF が円に内接することと AI⋅IG=FI⋅IEAI\cdot IG=FI\cdot IEAI⋅IG=FI⋅IE は同値である。上の比を代入すると、公式解答で用いられる同値な関係 AD2=3CD2AD^2=3CD^2AD2=3CD2 を得る。