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