>>476
(1)
arctan(2)というのはtanの定義から分かるように
直角三角形において直角を挟む辺の比が1:2
斜辺は √5だから
x = cos(arctan(2)) = 1/√5