În matematică , în domeniul aproximărilor diofantine , teorema Davenport–Schmidt determină cât de bine pot fi aproximate numerele reale de un tip special de un alt tip special de număr. Și anume, afirmă posibilitatea de a obține o bună aproximare a numerelor iraționale care nu sunt pătratice folosind iraționale pătratice sau doar numere raționale . Teoremă numită după Harold Davenport și Wolfgang M. Schmidt.
Pentru un număr irațional rațional sau pătratic, există numere întregi unice și astfel încât cel puțin unul dintre ele este diferit de zero, primul dintre ele diferit de zero este pozitiv, ele sunt relativ prime și
Dacă este un număr irațional pătratic, ca , și putem lua coeficienții polinomului său minim . Dacă este rațional, vom accepta . Folosind aceste numere întregi, definite unic pentru fiecare astfel de , înălțimea este dată de formula
Teorema afirmă că pentru orice număr real care nu este nici rațional, nici irațional pătratic, există infinit de numere reale care sunt raționale sau iraționale pătratice și care satisfac inegalitatea
unde este satisfăcător orice număr real . [unu]
Deși această teoremă este legată de teorema lui Roth , utilizarea sa reală este că este eficientă în sensul că o constantă poate fi definită pentru orice dat .