準備
△OADと△OCBについて
(a)がそれぞれ等しいので、相似
相似比△OAD:△OCB=(b):(c)なので、AO:OC=(d):(e)
EFを一気に求めることは無理なので、辺を分けて考える
△AEOと△ABCについて
(f)がそれぞれ等しいので、相似
AO:OC=(d):(e)を思い出すと、AO:AC=(g):(h)なので相似比がわかる。相似比EO:BCよりEO=(i)
△DOFと△DBCについて
(j)がそれぞれ等しいので、相似
以下同様に相似比よりOF=(k)
EF=EO+OF=(l)