Quels sont les nombres Q ?

Les fondements des nombres rationnels

L'ensemble ℚ émerge historiquement avec les Égyptiens vers 1800 av. J.-C., qui utilisaient des fractions unitaires pour diviser 2/3 en 1/2 + 1/3. Formellement défini au XVIIe siècle par Descartes, il désigne les quotients d'entiers non nuls. Sa construction via classes d'équivalence de paires (a,b) avec b>0 et pgcd(a,b)=1 évite les ambiguïtés : 2/4 équivaut à 1/2.

Cet ensemble est clos sous addition, soustraction, multiplication et division hors zéro, avec l'inverse multiplicatif pour tout élément non nul. La densité de ℚ dans ℝ signifie qu'entre deux réels, existe toujours un rationnel ; par exemple, entre 1 et 1.1, 1.05 = 21/20. Cette propriété cruciale distingue ℚ des entiers ℤ.

Les rationnels forment un corps ordonné : pour a,b ∈ ℚ, exactement un des trois tient : ab, préservé par les opérations. Sans cela, pas d'algèbre linéaire viable.

Comment reconnaître un nombre Q instantanément ?

Un nombre appartient à ℚ si son développement décimal est fini ou périodique. 0.5 = 1/2 (fini), 0.333... = 1/3 (périodique), alors que π ≈ 3.14159... est irrationnel. Test simple : multipliez par 10^k pour k périodes ; si entier, rationnel. Exemple : 0.142857 répétant (1/7) donne 142857 après une période de 6 chiffres.

Dans les calculatrices, les approximations flottantes masquent cela : 1/3 ≈ 0.3333333333, mais exact en fraction. Les langages comme Python distinguent via fractions.Fraction(1,3).

Seuls les rationnels ont une représentation fractionnaire unique irréductible ; les irrationnels défient toute fraction bornée.

La construction formelle des nombres Q

Pour bâtir ℚ à partir de ℤ, on considère les classes d'équivalence [(a,b)] où (a,b) ~ (c,d) si ad=bc, b,d>0. L'addition : [(a,b)] + [(c,d)] = [(ad+bc, bd)], multiplication : [(ac, bd)]. Cela forge un anneau intègre sans diviseurs de zéro, puis un corps en inverses [(b,a)]. Preuve de bien-fondé : la relation ~ est d'équivalence, et les opérations associatives.

Théorème de complétude absent : ℚ n'est pas complet ; lacunes comme sup{rationnels < √2} n'existe pas en ℚ. C'est pourquoi Dedekind et Cantor l'ont complété en ℝ vers 1870. Longueur de période décimale : au plus φ(n) pour dénominateur n coprime à 10, où φ Euler ; 1/7 période 6, φ(7)=6.

Environ 37% des décimales de 1/n ont période maximale pour n<100, d'après tables de Sierpiński (1920). Cette variabilité rend les calculs exacts préférables aux flottants, sujets à erreurs d'arrondi cumulées jusqu'à 10^{-15} en double précision.

Une micro-digression : les p-adiques étendent ℚ autrement, convergeant vers des "∞" entiers, utiles en théorie des nombres.

Opérations arithmétiques sur les nombres rationnels

Addition et soustraction nécessitent dénominateur commun : 1/2 + 1/3 = 5/6. Multiplication directe : (a/b)(c/d)=ac/bd. Division : (a/b)/(c/d)=ad/bc. Simplifiez toujours via pgcd ; pgcd(36,48)=12, 36/12=3, 48/12=4, 3/4.

En pratique, les fractions continues dominent pour approximations : √2 ≈ [1;2,2,2,...] = 1 + 1/(2+1/(2+...)), convergents 3/2, 7/5, 17/12, erreur <1/(q^2). Meilleur que décimal pour π : 22/7 erreur 0.0012, vs 3.14 erreur 0.0016.

Les matrices rationnelles modélisent transformations linéaires ; déterminant rationnel préserve ℚ. Dans l'équation diophantienne ax+by=c, solutions en ℚ si pgcd(a,b)|c.

Pourquoi les nombres Q surpassent les entiers en algèbre ?

ℤ est anneau euclidien, mais sans inverses : 1/2 ∉ ℤ. ℚ répare cela, corps algébriquement clos pour polynômes linéaires. Résolution de x^2 - 2=0 : racines ±√2 ∉ ℚ, mais extensions quadratiques Q(√2) de degré 2.

En analyse, séries de Taylor comme exp(x)=∑ x^n/n! convergent en ℚ pour x rationnel, mais termes 1/n! ℚ. Intégrales définies de rationnelles donnent rationnelles ou logs, rarement pi.

Je préfère ℚ pour sa clôture multiplicative : produit de rationnels reste rationnel, contrairement aux réels sous certaines ops. C'est basique, mais essentiel pour 95% des calculs symboliques en Mathematica ou SymPy.

Comparaison des nombres Q avec les irrationnels et réels

ℚ denses dans ℝ : ∀ x

√2 irrationnel par théorème d'Euclide : suppose p/q √2 avec pgcd=1, p^2=2q^2 pair, p pair, contradiction. π transcendant (Lindemann 1882). Dans ℝ/ℚ vecteur de dimension infinie, base Hamel existe sous axiome choix.

Ah, le mythe que "tous les nombres sont rationnels en pratique" : faux, simulations numériques comme Monte-Carlo requièrent irrationnels pour uniformité.

Applications concrètes et limites des nombres Q

En finance, taux d'intérêt composés (1+r/n)^n → e^r, mais approximations rationnelles suffisent : 5% annuel sur 1000€ donne 1050€. Probabilités : 1/6 pile ou face itérée reste ℚ jusqu'à indépendance.

Graphiques : coordonnées rationnelles pour SVG scalables ; 3/4=0.75 exact. Limites : physique quantique impose ħ irrationnel, forçant flottants. Coût : calculs exacts en GMP 20-50% plus lents que doubles pour matrices 1000x1000.

En cryptographie, courbes elliptiques sur corps finis F_p, p premier ; rationnels mod p simulent.

Erreurs courantes à éviter avec les nombres rationnels

Ne confondez pas égalité flottante : 0.1 + 0.2 ≠ 0.3 en IEEE754, mais 1/10 + 1/5 = 3/10 exact. Simplifiez fractions : 999/1001 = 3/3.001? Non, pgcd=11, 81/91 puis 9/10.1? Erreur ; 999÷9=111, 1001÷7=143, attendez pgcd précis.

Division par zéro : asymptote en 1/x, pas ∞ rationnel. Périodes : 1/11=0.090909..., non 0.09 pur.

Conseil : utilisez bibliothèques comme mpq_t en GMP pour précision arbitraire, coût mémoire 2-4 octets par bit significatif.

FAQ sur les nombres Q

Qu'est-ce qu'un nombre Q exactement ?

Un nombre Q est quotient entier/non-nul, équivalent à décimal périodique/fini. Exemples : ±5, 22/7, -3/4.

Pourquoi note-t-on les rationnels par Q ?

Q pour quoziente (quotient en italien/latin), popularisé par Weierstrass 1880s. Alternatives : ℝ pour réels (Dedekind).

Combien y a-t-il de nombres rationnels ?

Infini dénombrable : bijection avec ℕ via énumération Cantor diagonale sur fractions. Densité nulle dans ℝ.

Conclusion : la place incontournable des nombres Q

Les nombres Q forment le socle algébrique indispensable, clos et ordonné, surpassant ℤ en divisibilité tout en évitant les pièges des réels irrationnels pour 80% des applications exactes. Leur densité garantit approximations universelles, mais complétude absente impose ℝ pour limites et continuité. En pratique, priorisez fractions irréductibles pour éviter erreurs cumulées – un investissement rentable, car un calcul erroné à 10^{-10} propage exponentiellement. Maîtriser ℚ affine l'intuition mathématique sans fioritures inutiles ; les irrationnels attendront les théorèmes avancés.