Dans cette note, nous traitons chacune des questions du quatrième exercice du sujet de mathématiques du Baccalauréat S, Enseignement de Spécialité, session de juin 2017 en France métropolitaine. Cet exercice a pour thème les triangles rectangles presque isocèles.
Un triangle rectangle presque isocèle, en abrégé TRPI, est un triangle rectangle dont les côtés de l’angle droit ont pour longueurs respectives et
, et dont l’hypoténuse a pour longueur
, où
et
sont des entiers naturels.

Autrement dit, un TRPI est un triangle rectangle dont les longueurs des côtés de l’angle droit sont deux nombres entiers consécutifs et dont la longueur de l’hypoténuse est un nombre entier.
Si un triangle de côtés ,
et
, où
est la longueur de l’hypoténuse, est un TRPI, on dit que le couple
définit un TRPI.
Partie A.
(1) Un couple
d’entiers naturels définit un TRPI si et seulement si
.
D’après le théorème de Pythagore, un couple d’entiers naturels définit un TRPI si et seulement si
. Ceci équivaut à
,
puisque .
(2) Le TRPI ayant les plus petits côtés non nuls est défini par le couple
.
Soit la fonction définie par
. Alors, à l’évidence, un couple
d’entiers naturels définit un TRPI si et seulement si
est un carré parfait avec
. Cependant,
et
ne sont des carrés parfaits. À l’inverse,
.
Par conséquent, le TRPI ayant les plus petits côtés non nuls est défini par le couple .
(3.a) Si le carré d’un entier naturel est impair, alors il en est de même pour celui-ci.
Soit un nombre entier naturel pair. Alors, il existe un nombre
tel que
. Donc,
est pair. Ainsi, la parité de
implique celle de
. Eu égard à la règle de contraposition, il en résulte que, si
est impair, alors
est impair.
(3.b) Dans un couple
d’entiers naturels définissant un TRPI, le nombre
est nécessairement impair.
Soit un couple d’entiers naturels définissant un TRPI. Alors,
avec
, selon (A.1). Le nombre
est donc impair. D’après (A.3.a), il en est de même pour
.
(4) Si un couple
d’entiers naturels définit un TRPI, alors
et
sont premiers entre eux.
Soit un couple d’entiers naturels définissant un TRPI. Alors,
,
c’est-à-dire , où
et
. En vertu du théorème de Bezout, il s’ensuit que les nombres
et
sont premiers entre eux.
Partie B.
Soit la matrice carrée et la matrice colonne
. Soient par ailleurs
et
des nombres entiers naturels. Les entiers naturels
et
sont du reste définis par la relation
.
(1) Expression de
et
en fonction
et
.
Par définition,
.
De ce fait,
(2.a) Montrons que
.
Des calculs simples livrent
et
.
Par conséquent,
.
(2.b) Si le couple
définit un TRPI, alors le couple
définit également un TRPI.
Soit un couple d’entiers naturels définissant un TRPI. Alors,
. Ceci induit
. Par conséquent, le couple
définit également un TRPI.
Soient et
les suites d’entiers naturels définies par
et
, puis
pour tout entier naturel .
(3) Pour tout entier naturel
, le couple
définit un TRPI.
Ce fait est notoirement vrai pour (voir notamment (A.2)). Au demeurant, si, pour un entier naturel
quelconque, le couple
définit un TRPI, alors le couple
aussi définit un TRPI, d’après (B.2.b). Eu égard à la règle de récurrence, il en découle que le couple
définit un TRPI pour chaque
.
(4) Détermination d’un TRPI dont les longueurs des côtés sont supérieures à
.
Il suffit de calculer les premiers termes des suites et
. Ces calculs conduisent au tableau suivant.
Le couple définit donc un TRPI dont les longueurs des côtés sont supérieures à
.
Réaliser un don pour nous encourager à produire plus de contenus.
Choisir un montant
Ou saisissez un montant personnalisé :
Votre contribution est appréciée.
Faire un don