An endless decimal is not enough
The number e appears in continuous growth and in the exponential function. Its familiar decimal begins 2.71828, but inspecting more digits cannot establish the property Hermite proved. A number is algebraic if it solves some nonzero polynomial equation with integer coefficients. A number that solves none is transcendental. The word nonzero matters: the polynomial whose coefficients are all zero would otherwise make every number a solution.
Separate irrational from transcendental
The square root of two is irrational, yet it satisfies x squared minus two equals zero. It is therefore algebraic. Transcendence is a stronger statement than having no exact fractional representation. For e, Hermite had to rule out every nonzero integer-coefficient polynomial, with no fixed degree limit. Checking a million possible equations would still leave infinitely many possibilities. The theorem needs an argument that controls that entire family.
The arithmetic trap behind the proof
A nonzero integer has absolute value at least one. Imagine a construction that, under an assumed polynomial relation, produces an integer N satisfying zero less than its absolute value less than one. That is impossible. This is a classroom explanation of the proof's arithmetic strategy, not its complete construction. Hermite uses carefully related approximations to exponential values, integrality and a nonvanishing determinant to make the contradiction work.
Why small error and nonvanishing both matter
An approximation error tending to zero is insufficient if the allegedly contradictory integer can be zero. The proof must secure both smallness and nonvanishing. Factorials supply powerful decay: for a fixed example, successive terms of 2 to the power n divided by n factorial have ratio 2/(n + 1). Eventually that ratio is below one half. This elementary illustration explains why factorial denominators can overwhelm fixed exponential growth.
One contribution, several historical versions
The record concerns transcendence of e and the associated arithmetic method. It does not prove algebraic independence of e and pi or every later exponential theorem. Four 1873 notes and the separately preserved offprint belong to one work lineage. The scanned offprint has an undated printed imprint, while institutional catalogues supply bracketed dating. A useful next task is to map a stated lemma to its exact version, without treating a handwritten inscription as authenticated authorship evidence.
Scientific scope
The assessed theorem is the transcendence of e, not algebraic independence of e and pi or the later general algebraic-exponent Lindemann–Weierstrass theorem. The offprint presents an asymptotic argument followed by a second determinant argument described as more rigorous; the latter’s factorial decay, integrality and distinct-root determinant conditions are the source of the bounded record. Liouville’s earlier transcendental-number constructions and partial results concerning e are antecedents, not this full result. The discovery year refers to four 1873 Comptes rendus notes; the exact ETH offprint is undated in its printed imprint and institutionally catalogued [1873].
Read the original work
Sources and reading locations for this explanation
- Sur la fonction exponentielle (ETH Rar22000; attributed undated offprint, catalogued [1873])
Pinned original contribution and stated hypotheses or experimental limits.
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Charles Hermite
Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.
Research locations and affiliations
Location not yet established
This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.