>>529
(1)の
cos(2π - 2c) + cos(2π - 2A) + cos(2π - 2B) = 1
だけど

2πじゃなくてπだよね