>>207
厄介な問題だな。
ちょっとやってみたら1/(2+2√6) になったんだけど、全然自信ないわ。