Thues ekvation är en diofantisk ekvation av formen:
, där , rationellt tal inte lika med noll och rationella tal.Axel Thue bevisade 1909 att om det homogena polynomet av två variabler på vänster sida av denna ekvation inte är reducerbart , så har ekvationen ett ändligt antal heltalslösningar . [ett]
För lösningar av ekvationen hittas övre gränser för formen där konstanterna bestäms av en specifik ekvation. [2]
Ekvationen kan lösas med en effektiv algoritm [3] , som är implementerad i flera mjukvarupaket, till exempel i datoralgebrasystemet Mathematica .
Weisstein, Eric W. Thue Equation (engelska) på Wolfram MathWorld- webbplatsen .