ユーザー解説 by UNOwen
AAA から直線 EFEFEF に下した垂線の足を HHH とすると △ADF≡△AHF\triangle ADF\equiv \triangle AHF△ADF≡△AHF がわかる． ∠ABE=∠AHE=90∘\angle ABE=\angle AHE=90^\circ∠ABE=∠AHE=90∘ と AB=AD=AHAB=AD=AHAB=AD=AH から △ABE≡△AHE\triangle ABE\equiv \triangle AHE△ABE≡△AHE つまり ∠AEB=∠AEH\angle AEB=\angle AEH∠AEB=∠AEH がわかるので，以降は公式解説と同様である．