Challenge 42 : mauvaises approximations rationnelles de √2 | Math-OS

Challenge 42 : mauvaises approximations rationnelles de √2

Post Author:René Adad
Post published:11 avril 2020
Post Category:Challenge
Post Comments:0 commentaire

icone-challenge-math-OS

Prouver que, pour tout $(p,q)\in\mathbb{N}^{\star2}$ :

$\vert\sqrt2-\frac{p}{q}\vert>\frac1{4q^2}$

Une solution est disponible ici

Articles similaires

Partager cet article

Tags: approximation diophantienne, Liouville, Math-OS, MP*, MPSI, nombre algébrique, nombre rationnel, racine carrée

Laisser un commentaire Annuler la réponse