三角定規の形ですね! 1:1:√2 の方見ると atan(1,1) = 45[度] = π/4[rad] とわかります。よって atan(1,1) * 4 = π になるわけですね。 ピタゴラスの定理の逆も成り立ちます。 「a^2+b^2=c^2 ならば a b c を三辺の長さとする三角形は直角三角形である」 例: 三辺の長さが 3 4 5 ならば 3^2 + 4^2 = 5^2 なので直角三角形になる