Why the Square Root of 7 Can Never Be Written as a Fraction
Zooming out from arithmetic reveals √7 inside a wider mathematical landscape. In algebraic number theory, numbers are classified by the polynomials they satisfy. The square root of 7 is an algebraic integer because it serves as a root of the simple polynomial equation x² - 7 = 0.
The rational root theorem states that any rational root of a polynomial with integer coefficients must have a numerator that divides the constant term and a denominator that divides the leading coefficient. For the equation x² - 7 = 0, the leading coefficient is 1, and the constant term is -7. The only possible rational roots are ±1 and ±7. Testing these candidates reveals that none square to 7:
(±1)² = 1 ≠ 7
(±7)² = 49 ≠ 7
Because no candidate satisfies the polynomial, x² - 7 cannot possess a rational solution. The polynomial is irreducible over the field of rational numbers. This guarantees that √7 is not merely unwritten as a fraction; it is structurally barred from being one. Extending the rational field by adjoining this root creates the quadratic field Q(√7), a mathematical system widely studied in modern cryptography and Diophantine analysis.