Search results
Results From The WOW.Com Content Network
Although the pigeonhole principle appears as early as 1624 in a book attributed to Jean Leurechon, [2] it is commonly called Dirichlet's box principle or Dirichlet's drawer principle after an 1834 treatment of the principle by Peter Gustav Lejeune Dirichlet under the name Schubfachprinzip ("drawer principle" or "shelf principle").
The existence of these polynomials was proven by Axel Thue; [1] Thue's proof used what would be translated from German as Dirichlet's Drawers principle, which is widely known as the Pigeonhole principle. Carl Ludwig Siegel published his lemma in 1929. [2] It is a pure existence theorem for a system of linear equations.
For instance, the pigeonhole principle is of this form. Secondly, while Ramsey theory results do say that sufficiently large objects must necessarily contain a given structure, often the proof of these results requires these objects to be enormously large – bounds that grow exponentially, or even as fast as the Ackermann function are not ...
This theorem is a consequence of the pigeonhole principle. Peter Gustav Lejeune Dirichlet who proved the result used the same principle in other contexts (for example, the Pell equation) and by naming the principle (in German) popularized its use, though its status in textbook terms comes later. [2] The method extends to simultaneous ...
He first used the pigeonhole principle, a basic counting argument, in the proof of a theorem in diophantine approximation, later named after him Dirichlet's approximation theorem. He published important contributions to Fermat's Last Theorem, for which he proved the cases n = 5 and n = 14, and to the biquadratic reciprocity law. [3]
Consider the following theorem (which is a case of the pigeonhole principle): If three objects are each painted either red or blue, then there must be at least two objects of the same color. A proof: Assume, without loss of generality, that the first object is red.
The 1622 book contained a brief reference to the pigeonhole principle, much earlier than its common attribution to Peter Gustav Lejeune Dirichlet in 1834, and the 1624 book spelled out the principle in more detail. [4] The 1624 book also contained the first use of the word "thermometer", replacing an earlier word "thermoscope" for the same device.
It may be remarked that the preceding proof uses a variant of the pigeonhole principle: a non-negative integer that is not 0 is not smaller than 1. This apparently trivial remark is used in almost every proof of lower bounds for Diophantine approximations, even the most sophisticated ones.