>>357
加法定理で
cosα=2{cos(α/2)}^2 -1
⇔(4/5)=2x^2 -1
を解けばいいんじゃない?