On pose X = cos a + isin a, Y = cos b + isin b et Z = cos c + isin c. Par hypothèse,
X + Y + Z = 0
On a,
1/X + 1/Y + 1/Z = cos a - isin a + cos b - isin b + cos c - isin c = 0
On multiplie par XYZ, on obtient alors
XY + XZ + YZ = 0
Du coup,
X² + Y² + Z² = (X+Y+Z)²
Soit,
cos 2a + cos 2b + cos 2c + i(sin 2a + sin 2b + sin 2c) = 0
Enfin,
cos 2a + cos 2b + cos 2c = sin 2a + sin 2b + sin 2c = 0