tanθ = 2+√3 のとき cosθを求めよ、という問題で、
1 / (√(8 + 4√3)) という答えにたどり着いたのですが、
これをさらに簡単にすることはできますか？