Abstract:About the relation between a counterexample in the theory of numbers constructible by ruler and compass, due to Ian Stewart, and Alhazen's problem concerning the circular mirror.
What problem does this paper attempt to address?
The paper attempts to solve two main problems:
1. **Algebraic properties of geometric constructions**:
- The paper explores the possibilities of geometric constructions using a straightedge and a compass, especially the relationships between these constructions and algebraic numbers. Specifically, it discusses which algebraic numbers can be constructed using a straightedge and a compass, and which cannot.
- The author pays special attention to a class of quartic polynomials called "Stewart polynomials" \( S(X) = X^4 - rX - 1 \), where \( r \) is a non - zero rational number. Whether the roots of this type of polynomial can be constructed using a straightedge and a compass is a key issue.
2. **The circular mirror problem (Alhazen's problem)**:
- Given a circle \( C \) and two points \( A \) and \( B \) in a plane, find a point \( I \) on the circle such that a ray of light emitted from \( A \) is reflected through \( B \) after passing through \( I \). This is a classical optics problem, also known as Alhazen's problem or the circular billiards problem.
- The author shows how to transform this problem into a quartic polynomial equation and proves that in most cases, this problem cannot be accurately solved using a straightedge and a compass.
### Specific content summary:
- **Irreducibility of Stewart polynomials**:
- The author proves that for certain specific values of \( r \), the Stewart polynomial \( S(X)=X^4 - rX - 1 \) is irreducible, that is, it cannot be factored into a product of polynomials with rational coefficients of lower degrees.
- In particular, when \( r \) is an integer or a prime number, the polynomial is irreducible and its real roots are not constructible.
- **Analytical solutions to the circular mirror problem**:
- The author describes the solutions to the circular mirror problem by introducing a quartic polynomial \( Q(z) \) and proves that this polynomial is closely related to the Stewart polynomial.
- By parameterizing the points on the circle, the author obtains a quartic equation \( Q(z) = 0 \) and proves that all Stewart polynomials are a special case of Alhazen polynomials.
### Conclusion:
By studying the properties of Stewart polynomials and the circular mirror problem, the paper reveals the profound connection between geometric constructions and algebraic numbers and proves that certain geometric problems cannot be solved by traditional straightedge - and - compass methods. This not only deepens our understanding of classical geometric problems but also provides some new insights into algebra and number theory.