cos^2(pi/3) + sin^2(pi/3) = 1 を数値的に検証。