In mathematics, specifically in transcendental number theory and Diophantine approximation, Siegel's lemma refers to bounds on the solutions of linear equations obtained by the construction of auxiliary functions. The existence of these polynomials was proven by Axel Thue;[1] Thue's proof used Dirichlet's box principle. Carl Ludwig Siegel published his lemma in 1929.[2] It is a pure existence theorem for a system of linear equations.
Siegel's lemma has been refined in recent years to produce sharper bounds on the estimates given by the lemma.[3]
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search