因為ag = AE∠GAF =∠EAF = 15;AF=AF,所以△GAF全部等於△ △EAF。
所以GF=EF
同時可以得到∠ FGC = ∠ AFE = ∠ CFD = 60。
所以因為gf = dfCF = CF∠ GCF =∠ DCF = 45,所以△CGF都等於△CDF。
所以gf = df
綜合可用ef = df