• Aucun résultat trouvé

Un programme pour B´ ezout

N/A
N/A
Protected

Academic year: 2021

Partager "Un programme pour B´ ezout"

Copied!
1
0
0

Texte intégral

(1)

Un programme pour B´ ezout

1. La th´eorie.

a) L’algorithme d’Euclide.

On consid`ere a, b N avec b= 0. On pose a =r0, b=r1. On effectue la division euclidienne deaparb:a=bq+ravec 0≤r < b. On poseq=q1,r =r2. On a donc r0 =r1q1+r2 avec 0 ≤r2 < r1 et d=pgcd(a, b) =pgcd(r0, r1) =pgcd(r1, r2).

On construit ainsi par r´ecurrence des entiers r0, r1,· · ·, rk, rk+1 et q1,· · ·, qk avec rk−1 = qkrk+rk+1, 0 rk+1 < rk et d =pgcd(rk, rk+1). Si on a rk+1 = 0 on a d=rk et on s’arrˆete, sinon on continue l’algorithme en divisant rk par rk+1. Comme on a 0≤rk+1 < rk<· · ·< r1 on voit que l’on obtient n´ecessairement un reste nul au bout d’au plusr1 op´erations. Si on d´esigne par rn le dernier reste non nul on a donc rn−1 =qnrn d’o`u, d=pgcd(rn−1, rn) =rn.

b) Le th´eor`eme de B´ezout.

Pour montrer B´ezout, on utilise l’algorithme d’Euclide. On va montrer, par r´ecurrence sur k que, pour tout k avec 0≤k ≤n, il existe des entiers uk, vk Z v´erifiant rk =uka+vkb.

L’assertion est vraie pour k = 0 puisqu’on a r0 = a = 1 × a+ 0 × b et pour k = 1 puisqu’on a r1 = b = 0 ×a+ 1×b. Supposons l’assertion prouv´ee pour tout entier ≤k, avec k fix´e v´erifiant 1 ≤k < n, et montrons la pour k+ 1. On a rk+1 =rk−1−qkrk =uk−1a+vk−1b−qk(uka+vkb) d’ o`u la relation cherch´ee en posant uk+1 =uk−1−qkuk et vk+1 =vk−1−qkvk.

Si on applique l’assertion au cas k = n, comme on a rn = d = pgcd(a, b), on obtient bien la relation de B´ezout cherch´ee.

Pour ´ecrire la r´ecurrence sur les coefficients uk, vk le mieux est d’introduire la matrice mk suivante : mk =

uk−1 vk−1

uk vk

car la relation de r´ecurrence s’´ecrit alors mk+1 =pkmk o`u pk est la matrice

0 1

1 −qk

.

2. Le programme sur Voyage.

euclide(a,b) Prgm

EffES

Local m,q,r Identit´e(2) m While b > 0 mod(a,b) r (a-r)/b q

b a : r b : [ [0,1] [1,−q] ]∗m m EndWhile

Disp "pgcd", a Disp "u", m[1,1] Disp "v", m[1,2]

EndPrgm

Références

Documents relatifs

Le suivi de parcelles permettra d’évaluer l’efficacité de la gestion mise en œuvre, tant pour les contrats agricoles (CAD, CLAE, CTE) que pour les contrats Natura 2000 (action

(Mise à jour du codage de variante dans le module de puissan  (Terminer le mode codage de variante avec la touche Start/Pause.) et quitter mode de codage - Tourner le sélecteur

Zusätzlich zu den OpenDocument-Formaten (.odp, .odg und .otp) kann Impress auch die Formate, die von OpenOffice.org 1.x verwendet wurden (.sxi und .sti) sowie die folgenden

Montrer que si l’on consid` ere six tangentes (distinctes) ` a une conique irr´ eductible, constituant ainsi un hexagone circonscrit ` a la conique, alors les trois diagonales

C’est une application lin´ eaire injective entre es- paces vectoriels de mˆ eme dimension finie, et elle est

Il était emprunté à la phrase : « C'est sans doute à cause de cette connexion continue qui s'établit dans la conscience entre passé, présent et avenir que nous avons

Défaillance dans la prise en charge d’un patient sous anticoagulant ou antiagrégant plaquettaire en endoscopie, hépatologie, proctologie, ou cancérologie

[r]