こりゃ難しいわ。こってる。
角EBC=15.円周角から角CAD=角EBC=15.
てことは、△ABE≡△ACDより、角BAE=15.
△の外角の和から、角AEH=45+15=60.てことは、AE=ADより、△AEDは正三角形。
さらに、角AHB=90より、角ABH=45より、△ABH.は90.45.45の三角形。
△AEDより、EH:AH=1:√3.AH=BHに注意して、EH:AH=1:√3.EH:3√2=1:√3.
EH=√6
△ABE=1/2×(BH-EH)×AH=9-3√3.
違ってる時は、サーセン。