Challenge 42 : mauvaises approximations rationnelles de √2
Challenge n° 42 de Math-OS - Une minoration explicite de l'écart entre la racine carrée de 2 et tout nombre rationnel positif.
Challenge n° 42 de Math-OS - Une minoration explicite de l'écart entre la racine carrée de 2 et tout nombre rationnel positif.
En mathématiques, le principe des tiroirs est un outil puissant, en dépit de sa simplicité apparente. Cet article en présente diverses applications, de difficultés graduées.