> ODEに注目するとDEの長さ
ここがどうなんだろう...半角公式(高校数学)使わないでいけるのん？

cos∠OAD = (AD/2)/AO = 4/5
DE = 2 DH = 2 AD sin(0.5∠OAD)
= 2 * 8 * √{ ( 1 - cos∠OAD )/2 }
= 16/√10

> EABとEDCの相似を使うとBEが分かる
BE = EC * (AE/DE) = (10 - 8) * 8 / DE = √10
ここは中学数学でOKぽい