要するにatan((√3)/2)が40°でない事を示せばいいわけだけど、数2以上の知識あればtanの3倍角で示せる
知らなくてもこんなのすぐ導出できるし
初等的にもできるだろうけど意味はないな