△ ABC 에 서 는 각 ABC = 90, AD 는 각 이등분선 이 고, E F 는 각각 AC AD 에 있 으 며, AE = AB EF / BC 는 BDEF 가 마름모꼴 임 을 입증 한다.

△ ABC 에 서 는 각 ABC = 90, AD 는 각 이등분선 이 고, E F 는 각각 AC AD 에 있 으 며, AE = AB EF / BC 는 BDEF 가 마름모꼴 임 을 입증 한다.

87577, 8736, BAF = 8736, EAF AB = AE AF = AF
∴ △ ABF ≌ △ AEF
8756 ° BF = EF * 8736 ° AFB = 8736 ° AFE
8756 섬 8736 섬 BFD = 8736 섬 EFD
∵ EF / BC
8756 섬 8736 섬 EFD = 8736 섬 BDF
8756 섬 8736 섬 BFD = 8736 섬 BDF
BF = BD
∵ EF / BC
BDEF 는 평행사변형 입 니 다.
∵ BF = EF
∴ BDEF 는 마름모꼴 입 니 다.