Lemme de Siegel

L'énoncé le plus simple est le suivant[3] :

Soit ${\displaystyle A=(a_{i,j})}$ une matrice à m lignes et n colonnes, dont les coefficients sont des entiers non tous nuls. Si n > m, alors le système

${\displaystyle \sum _{j=1}^{n}a_{i,j}x_{j}=0\quad (i=1,\dots ,m)}$

admet une solution ${\displaystyle (x_{1},\dots ,x_{n})\in \mathbb {Z} ^{n}\setminus \{(0,\dots ,0)\}}$ telle que

${\displaystyle \max _{i}|x_{i}|\leq \left(n\max _{i,j}|a_{i,j}|\right)^{\frac {m}{n-m}}}$.

Enrico Bombieri et Jeffrey Vaaler ont obtenu une majoration plus fine[4], par des techniques de géométrie des nombres.

Lemme de Thue