ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · Équations diophantiennes

Exercice 21 Points entiers d'une droite

Calcul

Dans un repère orthonormé, on considère la droite 𝒟\mathcal{D} d'équation 7x−4y=37x-4y=3.

1. Le point A(1;1)A(1;1) appartient-il à 𝒟\mathcal{D} ?

2. Déterminer tous les points de 𝒟\mathcal{D} dont les deux coordonnées sont des entiers relatifs.

3. Quels sont ceux dont l'abscisse est comprise entre 00 et 2020 et dont l'ordonnée est positive ? Représenter 𝒟\mathcal{D} et ces points pour 0⩽x⩽100\leqslant x\leqslant 10.

4. Que constate-t-on sur l'écart entre deux points consécutifs à coordonnées entières ?

Corrigé

1. 7×1−4×1=37\times 1-4\times 1=3 : A∈𝒟\boxed{A\in\mathcal{D}}

2. On cherche les couples d'entiers (x ;y)(x\,;y) tels que 7x−4y=37x-4y=3. En soustrayant 7×1−4×1=37\times 1-4\times 1=3 : 7(x−1)=4(y−1)7(x-1)=4(y-1) 44 divise 7(x−1)7(x-1) et PGCD(4,7)=1\mathrm{PGCD}(4,7)=1, donc d'après le théorème de Gauss, x−1=4kx-1=4k avec k∈ℤk\in\mathbb{Z}, puis 7×4k=4(y−1)7\times 4k=4(y-1), d'où y=1+7ky=1+7k. La réciproque se vérifie : 7(1+4k)−4(1+7k)=7−4=37(1+4k)-4(1+7k)=7-4=3. Les points entiers de 𝒟 sont les Mk(1+4k ;1+7k), k∈ℤ\boxed{\text{Les points entiers de } \mathcal{D} \text{ sont les } M_{k}(1+4k\,;1+7k), \ k\in\mathbb{Z}}

3. 0⩽1+4k⩽200\leqslant 1+4k\leqslant 20 donne −14⩽k⩽194-\frac{1}{4}\leqslant k\leqslant\frac{19}{4}, soit k∈{0 ;1 ;2 ;3 ;4}k\in\{0\,;1\,;2\,;3\,;4\}, et alors y=1+7k⩾0y=1+7k\geqslant 0 : (1 ;1), (5 ;8), (9 ;15), (13 ;22), (17 ;29)\boxed{(1\,;1),\ (5\,;8),\ (9\,;15),\ (13\,;22),\ (17\,;29)}

Figure

La droite bleu ardoise traverse le quadrillage, mais ne passe exactement par un nœud, c'est-à-dire par un point à coordonnées entières, qu'aux points violets. On passe de l'un au suivant en avançant de 44 et en montant de 77, comme le montrent les flèches ocre.

4. Deux points entiers consécutifs MkM_{k} et Mk+1M_{k+1} sont séparés par le vecteur MkMk+1→(47)\overrightarrow{M_{k}M_{k+1}}\begin{pmatrix} 4 \\ 7 \end{pmatrix}, qui ne dépend pas de kk : ces points sont régulièrement espacés, à la distance 16+49=65\sqrt{16+49}=\sqrt{65} les uns des autres. Le vecteur (47)\begin{pmatrix} 4 \\ 7 \end{pmatrix} est un vecteur directeur de 𝒟\mathcal{D}, à coordonnées entières et premières entre elles : il est le plus petit possible.

Dans l'édifice

Thèmes

équations diophantiennes

Ouvrir dans l'atlas interactif →