예를 들어, RT ABC에서 A=90°, B의 이등분선에서 AC를 E에, BC변의 높은 AH를 D에, D를 지나 DF//BC를 F에 교부하다, 증명하다: AE=FC

예를 들어, RT ABC에서 A=90°, B의 이등분선에서 AC를 E에, BC변의 높은 AH를 D에, D를 지나 DF//BC를 F에 교부하다, 증명하다: AE=FC

증명:
오버포인트 E는 EG, HC는 G, EG는 AH
에서 ABE=GBE, BAE=BGE=90º, 득: AE=EG
ADE=BDH=90º-DBH, AEB=90º
은(는) ABE=DBH를 지원합니다.
ADE=AEB, AD=AE, AD=AE =EG
또한 DF 및 DC, FFD=ADF, ADF=EGC=90º AD=EG
"ADF", "EGC", "AF=EC", "AE=FC"