Différences de carrés

Quels nombres entiers \(c>0\) peuvent s’exprimer comme une différence de carrés ? De combien de manières différentes ?  Comment trouver de telles différences, concrètement ?

Le nombre \(c\) est un multiple de \(4\)

On considère l’expression \begin{align*}c &= a^{2}-b^{2} \\ \\ &=(a+b)(a-b)\end{align*}Si \(a\) et \(b\) sont tous les deux pairs, alors \(a+b\) et \(a-b\) sont pairs aussi. Et si \(a\) et \(b\) sont tous les deux impairs, \(a+b\) et \(a-b\) sont quand même pairs car la somme ou la différence de nombres impairs est paire. En d’autres mots, si \(a\) et \(b\) sont de même parité, \(a+b\) et \(a-b\) sont pairs.

On pose \[a +b=2x\]et\[a-b=2y\]On obtient \[c = (2x)(2y) = 4xy\]et on déduit que \(c\) est non seulement un nombre pair, c’est un multiple de \(4\). Cela nous permet aussi de trouver la ou les valeurs de \(a\) et \(b\) pour un certain \(c\). \begin{align*}a+b&=2x \\ \\ a-b &=2y\end{align*}En additionnant les équations on obtient \begin{align*}2a &= 2x + 2y \\ \\ a &= x+y\end{align*} et en soustrayant les équations on obtient \begin{align*}2b &=2x-2y \\ \\ b&=x-y\end{align*}Ainsi, si on désire exprimer un multiple de \(4\) comme une différence de carrés, on doit d’abord factoriser le nombre comme un produit de deux nombres pairs \(2x\) et \(2y\) afin de trouver les valeurs de \(x\) et de \(y\), puis celles de \(a\) et \(b\). Il y a autant de différences différentes que de produits de facteurs pairs différents. Un exemple numérique s’impose.

Le nombre  \(312\) s’exprime-t-il comme une différence de carrés ? De combien de manières différentes ? On note que \begin{align*}312 &= 156 \times 2 \\ \\ &= 78 \times 4 \\ \\ &= 52 \times 6 \\ \\ &= 26 \times 12\end{align*}(Notez que des produits tels que \(321 = 39 \times 8\) ou \(312 = 24\times 13\) n’apparaissent pas dans la liste car dans ces produits un des deux facteurs est impair.) Le produit \[312 = 156 \times 2 = 2(78) \times 2(1)\]nous donne les valeurs de \(x = 78\) et \(y=1\), puis de \[a = 78 + 1 = 79\] et \[b = 78-1 = 77\] et la différence \[312 = 79^{2}-77^{2}\]Le deuxième produit \[312 = 78 \times 4 = 2(39)-2(2)\]génère les valeurs \(x = 39\) et \(y = 2\) et donc \[a=39+2 = 41\] et \[b=39-2 = 37\] menant à la différence \[312 = 41^{2}-37^{2}\]Enfin, les deux derniers produits \[312 = 52 \times 6 = 2(26)\times 2(3)\]et \[312=26\times 12 = 2(13) \times 2(6)\]nous permettent de déduire les valeurs de \(x\), \(y\), \(a\) et \(b\) afin d’obtenir les différences \[312 = 29^{2}-23^{2}\]et\[312 = 19^{2}-7^{2}\]Ce sont les quatre différences correspondant aux quatre produits.

On considère la factorisation première de \(c\) \[c = 2^{\alpha}\cdot p_{0}^{\beta}\cdot p_{1}^{\gamma} \dots p_{n}^{\omega}\]dans laquelle les \(p_{i}\) sont les facteurs premiers impairs. On peut trouver le nombre de différences (qui est égal au nombre de produits) en calculant le nombre de diviseurs (mais en réservant tout de même deux facteurs \(2\) pour s’assurer d’avoir deux facteurs pairs) et en divisant par \(2\) pour obtenir des paires de diviseurs. Le nombre de différences correspond donc à \[\# = \frac{(\alpha-2 +1)(\beta + 1)(\gamma + 1) \dots (\omega + 1)}{2}\]si le nombre n’est pas un carré parfait. Si le nombre est un carré parfait qui se divise par \(4\), il possède un nombre impair de diviseurs et on utilise \[\# = \frac{(\alpha-2 +1)(\beta + 1)(\gamma + 1) \dots (\omega + 1)-1}{2}\]En outre, on peut éviter cette exception ingrate des carrés parfaits avec une partie entière : \[\#=\left[  \frac{(\alpha-2 +1)(\beta + 1)(\gamma + 1) \dots  (\omega + 1)}{2}\right]\] dans laquelle \([x]\) est la partie entière de \(x\) (généralement notée \(\lfloor x\rfloor\) par les anglais).

Le nombre \(c\) est impair

\begin{align*}c &= a^{2}-b^{2} \\ \\ &=(a+b)(a-b)\end{align*}Si \(a\) et \(b\) sont de parités différentes, alors \(a+b\) et \(a-b\) sont tous les deux impairs. On déduit que le nombre \(c\) est le produit de deux nombres impairs : c’est donc un nombre impair. On peut poser \[a+b=2x+1\] et \[a-b=2y+1\] et à l’instar de ce qu’on a fait précédemment, on peut résoudre le système d’équations \begin{align*}a+b&=2x+1 \\ \\ a-b&=2y+1\end{align*}Si on additionne les deux équations, on obtient \[2a = 2x + 2y + 2\]ce qui fait \[a = x + y + 1\]et si on soustrait les deux équations on obtient \[2b = 2x + 1-(2y+1) = 2x-2y\]ce qui fait \[b =x-y\]Ainsi, si on désire exprimer un nombre impair comme une différence de carrés, on doit d’abord factoriser le nombre en deux facteurs impairs afin de trouver les valeurs de \(x\) et de \(y\) puis de celles de \(a\) et \(b\). Il y a autant de différences différentes que de produits de facteurs impairs différents.

Le nombre \(105\) s’exprime-t-il comme une différence de carrés ? On note que \begin{align*}105&= 105\times 1 \\ \\ &= 35 \times 3 \\ \\ &= 21 \times 5 \\ \\ &= 15 \times 7\end{align*}Le premier produit \[105 = 105 \times 1\] peut sembler trivial, mais en posant \(2x + 1 = 105\), on obtient \(x = 52\), puis en posant \(2y + 1 = 1\), on obtient \(y=0\). Cela nous permet ensuite de calculer les valeurs de \(a = 52 + 0 + 1 = 53\) et de \(b = 52-0 = 52\) ce qui nous donne la différence de carrés \[105 = 53^{2}-52^{2}\](On note au passage que tout nombre impair s’exprime toujours comme la différence des carrés de deux nombres consécutifs car \begin{align*}(k+1)^{2}-k^{2}&= k^{2}+2k+1-k^{2} \\ \\ &=2k+1\end{align*}Ainsi, le \(k^{\text{e}}\) nombre impair est la différence entre le \(k^{\text{e}}\) carré et le \((k-1)^{\text{e}}\) carré.)

Le deuxième produit \[105 = 35\times 3\]nous permet de poser \(2x+1=35\) et trouver \(x = 17\) et \(2y + 1 = 3\) et trouver \(y = 1\). Cela nous permet ensuite de calculer \(a = 17 + 1 + 1 = 19\) et \(b=17-1 = 16\) afin de trouver la différence \[105 = 19^{2}-16^{2}\]Le produit \[105 = 21 \times 5\]nous permet quant à lui de poser \(2x+1= 21\) et trouver \(x = 10\) et \(2y+1=5\) et trouver \(y=2\). Le calcul de \(a = 10+2+1 = 13\) et de \(b=10-2= 8\) génère la différence \[105 = 13^{2}-8^{2}\]Enfin, le produit \[105 = 15 \times 7\]nous permet de générer la différence \[105 = 11^{2}-4^{2}\]

On considère la factorisation première de \(c\) \[c = p_{0}^{\alpha}\cdot p_{1}^{\beta} \cdot p_{2}^{\gamma} \dots p_{n}^{\omega}\]dans laquelle les \(p_{i}\) sont les facteurs premiers impairs (notez l’absence de facteur \(2\)). À l’instar de ce qu’on a fait dans la section précédente, on calcule la moitié du nombre de diviseurs \[\# = \frac{(\alpha+1)(\beta + 1)(\gamma + 1) \dots (\omega + 1)}{2}\]si le nombre n’est pas un carré parfait. Si le nombre est un carré parfait impair, on utilise \[\# = \frac{(\alpha +1)(\beta + 1)(\gamma + 1) \dots (\omega + 1)-1}{2}\]On évite encore l’exception des carrés parfaits avec une partie entière : \[\#=\left[  \frac{(\alpha-2 +1)(\beta + 1)(\gamma + 1) \dots  (\omega + 1)}{2}\right]\]

En corolaire, puisque qu’un nombre premier ne se divise que par \(1\) et lui-même, un seul produit est possible, un produit de la forme \[c = p \times 1\]et donc tout nombre premier impair peut être représenté comme une différences de carrés de manière unique. Quelques étapes algébriques nous permettent de trouver \begin{align*}2x +1 &= p \\  \\ x &=\frac{p-1}{2} \\ \\ \\ 2y+1 &= 1 \\ \\ y&= 0  \\ \\ \\ a&=  x + y + 1 \\ \\ &= \frac{p-1}{2} + 0 + 1 \\ \\ &=\frac{p+1}{2} \\ \\ \\ b&=x-y \\ \\ &= \frac{p-1}{2}-0 \\ \\ &=\frac{p-1}{2}\end{align*}Ainsi, \[p = \left(\frac{p+1}{2}\right)^{2}-\left(\frac{p-1}{2}\right)^{2}\]Le lecteur aguerri aura remarqué que puisque l’écart entre les nombres \(\frac{p+1}{2}\) et \(\frac{p-1}{2}\) est \(1\), cela correspond à une différence des carrés de deux nombres consécutifs tel que vu plus haut, et donc pour un nombre premier impair \(p\), il s’agit de la seule différence possible.

Le nombre \(c\) est un nombre pair qui ne se divise pas par \(4\)

Les nombres pairs non-divisibles par \(4\) sont les laissés-pour-compte.\begin{align*}c &= a^{2}-b^{2} \\ \\ &=(a+b)(a-b)\end{align*}

Si \(c\) est un nombre pair, alors \(a+b\) est pair et \(a-b\) est impair ou inversement, \(a+b\) est impair et \(a-b\) est pair. En d’autres mots, \(a+b\) et \(a-b\) sont de parités différentes.

Si \(a+b\) est pair, alors \(a\) et \(b\) sont de même parité. Dans ce cas, \(a-b\) doit être impair, et \(a\) et \(b\) doivent être de parités différentes, une contradiction.

Si \(a+b\) est impair, alors \(a\) et \(b\) sont de parités différentes. Dans ce cas, \(a-b\) doit être pair, et \(a\) et \(b\) doivent être de même parité, une contradiction.

En outre, dans le cas d’un nombre pair non divisible par \(4\), il n’y a aucune différence de carrés possible.

Cuvée 3.14

Vin du nouvel an

Bonne année en retard ! La cuvée 3.14 de Foillard est un petit délice que j’ai eu la chance de boire entre amis le soir du nouvel an (avec en prime un calembour mathématique).

\(\text{Côte du Py }\approx\text{ Côte du }\pi\)

Peut-être le plus grand vin du Beaujolais ? La remarquable cuvée 3.14 de Foillard est issue de vignes de plus de 100 ans de la colline volcanique de la Côte du Py et uniquement dans les meilleurs millésimes. Ce vin éthéré et élégant, produit en quantités minuscules, est exceptionnellement rare. Dans une leçon magistrale d’équilibre, Foillard parvient à faire ressortir des arômes incroyablement complexes et toute la profondeur du fruit, tout en conférant à son vin une texture légère, séduisante et soyeuse.

Traduit et adapté de : https://cellanextdoor.com

\(\pi\)-ètre formulation

Plus tôt cette année, un peu avant la journée de \(\pi\), j’ai vu dans une infolettre mathématique hebdomadaire cette rubrique :

Je dois avouer que l’infolettre est d’ordinaire assez bien ficelée et que je trouve les contenus souvent intéressants et pertinents, surtout pour un enseignant au secondaire. Sans surprise j’étais donc enthousiasmé par la suite présentée, une suite simple, nouvelle en ce qui me concerne, et qui tend vers une constante célébrée. Je l’ai donc soumise avec entrain à certains élèves qui étaient encore dans la classe au moment où j’ai consulté l’infolettre. J’ai même osé dire à un élève dont je savais les parents professeurs de mathématiques : « Tiens, tu montreras ça à ton père ! Je ne sais pas encore pourquoi ça tend vers \(\pi\), mais c’est intriguant ! »

Curieux de connaître la rapidité avec laquelle la suite converge vers \(\pi\), en arrivant à la maison j’ai concocté un petit script en python :

Aïe aïe aïe ! J’ai été surpris de constater qu’en réalité la suite ne tend pas vers \(\pi\), malgré ce qu’insinuait l’infolettre. Elle semble tendre vers un autre nombre pas loin, à près de \(0,\!00005\) de \(\pi\). Close, but no cigar. Oups ! Un petit courriel plus tard pour expliquer mon trop plein d’enthousiasme (et la bévue) au père de mon élève, et je me mettais au travail. « … numbers that converge to a recognisable number ». Ah ? Lequel ? Je ne vois pas.

Feu l’Inverseur de Plouffe

Étant incapable d’utiliser à bon escient la référence du Journal of Recreational Mathematics, mon premier réflexe a été de tenter de me rendre sur le site de l’Inverseur de Plouffe, pour voir si ce nombre mystère s’y trouvait. Je dis « tenter » car c’est à ce moment que j’ai découvert que l’Inverseur de Plouffe n’est plus en ligne… depuis… 12 ans. Re-oups. Ça ne nous rajeunit pas, disons.

La fraction médiane ? (non)

Je dois avouer que j’ai ensuite passé un peu (trop) de temps à investiguer du côté des fractions médianes. La fraction médiane de \(\frac{a}{b}\) et \(\frac{c}{d}\) est \(\frac{a+c}{b+d}\). Et dans la suite, on somme les dividendes (numérateurs) et les diviseurs (dénominateurs) des deux termes précédents. On note parfois \(\oplus\) l’opération de faire la somme des numérateurs et des dénominateurs \[\frac{a}{b}\oplus \frac{c}{d} = \frac{a+c}{b+d}\]que les anglophones nomment « the freshman’s sum » parce qu’il s’agit d’une façon erronée d’effectuer l’addition (traditionnelle) de fractions, erreur que répètent parfois certains élèves novices. L’intérêt de la fraction médiane est que si \[\frac{a}{b}<\frac{c}{d}\] et que \(a\), \(b\), \(c\) et \(d\) sont positifs, alors \[\frac{a}{b}<\frac{a+c}{b+d}<\frac{c}{d}\]

Les pentes des côtés du parallélogramme sont \(\frac{a}{b}\) et \(\frac{c}{d}\) et \(\frac{a}{b}<\frac{c}{d}\).
La pente de la diagonale du parallélogramme est \(\frac{a+c}{b+d}\) et \(\frac{a}{b}<\frac{a+c}{b+d}<\frac{c}{d}\).

On peut s’en convaincre algébriquement en calculant les différences strictement positives entre \(\frac{a+c}{b+d}\) et \(\frac{a}{b}\) \begin{align*}\frac{a+c}{b+d}-\frac{a}{b} &=\frac{b(a+c)}{b(b+d)}-\frac{a(b+d)}{b(b+d)} \\ \\ &=\frac{ab+bc}{b^{2}+bd}-\frac{ab+ad}{b^{2}+bd} \\ \\ &= \frac{ab + bc-ab-ad}{b^{2}+bd} \\ \\ &=\frac{bc-ad}{b^{2}+bd}\\ \\ &=\frac{\frac{bc}{bd}-\frac{ad}{bd}}{\frac{b^{2}}{bd}+\frac{bd}{bd}} \\ \\ &= \frac{\frac{c}{d}-\frac{a}{b}}{\frac{b}{d}+1} > 0 \end{align*}car \begin{align*}\frac{c}{d}&>\frac{a}{b} \\ \\ \frac{c}{d}-\frac{a}{b}&>0\end{align*}et \[\frac{b}{d}+1>0\]et entre \(\frac{c}{d}\) et \(\frac{a+c}{b+d}\) \begin{align*}\frac{c}{d}-\frac{a+c}{b+d}&=\frac{c(b+d)}{d(b+d)}-\frac{d(a+c)}{d(b+d)}\\ \\ &=\frac{bc+cd}{bd+d^{2}}-\frac{ad+cd}{bd+d^{2}}\\ \\ &=\frac{bc+cd-ad-cd}{bd+d^{2}} \\ \\ &=\frac{bc-ad}{bd+d^{2}} \\ \\ &=\frac{\frac{bc}{bd}-\frac{ad}{bd}}{\frac{bd}{bd}+\frac{d^{2}}{bd}} \\ \\ &=\frac{\frac{c}{d}-\frac{a}{b}}{1+\frac{d}{b}} > 0\end{align*} car \[\frac{c}{d}-\frac{a}{b}>0\] et \[1+\frac{b}{d}>0\]Les fractions médianes peuvent donc nous servir à trouver des approximations rationnelles à des nombres irrationnels sans trop de peine. Par exemple, pour \(\pi\), on peut utiliser les fractions \(\frac{3}{1}\) et \(\frac{4}{1}\) puisque \[\frac{3}{1}<\pi< \frac{4}{1}\]La première fraction médiane est \[\frac{3}{1}\oplus \frac{4}{1}=\frac{3+4}{1+1} = \frac{7}{2}\]Puisque \[\frac{3}{1}< \pi <\frac{7}{2}\]la deuxième fraction médiane serait \[\frac{3}{1}\oplus\frac{7}{2} = \frac{3+7}{1+3} = \frac{10}{3}\]Puisque \[\frac{3}{1}<\pi <\frac{10}{3}\]la suivante serait \[\frac{3}{1}\oplus \frac{10}{3} = \frac{10+3}{1+3} = \frac{13}{4}\]Puis comme \[\frac{3}{1}<\pi <\frac{13}{4}\]la suivante serait \[\frac{3}{1}\oplus \frac{13}{4} = \frac{3+13}{1+4} = \frac{16}{5}\]Puisque \(\pi\) était beaucoup plus près de la fraction de départ \(\frac{3}{1}\) que de la fraction de départ \(\frac{4}{1}\), on semble s’approcher de \(\pi\) par la droite, en d’autres mots, la fraction médiane est pour l’instant toujours supérieure à \(\pi\). Bien sûr, cela ne sera pas toujours le cas. Poursuivons encore quelques étapes,\[\frac{3}{1}<\pi <\frac{16}{5}\]nous donne \[\frac{3}{1}\oplus \frac{16}{5} = \frac{3+16}{1+5} =\frac{19}{6}\]puis \[\frac{3}{1}<\pi <\frac{19}{6}\]nous donne \[\frac{3}{1}\oplus \frac{19}{6} = \frac{22}{7}\]approximation célébrée de \(\pi\). \[\frac{3}{1}<\pi <\frac{22}{7}\]nous donne une enième approximation par la droite \[\frac{3}{1}\oplus \frac{22}{7} = \frac{3+22}{1+7} = \frac{25}{8}\]avant que \[\frac{22}{7}<\pi <\frac{25}{8}\]nous donne une première approximation par la gauche \[\frac{22}{7}\oplus\frac{25}{8} = \frac{25+22}{7+8} = \frac{47}{15}\]Les approximations obtenues avec les fractions médianes sont sensibles au choix des fractions de départ et convergent lentement par rapport à d’autres méthodes. Les meilleures approximations rationnelles sont celles obtenues à l’aide des fractions continues, et en comparaison, celles des fractions médianes font pâle figure. Il nous a fallu de nombreuses étapes pour trouver \[\frac{47}{15}\approx 3,\!1333\]une approximation qui n’est pas, en soi, exceptionnelle.

En outre, dans la suite,

en considérant les divisions comme des fractions, on approche le nombre mystère en trouvant la fraction médiane des deux dernier termes. Or, sans plan clair et agacé par le fait qu’on utilise uniquement les deux dernières fractions et jamais celle qui précède les deux dernières, comme c’est arrivé dans mon exemple pour \(\pi\), j’ai eu l’impression d’emprunter un cul-de-sac. Or, ce n’était pas en vain : à quelle notion pourrait-on faire référence lorsqu’on considère les sommes des deux derniers termes ?

La suite de Fibonacci (oui !)

En effet, si on considère la suite de Fibonacci, \[1, \ 1, \ 2, \ 3, \ 5, \ 8, \ 13, \ 21, \ 34, \ 55, \ 89, \ 144, \ 233, \ 377, \ 610\, \ \dots\]on peut observer que les diviseurs correspondent aux quintuple des termes de de la suite.\[\textcolor{Red}{5}, \ \textcolor{Red}{5}, \ 10, \ 15, \ 25, \ 40, \ 65, \ 105, \ 170, \ 275, \ 445, \ 720, \ , 1\,165,\ 1\,885, \ 3\,050\, \ \dots\]Pour les dividendes, c’est moins évident, mais ce sont les sextuple des termes de la suite, avec un déphasage \[6, \ 6, \ \textcolor{Blue}{12}, \ \textcolor{Blue}{18}, \ 30, \ 48, \ 78, \ 126, \ 204, \ 330, \ 534, \ 864, \ 1\,398, \ 2\,262, \ 3\,660\, \ \dots\]Si \(F_{n}\) représente le \(n^{\text{e}}\) terme de la suite de Fibonacci, alors les termes de la suite de l’infolettre sont \[\displaystyle \frac{6F_{n+2}}{5F_{n}}\]En se rappelant que \(F_{n+2} = F_{n+1}+F_{n}\), o peut évaluer la limite \begin{align*}\lim_{n\to \infty}\frac{6F_{n+2}}{5F_{n}}&=\frac{6}{5}\cdot \lim_{n\to \infty}\frac{F_{n+2}}{F_{n}} \\ \\ &=\frac{6}{5}\cdot \lim_{n\to \infty}\frac{F_{n+1}+F_{n}}{F_{n}} \\ \\ &= \frac{6}{5}\left( \lim_{n\to \infty} 1 + \frac{F_{n+1}}{F_{n}}\right) \\ \\ &=\frac{6}{5}\left(1+\lim_{n \to \infty}\frac{F_{n+1}}{F_{n}}\right)\\ \\ &= \frac{6}{5}\left(1 + \varphi\right)\end{align*}car tel que vu précédemment sur ce blogue, le rapport des termes consécutifs de la suite tendent vers \(\varphi = \frac{1+\sqrt{5}}{2}\).  Sachant en plus que \begin{align*}1 + \varphi &= 1+ \frac{1+\sqrt{5}}{2} \\ \\ &=\frac{3+\sqrt{5}}{2} \\ \\ &= \frac{6+2\sqrt{5}}{4} \\ \\ &= \frac{1+2\sqrt{5}+5}{4} \\ \\ &=\frac{(1+\sqrt{5})^{2}}{2^{2}} \\ \\ &=\left(\frac{1+\sqrt{5}}{2}\right)^{2} \\ \\ &=\varphi^{2}\end{align*}il est possible d’écrire \[\frac{6}{5}\left(1+\varphi\right) = \frac{6}{5}\varphi^{2}\]La suite tend donc vers \[\frac{6}{5}\varphi^{2} = \frac{9+3\sqrt{5}}{5} \approx 3,\!141640786499873817845504201238\]un nombre qui est à moins de \(0,\!000048132910080579383\) de \(\pi\). Grâce à cette valeur, je suis ensuite tombé sur cette page chez Futility Closet, contenant la même référence au Journal of Recreational Mathematics, mais hélas sans plus de détails.

 

PS. Au moment où j’allais publier le billet, j’ai découvert une version de l’Inverseur disponible ici : http://wayback.cecm.sfu.ca/projects/ISC/ISCmain.html

J’avais foi en l’Inverseur et j’aurai eu raison ! En effet, on y trouve :
\[18 + 6\sqrt{5} \approx 31,\!41640786499873817\]ce qui nous aurait bien sûr mis sur la bonne piste.