The Exercise
A rotation of the Bloch sphere about an axis , applied over and over, comes back to the identity after finitely many steps exactly when is a rational multiple of . The exercise takes an angle with , for instance the angle of a right triangle with sides , and that lies opposite the side of length , and asks to show that it is not such a multiple: that is irrational, not a quotient of two integers.✦
The Claim
Theorem 1. Let be a real number with . Then (1)✦
What Is Checked
Its angle is any real solution of , not only the acute one.