BからACに降ろした垂線の長さが
頂角30°斜辺aの二等辺三角形の底辺の長さの半分であることを利用して求めたが、
√（(4-√6-√2)/2)aになった。
この二重根号を外せるのかどうかわからない。
ここにたどり着くまでにも二重根号を外せないとダメだった。
なんらかの誘導がないと無理だと思う。