그림 과 같이△ABC 에서∠C=90°,AD 는∠BAC 의 이등분선 이 고 DE⊥AB 는 E,F 는 AC,DB=DF 에서 증 거 를 구한다. 그림 과 같이△ABC 에서∠C=90°,AD 는∠BAC 의 이등분선 이 고 DE⊥AB 는 E,F 는 AC 에서 DB=DF 이다.입증:CF=EB.

그림 과 같이△ABC 에서∠C=90°,AD 는∠BAC 의 이등분선 이 고 DE⊥AB 는 E,F 는 AC,DB=DF 에서 증 거 를 구한다. 그림 과 같이△ABC 에서∠C=90°,AD 는∠BAC 의 이등분선 이 고 DE⊥AB 는 E,F 는 AC 에서 DB=DF 이다.입증:CF=EB.

AD 가 똑 같이 나 뉘 어 져 있 기 때문에 BAC,DE 는 8869°AB 가 E 에 있 습 니 다.
CD=DB(각 이등분선 의 점 에서 각 까지 의 거리 가 같다)
또 BD=DF,∠C=90°,∠BED=90°
HL 정리 에 따 르 면 삼각형 CFD 는 모두 삼각형 EBD 와 같다.
그래서 CF=EB