EF bisectoare inΔCAE⇒(teorema bisectoarei)CE/CA=CF/FA (1)
EG bisectoare inΔCEB⇒(teorema bisectoarei) CE/EB=CG/GB (2)
dar AE=EB ( din ipoteza, E mijloc AB)
atunci din (1) si 92) avem
CF/FA=CE/AE=CE/EB=CG/GB
adica luamd doar primuil si ultimul raport al proportiei
CF/FA=CG/GB⇒(Reciproca Teoremei lui Thales) FG||AB, cerinta