如圖(十二),已知 ABCD 是正方形,A 在 L 上,\overline{DE}\perp L,\overline{BF}\perp L,垂足分別為 E、F(\overline{AE}\neq\overline{AF})。
求證:\triangle ADE\cong\triangle BAF
證明:1. ∵ ABCD 是正方形,∴ \overline{AB}=\overline{AD},\angle7=90^\circ
- 又∵
\overline{DE}\perp L,\overline{BF}\perp L,∴\angle5=\angle6=90^\circ
- ________(甲)________
- ∴
\triangle ADE\cong\triangle BAF
從下列選項中,選出可填入(甲)中的正確證明過程。