예를 들어, 사다리꼴 ABCD에서 AB∙CD, E는 DC 중간점, 직선 BE는 F에, AD의 연장선은 G에 교부한다. 구증: EF·BG=BF·EG.

예를 들어, 사다리꼴 ABCD에서 AB∙CD, E는 DC 중간점, 직선 BE는 F에, AD의 연장선은 G에 교부한다. 구증: EF·BG=BF·EG.

증명: AB ☞ CD, ☞ GDE=❤ GAB, ☞ GED=❤ GBA, ☞ CEF=❤ ABF, ▷ECF=ᅵBAF.❤ CEF∙ABF, DGE∙AGB.❤ EF:BF=EC: AB, EG: BG=DE: AB.∙DE=EC, EF:BF=EG:BG.∙EF·BG=BF·EG=BF·EG, EF:BF=EC, EF:BG=BG, EF·BG=BF·EG=BF·EG.