[0, 2pi) で cos^2 x = sin^2 x を解け。