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.
Challenge n° 41 de Math-OS - La réciproque d'une bijection continue est continue ... ou pas !
Challenge n° 40 de Math-OS - Continuité et injectivité font-elles toujours bon ménage ?
Challenge n° 39 de Math-OS - Combien de couples solutions pour ce petit système algébrique de deux équations à deux inconnues ?
Challenge n° 38 de Math-OS - Des applications surjectives de R dans lui-même, ça court les rues ... mais des fortement surjectives ? Est-ce que ça existe ?
Challenge n° 37 de Math-OS - Une inégalité trigonométrique avec quelques valeurs absolues ... saurez-vous en venir à bout ?
Challenge n° 36 de Math-OS - Lorsqu'on itère une fonction, quel est l'impact sur la suite obtenue si l'on prend la partie entière à chaque pas ?
Challenge n° 35 de Math-OS - Une formule sommatoire pas commode faisant intervenir les nombres harmoniques. Preuve directe ou récurrence ?
Challenge n° 34 de Math-OS - L'ensemble des applications de R dans R est équipotent à celui des suites réelles (c'est-à-dire en bijection avec lui).
Le théorème de Cantor-Bernstein-Schröder affirme que l'existence d'une injection de A vers B et d'une injection de B vers A entraînent l'équipotence des ensembles A et B. On donne, dans cet article, une preuve classique et détaillée de ce résultat, ainsi que des exemples d'application.