1/tan(pi/8)−1=(1+(1/tan(pi/8))^2)^.5にならないだろ、いいかげんな言い逃れをしやがって
2乗の位置を間違えてる。。