Benaderingsstelling van Dirichlet

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

De benaderingsstelling van Dirichlet is een stelling uit de getaltheorie, een deelgebied van de wiskunde, die handelt over de kwaliteit van diophantische benaderingen van reële getallen door rationale getallen.

De stelling beweert dat voor elk reëel getal α en voor elk positief geheel getal N er gehele getallen p en q bestaan. zodanig dat 1 ≤ qN en

 \left| q \alpha -p \right| < \frac{1}{N+1}

Hieruit volgt, na deling door q en er rekening mee houdend dat q < N+1, dat voor elk reëel getal α er oneindig veel paren van positieve gehele getallen (p,q) bestaan, zodat:

\left| \alpha - \frac{p}{q} \right| < \frac{1}{q^2}

De stelling is vooral interessant als α irrationaal is, bijvoorbeeld  \alpha = \sqrt{2}. Stel N=10. Dan zegt de stelling dat (tenminste) een van de getallen  \sqrt{2}, 2 \sqrt{2}, \ldots, 10 \sqrt{2} ten hoogste 1/11 = 0,09090909 \dots verschilt van een geheel getal. We vinden inderdaad dat

\left| 5 \sqrt{2} - 7 \right| = \left| 7,07106... - 7 \right| = 0,07106... \leq 0,090909... , en  \frac{7}{5} = 1,4 is een diophantische benadering van \sqrt{2} = 1,4142 \dots met een fout die kleiner is dan  1/25.

De stelling van Hurwitz uit de getaltheorie is een sterkere versie van de benaderingsstelling van Dirichlet, maar enkel voor irrationale getallen. Die stelling zegt dat er dan oneindig veel paren (p,q) bestaan waarvoor:

\left |\alpha-\frac{p}{q}\right |<\frac{1}{\sqrt{5}\cdot q^2}

In het bovenstaande voorbeeld zien we inderdaad dat de fout van de benadering, 1,4142 \dots - 1,4 = 0,0142 \dots, kleiner is dan \frac{1}{\sqrt{5}\cdot 5^2} = 0,01788...