Xét ∆ ABF và ∆ DAE,ta có: AB = DA (gt)
∠ (BAF) = ∠ (ADE) = 90 0
AF = DE (gt)
Suy ra: ΔABF = ΔDAE (c.g.c)
⇒ BF = AE và ∠ B 1 = ∠ A 1
Gọi H là giao điểm của AE và BF.
Ta có: ∠ (BAF) = ∠ A 1 + ∠ A 2 = 90 0
Suy ra: ∠ B 1 + ∠ A 2 = 90 0
Trong ΔABH,ta có: ∠ (AHB) + ∠ B 1 + ∠ A 2 = 180 0
⇒ ( ∠ (AHB) ) = 180 0 – ( ∠ B 1 + ∠ A 2 ) = 180 0 – 90 0 = 90 0
Vậy AE ⊥ BF