‹ Mélanges mathématiquesChapitre 82 sur 223 · IV. De l'équation (2), on tire, successivement · texte numérisé non relu

IV. De l'équation (2), on tire, successivement

g'g" -*- hVi'- = rr — ^ghg'h', ig' -4- h'){g"- -H h"-) = rr -*- {l>9' - 9''')\

{g^- -^ Ir)P = kT- -^ ih' - gh'T" (C)

P représentant /"- -i- g'- -+- h"^.

(*) On verra, tout à l'heure, que la propriété énoncée y>ra/ subsister, même quand U et V ont des facteurs communs.

l IV7 )

\a' [iii'iuiiT lliéorème poul donc èlre remplacé par celui-ci : f- -+- jï'- -h W- est une soimiu- de deux carrés, ati moins lorsque kC el lig' — gh sont iireniiers entre eux (*).

\'. fiemarques. — 1" On a. simnilanétnent :

Ainsi :

P est une so7ntne de deux carrés, au inoins lorsque kir et fh — hf sont premiers entre eux; etc.

2" Le lliéorème ci-dessus (II) peut encore èlre énoncé comme il suit :

Soient six entiers, 1, jr, h, f', g', h' satisfaisant à la condition

ff -^ .9.'/' -+- /'/' ' = ^• 5/ l'une des sommes

est un carré, l'autre est, ordinairement, une somme de deux carrés.

3° Pour satisfaire à la condition (2), /", q, h étant donnés, il sufTif, comme on sait, de prendre

f'=g,—l,S, g'=liy. — fy, li'=^f}—ga; (3)

a, (3, y étant des entiers quelconques.

(*) Soient

valeurs qui satisfont aux égalités (1), (2). II en résulte

kr = 6, l,g' — gh'= 10;

8P = 6*-Hl0î, p = 17 = 4«-+-l*.

Ainsi, comme nous l'avons annoncé, P peut l'/rc une soin)iif <lr dviix carrés, même quand hg' — gh' et kf ont un facteur cnmmvn.

( 148 ) Il résulte, de ces formules,

P = kHa" -+- ^2 + y') — {fa + 9(3+ hyf. (D)

Ainsi, sauf les cas d'exception signalés (s'ils existent), le second membre, somme de trois carrés, est aussi une somme de deux carrés.

VI. Interprétation géométrique. — Soient a, (3, y les coordonnées rectangulaires d'un point M;(, |,^les cosinus directifs d'une droite OA, passant par l'origine 0. Il est visible que

P étant la projection de iM sur OA.

Soit P = A'-2 H- B2, ou

puis

Cette égalité, dans laquelle A, B, A: sont des nombres entiers, exprime que :

La distance MP est l'hypoténuse d'un triangle dont les côtés de l'angle droit sont rationnels.

Page 1