# Annales de mathématiques pures et appliquées/Tome 16/Géométrie élémentaire, article 6
### Démonstration des deux théorèmes d’analise et de géométrie énoncés à la page 64 du présent volume, et du théorème de géométrie énoncé à la page 344 du volume précédent ;

À la page 373 du précédent volume, il a été démontré qu’en adoptant les notations abrégées
$[{\overset {n}{z}}]=z(z+p)(z+2p)\ldots (z+{\overline {n-1}}.p),$
$n!=1.2.3.4.\ldots ,n,$
on avait
${\frac {[{\overset {m}{x+y}}]}{m!}}={\frac {[{\overset {m}{x}}]}{m!}}+{\frac {[{\overset {1}{y}}]}{1}}.{\frac {[{\overset {m-1}{x}}]}{(m-1)!}}+{\frac {[{\overset {2}{y}}]}{2!}}.{\frac {[{\overset {m-2}{x}}]}{(m-2)!}}+{\frac {[{\overset {3}{y}}]}{3!}}.{\frac {[{\overset {m-3}{x}}]}{(m-3)!}}+\ldots$
Si, dans cette formule, on pose $m-=x,\ p=-1,$ et qu’on remette en place des divers symboles les développemens qu’ils représentent, en supprimant les facteurs communs aux deux termes des diverses fractions résultantes, il viendra
${\frac {x+y}{1}}.{\frac {x+y-1}{2}}.{\frac {x+y-2}{3}}\ldots {\frac {y+1}{x}}={\frac {x+y}{1}}.{\frac {x+y-1}{2}}.{\frac {x+y-2}{3}}\ldots {\frac {x+1}{y}}$
$=1+{\frac {x}{1}}.{\frac {y}{1}}+{\frac {x}{1}}.{\frac {x-1}{2}}.{\frac {y}{1}}.{\frac {y-1}{2}}+{\frac {x}{1}}.{\frac {x-1}{2}}.{\frac {x-2}{3}}.{\frac {y}{1}}.{\frac {y-1}{2}}.{\frac {y-2}{3}}+\ldots$
qui est, aux notations près, le théorème d’analise énoncé à la page 64 du présent volume.
Avant de passer à la démonstration du théorème de géométrie, il nous faut d’abord construire quelques formules propres à nous conduire à notre but.
Soit $x$ l’angle au centre d’un polygone régulier de $n$ côtés, de telle sorte qu’on ait $nxs=2\varpi$ ; en désignant par $m$ un nombre entier positif, plus petit que $n$, on aura, comme nous l’avons démontré (pag. 41).
$\operatorname {Cos} .mx+\operatorname {Cos} .2mx+\operatorname {Cos} .3mx+\ldots +\operatorname {Cos} .nmx=0,$
$\operatorname {Sin} .mx+\operatorname {Sin} .2mx+\operatorname {Sin} .3mx+\ldots +\operatorname {Sin} .nmx=0\,;$
ou, parce que $\operatorname {Cos} .nmx=\operatorname {Cos} .2m\varpi =1$ et $\operatorname {Sin} .nmx=\operatorname {Sin} .2m\varpi =0,$
$1+\operatorname {Cos} .mx+\operatorname {Cos} .2mx+\operatorname {Cos} .3mx+\ldots +\operatorname {Cos} .(n-1)mx=0,$
$1+\operatorname {Sin} .mx+\operatorname {Sin} .2mx+\operatorname {Sin} .3mx+\ldots +\operatorname {Sin} .(n-1)mx=0,$
Ces équations ont lieu également lorsque $m$ est plus grand que $n$, pourvu qu’il n’en soit pas multiple. Si, en effet, on poses $m=qn+m',s$ où on ait $m'<m$ ; en substituant dans les premiers membres des équations (A) et (B), et observant que généralement
$\operatorname {Cos} .\lambda (qn+m')x=\operatorname {Cos} .(2\lambda q\varpi +\lambda m'x)=\operatorname {Cos} .\lambda m'x,$
$\operatorname {Sin} .\lambda (qn+m')x=\operatorname {Sin} .(2\lambda q\varpi +\lambda m'x)=\operatorname {Sin} .\lambda m'x\,;$
ces premiers membres deviendront
$1+\operatorname {Cos} .m'x+\operatorname {Cos} .2m'x+\operatorname {Cos} .3m'x+\ldots +\operatorname {Cos} .(n-1)m'x,$
$1+\operatorname {Sin} .m'x+\operatorname {Sin} .2m'x+\operatorname {Sin} .3m'x+\ldots +\operatorname {Sin} .(n-1)m'x\,;$
et seront nuls, par ce qui précède.
En désignant toujours par $x$ l’angle au centre d’un polygone régulier de $n$ côtés et par $a$ un angle quelconque ; $m$ étant un nombre entier positif, non multiple de $n$, on trouvera en développant
$\operatorname {Cos} .ma+\operatorname {Cos} .m(a+x)+\operatorname {Cos} .m(a+2x)+\ldots +\operatorname {Cos} .m(a+{\overline {n-1}}.x)$
$=\left\{1+\operatorname {Cos} .mx+\operatorname {Cos} .2mx+\operatorname {Cos} .3mx+\ldots +\operatorname {Cos} .(n-1)mx\right\}\operatorname {Cos} .ma$
$-\left\{1+\operatorname {Sin} .mx+\operatorname {Sin} .2mx+\operatorname {Sin} .3mx+\ldots +\operatorname {Sin} .(n-1)mx\right\}\operatorname {Sin} .ma\,;$
c’est-à-dire en vertu des formules (A), (B)
$\operatorname {Cos} .ma+\operatorname {Cos} .m(a+x)+\operatorname {Cos} .m(a+2x)+\ldots +\operatorname {Cos} .m(a+{\overline {n-1}}.x)=0.\ (\mathrm {C} )$
Cela posé, on sait, comme nous l’avons déjà observé (pag. 41), que $z$ étant un angle quelconque et $p$ un nombre entier positif quelconque, on a
$\operatorname {Cos} .^{p}z={\frac {1}{2^{p-1}}}\left\{\operatorname {Cos} .pz+{\frac {p}{1}}\operatorname {Cos} .(p-2)z+{\frac {p}{1}}.{\frac {p-1}{2}}.\operatorname {Cos} .(p-4)z+\ldots \right\},$
pourvu qu’on arrête le développement dès qu’on ne rencontrera plus d’arcs positifs, et que, lorsque $p$ sera pair, on ne prenne que la moitié du terme qui contiendra l’arc nul.
Mettant successivement pour $z,$ dans cette formule, les termes de la progression, progression, $a,a+x,a+2x,\ldots a+{\overline {n-1}}.x,$ on aura
$\operatorname {Cos} .^{p}a={\frac {1}{2^{p-1}}}\left\{\operatorname {Cos} .pa+{\frac {p}{1}}\operatorname {Cos} .(p-2)a+{\frac {p}{1}}.{\frac {p-1}{2}}.\operatorname {Cos} .(p-4)a+\ldots \right\},$
$\operatorname {Cos} .^{p}(a+x)={\frac {1}{2^{p-1}}}\left\{\operatorname {Cos} .p(a+x)+{\frac {p}{1}}\operatorname {Cos} .(p-2)(a+x)+\ldots \right\},$
$\operatorname {Cos} .^{p}(a+2x)={\frac {1}{2^{p-1}}}\left\{\operatorname {Cos} .p(a+2x)+{\frac {p}{1}}\operatorname {Cos} .(p-2)(a+2x)+\ldots \right\}\,;$
$\operatorname {Cos} .^{p}(a+{\overline {n-1}}x)=$
${\frac {1}{2^{p-1}}}\left\{\operatorname {Cos} .p(a+{\overline {n-1}}x)+{\frac {p}{1}}\operatorname {Cos} .(p-2)(a+{\overline {n-1}}x)+\ldots \right\}\,;$
ce qui donnera, en ajoutant,
$\operatorname {Cos} .^{p}a+\operatorname {Cos} .^{p}(a+x)+\operatorname {Cos} .^{p}(a+2x)+\ldots +\operatorname {Cos} .^{p}(a+{\overline {n-1}}.x)$
$={\frac {1}{2^{p-1}}}\left\{{\begin{array}{l}&\quad \operatorname {Cos} .pa+\operatorname {Cos} .p(a+x)+\operatorname {Cos} .p(a+2x)+\\&\qquad \qquad \qquad \qquad \ldots +\operatorname {Cos} .p(a+{\overline {n-1}}.x)\\&+{\frac {p}{1}}\left\{\operatorname {Cos} .(p-2)a+\operatorname {Cos} .(p-2)(a+x)+\right.\\&\qquad \qquad \qquad \qquad \left.\ldots +\operatorname {Cos} .(p-2)(a+{\overline {n-1}}.x)\right\}\\&+{\frac {p}{1}}.{\frac {p-1}{2}}\left\{\operatorname {Cos} .(p-4)a+\operatorname {Cos} .(p-4)(a+x)+\right.\\&\qquad \qquad \qquad \qquad \left.\ldots +\operatorname {Cos} .(p-4)(a+{\overline {n-1}}.x)\right\}\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{array}}\right\}$
Si $p$ est un nombre impair, non multiple de $n,$ toutes les lignes du second membre de cette équation seront nulles, en vertu de la formule (C) ; de sorte qu’en remplaçant $p$ par $2\lambda +1,$ on a
$\left[\operatorname {Cos} .a\right]^{2\lambda +1}+\left[\operatorname {Cos} .(a+x)\right]^{2\lambda +1}+\left[\operatorname {Cos} .(a+2x)\right]^{2\lambda +1}+\ldots +$
$\left[\operatorname {Cos} .(a+{\overline {n-1}}.x)\right]^{2\lambda +1}=0,\quad$
Si, au contraire, $p$ est un nombre pair, les cosinus de la dernière ligne seront tous égaux à l’unité, et au nombre de $n,$ et leur coefficient commun sera
${\frac {p}{1}}.{\frac {p-1}{2}}.{\frac {p-2}{3}}\ldots {\frac {p-{\frac {p-2}{2}}}{\frac {p}{2}}}$
ou, en changant $p$ en $2\lambda$
${\frac {2\lambda }{1}}.{\frac {2\lambda -1}{2}}.{\frac {2\lambda -2}{3}}\ldots {\frac {2\lambda +1}{\lambda }}$
Il faudra donc prendre $n$ fois la moitié de ce coefficient, et multiplier le résultat par ${\frac {1}{2^{p-1}}}$ ou par ${\frac {1}{2^{2\lambda -1}}}\,;$ ce qui revient à multiplier de suite ce coefficient, tout entier par ${\frac {n}{2^{2\lambda }}}.$ On a donc
$\left[\operatorname {Cos} .a\right]^{2\lambda }+\left[\operatorname {Cos} .(a+x)\right]^{2\lambda }+\left[\operatorname {Cos} .(a+2x)\right]^{2\lambda }+\ldots +\left[\operatorname {Cos} .(a+{\overline {n-1}}.x)\right]^{2\lambda }$
$={\frac {n}{2^{2\lambda }}}.{\frac {2\lambda }{1}}.{\frac {2\lambda -1}{2}}.{\frac {2\lambda -2}{3}}\ldots {\frac {\lambda +1}{\lambda }}.\qquad$
En conséquence, si l’on fait successivement $\lambda$ égal à $0,1,2,3,\ldots ,$ on tirera des formules (D) et (E)
$\left.{\begin{aligned}&\operatorname {Cos} .a+\operatorname {Cos} .(a+x)+\operatorname {Cos} .(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .(a+{\overline {n-1}}.x)=0,\\&\operatorname {Cos} .^{2}a+\operatorname {Cos} .^{2}(a+x)+\operatorname {Cos} .^{2}(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .^{2}(a+{\overline {n-1}}.x)={\frac {2}{1}}.{\frac {n}{2^{2}}},\\&\operatorname {Cos} .^{3}a+\operatorname {Cos} .^{3}(a+x)+\operatorname {Cos} .^{3}(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .^{3}(a+{\overline {n-1}}.x)=0,\\&\operatorname {Cos} .^{4}a+\operatorname {Cos} .^{4}(a+x)+\operatorname {Cos} .^{4}(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .^{4}(a+{\overline {n-1}}.x)={\frac {4}{1}}.{\frac {3}{2}}.{\frac {n}{2^{4}}},\\&\operatorname {Cos} .^{5}a+\operatorname {Cos} .^{5}(a+x)+\operatorname {Cos} .^{5}(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .^{5}(a+{\overline {n-1}}.x)=0,\\&\operatorname {Cos} .^{6}a+\operatorname {Cos} .^{6}(a+x)+\operatorname {Cos} .^{6}(a+2x)+\ldots \\&\qquad \qquad \qquad \qquad +\operatorname {Cos} .^{6}(a+{\overline {n-1}}.x)={\frac {6}{1}}.{\frac {5}{2}}.{\frac {4}{3}}.{\frac {n}{2^{6}}},\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right\$
Soit présentement une circonférence, dont $\mathrm {C}$ soit le centre et $r$ le rayon, divisée en $n$ parties égales aux points $\mathrm {P_{1},P_{2},P_{3},\ldots P_{n}} \,;$ et soit $\mathrm {O}$ un point du plan de cette circonférence distant de son centre de la quantité $k.$ Soient menées les droites $\mathrm {OP_{1},OP_{2},OP_{3},\ldots OP_{n}} ,$ et les rayons $\mathrm {CP_{1},CP_{2},CP_{3}} ,\ldots$$\mathrm {CP_{n}} \,;$ soit $x$ l’angle de deux rayons consécutifs, et soit $a$ l’angle que fait le premier $\mathrm {CP,}$ avec la droite $\mathrm {CO.}$ Les triangles $\mathrm {OCP_{1},OCP_{2},OCP_{3}} ,\ldots$$\mathrm {OCP_{n}}$ qui ont tous le côté commun $\mathrm {CO,}$ donneront
${\begin{aligned}{\overline {\mathrm {OP_{1}} }}^{2}&=k^{2}+r^{2}-2kr\operatorname {Cos} .a,\\{\overline {\mathrm {OP_{2}} }}^{2}&=k^{2}+r^{2}-2kr\operatorname {Cos} .(a+x),\\{\overline {\mathrm {OP_{3}} }}^{2}&=k^{2}+r^{2}-2kr\operatorname {Cos} .(a+2x),\\\ldots &\ldots \ldots \ldots \ldots \ldots \ldots \\{\overline {\mathrm {OP_{n}} }}^{2}&=k^{2}+r^{2}-2kr\operatorname {Cos} .(a+{\overline {n-1}}.x).\\\end{aligned}}$
En désignant par $m$ un nombre entier positif, plus petit que $n,$ on conclura de là
${\overline {\mathrm {OP_{1}} }}^{2m}+{\overline {\mathrm {OP_{2}} }}^{2m}+{\overline {\mathrm {OP_{3}} }}^{2m}+\ldots +{\overline {\mathrm {OP_{n}} }}^{2m}$
$=\left\{{\begin{aligned}&\left[\left(k^{2}+r^{2}\right)-2kr\operatorname {Cos} .a\right]^{m}\\+&\left[\left(k^{2}+r^{2}\right)-2kr\operatorname {Cos} .(a+x)\right]^{m}\\+&\left[\left(k^{2}+r^{2}\right)-2kr\operatorname {Cos} .(a+2x)\right]^{m}\\+&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\+&\left[\left(k^{2}+r^{2}\right)-2kr\operatorname {Cos} .(a+{\overline {n-1}}.x)\right]^{m}\end{aligned}}\right\}$
$=\left\{{\begin{aligned}&\left(k^{2}+r^{2}\right)^{m}-2{\frac {m}{1}}kr\left(k^{2}+r^{2}\right)^{m-1}\operatorname {Cos} .a\\&\qquad +4{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\operatorname {Cos} .^{2}a\\+&\left(k^{2}+r^{2}\right)^{m}-2{\frac {m}{1}}kr\left(k^{2}+r^{2}\right)^{m-1}\operatorname {Cos} .(a+x)\\&\qquad +4{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\operatorname {Cos} .^{2}(a+x)\\+&\left(k^{2}+r^{2}\right)^{m}-2{\frac {m}{1}}kr\left(k^{2}+r^{2}\right)^{m-1}\operatorname {Cos} .(a+2x)\\&\qquad +4{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\operatorname {Cos} .^{2}(a+2x)\\+&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\+&\left(k^{2}+r^{2}\right)^{m}-2{\frac {m}{1}}kr\left(k^{2}+r^{2}\right)^{m-1}\operatorname {Cos} .(a+{\overline {n-1}}.x)\\&\qquad +4{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\operatorname {Cos} .^{2}(a+{\overline {n-1}}.x)\\\end{aligned}}\right\}$
$=\left\{{\begin{aligned}&\quad n\left(k^{2}+r^{2}\right)^{m}\\&-2{\frac {m}{1}}kr\left(k^{2}+r^{2}\right)^{m-1}\times \\&\left[\operatorname {Cos} .a+\operatorname {Cos} .(a+x)+\operatorname {Cos} .(a+2x)+\ldots +\operatorname {Cos} .(a+{\overline {n-1}}.x)\right]\\&+4.{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\times \\&\left[\operatorname {Cos} .^{2}a+\operatorname {Cos} .^{2}(a+x)+\operatorname {Cos} .^{2}(a+2x)+\ldots +\operatorname {Cos} .^{2}(a+{\overline {n-1}}.x)\right]\\&-8.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}k^{3}r^{3}\left(k^{2}+r^{2}\right)^{m-3}\times \\&\left[\operatorname {Cos} .^{3}a+\operatorname {Cos} .^{3}(a+x)+\operatorname {Cos} .^{3}(a+2x)+\ldots +\operatorname {Cos} .^{3}(a+{\overline {n-1}}.x)\right]\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\&\pm 2^{m}k^{m}r^{m}\times \\&\left[\operatorname {Cos} .^{m}a+\operatorname {Cos} .^{m}(a+x)+\operatorname {Cos} .^{m}(a+2x)+\ldots +\operatorname {Cos} .^{m}(a+{\overline {n-1}}.x)\right].\end{aligned}}\right\}$
En vertu des formules (F), cette équation devient
${\overline {\mathrm {OP_{1}} }}^{2m}+{\overline {\mathrm {OP_{2}} }}^{2m}+{\overline {\mathrm {OP_{3}} }}^{2m}+\ldots +{\overline {\mathrm {OP_{n}} }}^{2m}$
${\begin{aligned}&=n\left(k^{2}+r^{2}\right)^{m}\\&+{\frac {2}{1}}.{\frac {n}{2^{2}}}.2^{2}.{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\\\\&+{\frac {4}{1}}.{\frac {3}{2}}.{\frac {n}{2^{4}}}.2^{4}.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}.{\frac {m-3}{4}}k^{4}r^{4}\left(k^{2}+r^{2}\right)^{m-4}\\\\&+{\frac {6}{1}}.{\frac {5}{2}}.{\frac {4}{3}}.{\frac {n}{2^{6}}}.2^{6}.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}.{\frac {m-3}{4}}.{\frac {m-4}{5}}.{\frac {m-5}{6}}k^{6}r^{6}\left(k^{2}+r^{2}\right)^{m-6}\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}$
ou bien, en réduisant
${\overline {\mathrm {OP_{1}} }}^{2m}+{\overline {\mathrm {OP_{2}} }}^{2m}+{\overline {\mathrm {OP_{3}} }}^{2m}+\ldots +{\overline {\mathrm {OP_{n}} }}^{2m}$
$=n\left\{\left(k^{2}+r^{2}\right)^{m}+{\frac {2}{1}}.{\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{2}\left(k^{2}+r^{2}\right)^{m-2}\right.$
$\left.+{\frac {4}{1}}.{\frac {3}{2}}.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}.{\frac {m-3}{4}}k^{4}r^{4}\left(k^{2}+r^{2}\right)^{m-4}+\ldots \right\$
En développant les diverses puissances de $k^{2}+r^{2},$ dans le second membre, et réunissant les termes affectés des mêmes puissances de $k$ et de $r$ dans le développement, le terme général de ce développement, c’est-à-dire, le terme affecté de $k^{2t}r^{2m-2t}$ sera
$n\left\{{\begin{aligned}&\quad {\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}\ldots {\frac {m-t+1}{t}}\\\\&+{\frac {2}{1}}.{\frac {m}{1}}.{\frac {m-1}{2}}\times {\frac {m-2}{1}}.{\frac {m-3}{2}}.{\frac {m-4}{3}}\ldots {\frac {m-t}{t-1}}\\\\&-{\frac {4}{1}}.{\frac {3}{2}}.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}.{\frac {m-3}{4}}\times \\&\qquad \qquad \qquad \qquad {\frac {m-4}{1}}.{\frac {m-5}{2}}.{\frac {m-6}{3}}\ldots {\frac {m-t-1}{t-2}}\\\\&+{\frac {6}{1}}.{\frac {5}{2}}.{\frac {4}{3}}.{\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}.{\frac {m-3}{4}}.{\frac {m-4}{5}}.{\frac {m-5}{6}}\times \\&\qquad \qquad \qquad \qquad {\frac {m-6}{1}}.{\frac {m-7}{2}}.{\frac {m-8}{3}}\ldots {\frac {m-t-2}{t-3}}\\&+\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}\right\}k^{2t}r^{2m-2t}$
On peut, en préparant convenablement les termes du coefficient, faire en sorte que le facteur
${\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}\ldots {\frac {m-t+1}{t}}$
leur devienne commun, et alors, en mettant ce facteur en évidence, le terme général devient
$n.{\frac {m}{1}}.{\frac {m-1}{2}}\ldots {\frac {m-t+1}{t}}\left\{1+{\frac {m-t}{1}}.{\frac {t}{1}}+{\frac {m-t}{1}}.{\frac {m-t-1}{2}}{\frac {t}{1}}.{\frac {t-1}{2}}+\right.$
$\left.{\frac {m-t}{1}}.{\frac {m-t-1}{2}}.{\frac {m-t-2}{3}}.{\frac {t}{1}}.{\frac {t-1}{2}}.{\frac {t-2}{3}}+\ldots \right\$
$1+{\frac {x}{1}}.{\frac {y}{1}}+{\frac {x}{1}}.{\frac {x-1}{2}}.{\frac {y}{1}}.{\frac {y-1}{2}}+{\frac {x}{1}}.{\frac {x-1}{2}}.{\frac {x-2}{3}}.{\frac {y}{1}}.{\frac {y-1}{2}}.{\frac {y-2}{3}}$
$+\ldots ={\frac {x+y}{1}}.{\frac {x+y-1}{2}}\ldots {\frac {x+1}{y}},$
on fait $x=m-t$ et $y=t,$ elle deviendra
$=1+{\frac {m-t}{1}}.{\frac {t}{1}}+{\frac {m-t}{1}}.{\frac {m-t-1}{2}}.{\frac {t}{1}}.{\frac {t-1}{2}}+\ldots$
$={\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}\ldots {\frac {m-t+1}{t}},$
au moyen de quoi notre terme général se réduit à
$n\left({\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}\ldots {\frac {m-t+1}{t}}k^{t}r^{m-t}\right)^{2}$
de sorte qu’on a finalement
${\overline {\mathrm {OP_{1}} }}^{2m}+{\overline {\mathrm {OP_{2}} }}^{2m}+{\overline {\mathrm {OP_{3}} }}^{2m}+\ldots +{\overline {\mathrm {OP_{n}} }}^{2m}$
$=n\left\{\left(r^{m}\right)^{2}+\left({\frac {m}{1}}.kr^{m-1}\right)^{2}+\left({\frac {m}{1}}.{\frac {m-1}{2}}k^{2}r^{m-2}\right)^{2}\right.$
$\left.+\left({\frac {m}{1}}.{\frac {m-1}{2}}.{\frac {m-2}{3}}k^{3}r^{m-3}\right)^{2}+\ldots \right\$
qui est précisément le théorème énoncé à la page 344 du précédent volume, que nous nous étions proposés de démontrer.
En faisant $m=1,$ on trouve
${\overline {\mathrm {OP_{1}} }}^{2}+{\overline {\mathrm {OP_{2}} }}^{2}+{\overline {\mathrm {OP_{3}} }}^{2}+\ldots +{\overline {\mathrm {OP_{n}} }}^{2}=n\left(r^{2}+k^{2}\right),$
ce qui donne une expression bien simple de la somme des quarrés des droites menées aux sommets d’un polygone régulier d’un point quelconque de son plan, et montre que cette somme est la même pour tous les points également distants du centre du polygone, comme M. Sturm l’avait déjà remarqué (tom. XV, pag. 256).
Si le point $\mathrm {O}$ coïncide avec l’un des sommets du polygone, deux des droites $\mathrm {OP_{1},OP_{2},OP_{3},\ldots OP_{n}} ,$ en sont des côtés et les autres sont des diagonales ; mais alors $k=r\,;$ en désignant donc par $c$ l’un des côtés du polygone et par $d_{1},d_{2},d_{3},\ldots d_{n-3}$ les diagonales menées d’un sommet à tous les autres, on aura
$d_{1}^{2}+d_{2}^{2}+d_{3}^{2}+\ldots +d_{n-3}^{2}+2c^{2}=2nr^{2}\,;$
d’où
$d_{1}^{2}+d_{2}^{2}+d_{3}^{2}+\ldots +d_{n-3}^{2}=a\left(2nr^{2}-c^{2}\right).$
Si, par exemple, il s’agit de l’hexagone régulier, ou $n=6$ et $c=r,$ on aura
$d_{1}^{2}+d_{2}^{2}+d_{3}^{2}=10r^{2}\,;$
mais ici, l’on a $d_{2}=2r$ et $d_{3}=d_{1}$ ; donc
$2d_{1}^{2}+4r^{2}=10r^{2},$
$\qquad \qquad \qquad \qquad d_{1}^{2}=3r^{2}\quad$
$\quad d_{1}=r{\sqrt {3}},$
comme on doit l’avoir en effet.
THÉORÈME. Un polygone quelconque étant circonscrit à un cercle, et un autre cercle étant concentrique à celui-là la somme des produits des côtés du polygone par les quarrés des distances d’un point quelconque de la circonférence du second cercle aux points de contact de ces côtés avec le premier, est une quantité constante.
Démonstration. Soit $\mathrm {O}$ le centre commun des deux cercles ; soit $r$ le rayon de celui auquel le polygone est circonscrit, et soit $R$ le rayon de l’autre. Représentons par $a,b,c,\ldots$ les côtés consécutifs du polygone ; et désignons leurs points de contact par $\mathrm {A,}$ $\mathrm {B,C} ,\ldots .$ Soit enfin, un point pris arbitrairement sur la circonférence dont le rayon est $R\,;$ et représentons respectivement par $\alpha ,\beta ,\gamma ,\ldots$ les angles $\mathrm {POA,POB,POC} ,\ldots$ parce que les angles qui ont les côtés perpendiculaires chacun à chacun sont égaux, les angles $\alpha ,\beta ,\gamma ,\ldots$ seront aussi ceux que feraient les côtés $a,b,c,\ldots$ du polygone avec une perpendiculaire indéfinie menée à $\mathrm {OP,}$ par le point $\mathrm {O} ,$ de sorte qu’on aura, par un théorème connu.
$a\operatorname {Cos} .\alpha +b\operatorname {Cos} .\beta +c\operatorname {Cos} .\gamma +\ldots =0.\qquad$
Cela posé, les triangles $\mathrm {POA,POB,POC} ,\ldots$ donnent
${\begin{aligned}&{\overline {\mathrm {PA} }}^{2}=R^{2}+r^{2}-2rR\operatorname {Cos} .\alpha ,\\&{\overline {\mathrm {PB} }}^{2}=R^{2}+r^{2}-2rR\operatorname {Cos} .\beta ,\\&{\overline {\mathrm {PC} }}^{2}=R^{2}+r^{2}-2rR\operatorname {Cos} .\gamma ,\\&\ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \end{aligned}}$
Prenant la somme des produits respectifs de ces équations par $a,b,c,\ldots$ et ayant égard à la relation (1), il viendra
${\overline {\mathrm {PA} }}^{2}.a+{\overline {\mathrm {PB} }}^{2}.b+{\overline {\mathrm {PC} }}^{2}.c+\ldots =\left(R^{2}+r^{2}\right)(a+b+c+\ldots ),\quad$
équation dont le second membre est indépendant du point $\mathrm {P} ,$ sur la circonférence dont le rayon est $R,$ comme l’annonce le théorème qui se trouve ainsi démontré.
$n$
$\mathrm {{\overline {PA}}^{2}+{\overline {PB}}^{2}+{\overline {PC}}^{2}} +\ldots =n\left(R^{2}+r^{2}\right).$
Si le point $\mathrm {P}$ était pris sur la circonférence même du cercle inscrit, on aurait $R=r$, et conséquemment
${\overline {\mathrm {PA} }}^{2}.a+{\overline {\mathrm {PB} }}^{2}.b+{\overline {\mathrm {PC} }}^{2}.c+\ldots =2r^{2}(a+b+c+\ldots )$
et si, en outre le polygone était régulier, on aurait
$\mathrm {{\overline {PA}}^{2}+{\overline {PB}}^{2}+{\overline {PC}}^{2}} +\ldots =2nr^{2}.$
* ↑ Voyez, entre autres, la pag. 310 du XV.e volume du présent recueil. J. D. G.