Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le...

34
M. Sarrouy à propos de l’exercice 482-3 1/34 Autour du théorème de Pythagore I . Le problème C’est l’exercice 482-3 du Bulletin n° 482 (mai-juin 2009) de l’APMEP. 1 . Énoncé La somme des carrés des côtés d’un parallélogramme est égale à la somme des carrés de ses diagonales. Établir ce résultat et proposer un puzzle. 2 . Démonstration Elle repose sur le théorème d’Al-Kashi. Notations : ABCD est un parallélogramme, on pose , , et . Dans le triangle ABD, : Dans le triangle ABC, : Donc . Mais comme les angles en A et en B sont supplémentaires, on a . II . Interprétation géométrique 1 . Somme des carrés des côtés Elle est représentée par la somme des aires des carrés construits sur les côtés du parallélogramme a AB CD = = b AD BC = = d BD = d' AC = d b a d' B A C D d 2 a 2 b 2 2ab A cos + = d b a B A C D d' 2 a 2 b 2 2ab B cos + = b a d' B A C D d 2 d' 2 + 2a 2 2b 2 2ab A cos 2ab B cos + 2a 2 2b 2 2ab A B cos + cos ( ) + = = A B cos + cos 0 = d 2 d' 2 + 2a 2 2b 2 + =

Transcript of Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le...

Page 1: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Autour du théorème de Pythagore

I . Le problème

C’est l’exercice 482-3 du Bulletin n° 482 (mai-juin 2009) de l’APMEP.

1 . Énoncé

La somme des carrés des côtés d’un parallélogramme est égale à la somme des carrés de ses diagonales.

Établir ce résultat et proposer un puzzle.

2 . Démonstration

Elle repose sur le théorème d’Al-Kashi.

Notations : ABCD est un parallélogramme, on pose , , et .

Dans le triangle ABD, :

Dans le triangle ABC, :

Donc .

Mais comme les angles en A et en B sont supplémentaires, on a.

II . Interprétation géométrique

1 . Somme des carrés des côtés

Elle est représentée par la somme des aires des carrés construits sur les côtés du parallélogramme

a AB CD= = b AD BC= =d BD= d' AC=

d

b

a d'

B

A

C

D

d2

a2

b2

2ab Acos–+=

d

b

a

B

A

C

D

d'2

a2

b2

2ab Bcos–+=

b

a d'

B

A

C

D

d2

d'2

+ 2a2

2b2

2ab Acos 2ab Bcos––+ 2a2

2b2

2ab A Bcos+cos( )–+= =

A Bcos+cos 0=d

2d'

2+ 2a

22b

2+=

M. Sarrouy à propos de l’exercice 482-3 1/34

Page 2: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

ABCD.

2 . Somme des carrés des diagonales

Il s’agit de même de la somme des aires des carrés construits sur chacune des deux diagonalesdu parallélogramme ABCD.

3 . Conséquence

Démontrer la propriété équivaut donc à montrer que la somme des aires des carrés construitssur les côtés d’un parallélogramme est égale à la somme des aires des carrés construits sur sesdiagonales.

Ce qui suit ne constitue pas une démonstration de cette propriété mais une doubleinterprétation vue au travers du prisme de la démonstration du théorème de Pythagore parEuclide, les échanges de carrés rappelant en effet cette démonstration.

III . Intermède : le théorème de Pythagore dans Les Éléments d’Euclide

Le théorème de Pythagore dans Les Éléments est l’énoncé de la proposition 47 du Livre I.

B

A

C

D

B

A

C

D

M. Sarrouy à propos de l’exercice 482-3 2/34

Page 3: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

1 . Énoncé

« Dans les triangles rectangles, le carré sur le côté sous-tendant l’angle droit est égal aux carréssur les côtés contenant l’angle droit. »

2 . Démonstration

• SituationABC est un triangle rectangle en A.

Démontrer le théorème consiste à montrer que l’aire d’un carré BCDE construit surl’hypoténuse [BC] est égale à la somme des aires de carrés ABFG et ACIH respectivementconstruits sur les côtés [AB] et [AC] de l’angle droit.

• 1re étapeL’aire du carré ABFG est le double de l’aire du triangle BFC parce que le parallélogramme(carré) ABFG a même base [BF] que le triangle BFC et qu’il est dans les mêmes parallèles(BF) et (CG). Cette propriété est la proposition 41 du même livre.

A

B C

A

B C

DE

F

G

H

I

A

B C

DE

F

G

H

I

M. Sarrouy à propos de l’exercice 482-3 3/34

Page 4: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

• 2e étapeDans les triangles BFC et ABE, on a , et leurs angles en B sontégaux, tous deux égaux à un droit plus l’angle en B du triangle ABC.On en déduit (proposition 4 du livre I) qu’ils sont isométriques et de là qu’ils ont mêmeaire.L’aire du carré ABFG est donc égale au double de l’aire du triangle ABE.

• 3e étapeComme à la première étape, l’aire du rectangle BEKJ est le double de l’aire du triangleBEA parce que le parallélogramme (rectangle) BEKJ a même base [BE] que le triangleBEA et qu’il est dans les mêmes parallèles (BE) et (AK).

• Conclusion partielle

BF BA= BC BE=

A

B C

DE

F

G

H

I

A

B C

DE

F

G

H

I

J

K

M. Sarrouy à propos de l’exercice 482-3 4/34

Page 5: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Le carré ABFG et le rectangle BEKJ ont même aire.

• ConclusionOn démontrerait de même que le carré ACIH a même aire que le rectangle CDKJ.De là, on peut affirmer que l’aire du carré BCDE est égale à la somme des aires des carrésABFG et ACIH.

3 . Illustration dynamique de la démonstration par Euclide du théorème de Pythagore à l’aide dulogiciel GeoGebra

Il s’agit de l’utilisation du fichier Pythagore.ggb qui est en annexe.

IV . Première utilisation de la démonstration du théorème de Pythagore par Euclide dans le cas d’untriangle quelconque

1 . Situation

ABC est un triangle. On distinguera deux cas selon que le triangle n’a aucun angle obtus ouque l’angle en A est obtus.

Sur ses côtés on construit les carrés ABFG, BCDE et ACIH.

A

B C

DE

F

G

H

I

J

K

A

B C

A

B C

M. Sarrouy à propos de l’exercice 482-3 5/34

Page 6: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

2 . Application de la méthode au carré ABFG

On commence par prolonger les segments [GA] et [BC] de façon à placer le pointd’intersection J des droites (GA) et (BC).

L’aire du carré ABFG est le double de celle du triangle BFJ (voir plus haut au théorème dePythagore).

A

B C

DE

F

G

H

I

DE

A

B C

F

G

H

I

A

B C

DE

F

G

H

I

J

DE

J

A

B C

F

G

H

I

M. Sarrouy à propos de l’exercice 482-3 6/34

Page 7: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Soit K le point de la demi-droite [BE) tel que .

Dans les triangles BFJ et BHK, on a donc , et leurs angles en B sontégaux, tous deux égaux à un droit plus l’angle en B du triangle ABC. On en déduit qu’ils sontisométriques et par suite qu’ils ont même aire.

L’aire du carré ABFG est donc égale au double de l’aire du triangle ABK.

L’aire du rectangle BKLN est le double de l’aire du triangle ABK.

A

B C

DE

F

G

H

I

J

DE

J

A

B C

F

G

H

I

BK BJ=

BF BA= BK BJ=

A

B C

DE

F

G

H

I

J

K

DE

J

A

B C

F

G

H

I

K

M. Sarrouy à propos de l’exercice 482-3 7/34

Page 8: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Par conséquent, l’aire du carré ABFG est égale à celle du rectangle BKLN.

Dans le cas où le triangle ABC n’a aucun angleobtus, ceci peut aussi être énoncé sous la forme :l’aire du carré ABFG est égale à la somme de l’airedes rectangles BEMN et EKLM. Il est à noter que lerectangle EKLM est extérieur au carré BCDEconstruit sur le côté [BC] du triangle ABC.

Dans le cas où l’angle en A est obtus,on peut dire que l’aire du carréABFG est égale à la différence entrel’aire du rectangle BEMN et celle durectangle EKLM. Dans ce cas, lerectangle EKLM est intérieur aucarré BCDE construit sur le côté[BC] du triangle ABC.

A

B C

DE

F

G

H

I

KL

N

DE

L

NO

A

B C

F

G

H

I

K

A

B C

DE

F

G

H

I

KL

N

MDE

L

N

M

O

A

B C

F

G

H

I

K

M. Sarrouy à propos de l’exercice 482-3 8/34

Page 9: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

3 . Application de la méthode au carré ACIH

Comme précédemment, on commence par prolonger les segments [HA] et [BC] pour placer lepoint d’intersection O des droites (HA) et (BC).

L’aire du carré ACIH est le double de celle du triangle ICO.

P désigne le point de la demi-droite [CD) tel que .

Dans les triangles ICO et ACP, on a donc , et leurs angles en C sontégaux puisque tous deux égaux à un droit plus l’angle en C du triangle ABC. Ils sont par suiteisométriques et ont même aire.

L’aire du carré ACIH est donc égale au double de l’aire du triangle ACP.

A

B C

DE

F

G

H

I

O

DE

O

A

B C

F

G

H

I

A

B C

DE

F

G

H

I

O

DE

O

A

B C

F

G

H

I

CP CO=

CI CA= CO CP=

M. Sarrouy à propos de l’exercice 482-3 9/34

Page 10: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

L’aire du rectangle CPQN est le double de l’aire du triangle ACP.

On en déduit que l’aire du carré ACIH est égale à celle du rectangle CPQN.

A

B C

DE

F

G

H

I

O

P

DE

O

A

B C

F

G

H

I

P

A

B C

DE

F

G

H

I

N

M

O

Q P

DE

N

Q

A

B C

F

G

H

I

P

M. Sarrouy à propos de l’exercice 482-3 10/34

Page 11: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

4 . Conclusion n° 1

En d’autres termes, si tous les angles du triangle ABCsont aigus, l’aire du carré ACIH est égale à la sommede l’aire des rectangles CDMN et DPQM. Commedans le premier cas, le rectangle DPQM est extérieurau carré BCDE.

Si par contre l’angle en A est obtus,l’aire du carré ACIH est égale à ladifférence entre l’aire du rectangleCDMN et celle de DPQM. iciencore, le rectangle DPQM estintérieur au carré BCDE.

A

B C

DE

F

G

H

I

JN

M

Q PDE

N

Q

A

B C

F

G

H

I

P

M

M. Sarrouy à propos de l’exercice 482-3 11/34

Page 12: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

5 . Illustration dynamique des découpages précédents à l’aide de GeoGebra

On trouvera en annexe le descriptif nécessaire.

6 . Remarques

a . Les rectangles EMLK et DPQM ont même aire (non démontré ici, mais observé à l’aide deGeoGebra, voir plus loin).

b . Donc dans le premier cas, la phrase « la somme des aires des carrés ABFG et ACIH est égaleà la somme de l’aire du carré BCDE et de celle du polygone EDPQLK » peut s’écrire :

tandis que dans le cas de l’angle obtus, la phrase « lasomme des aires des carrés ABFG et ACIH est égale à la différence entre l’aire du carréBCDE et celle du polygone EDPQLK » se transforme en

c . Le théorème d’al-Kashi donne .

d . L’aire de chacun des deux rectangles EMLK et DMQP vaut donc soit

.

V . Seconde utilisation de la démonstration du théorème de Pythagore par Euclide dans le cas d’untriangle quelconque

1 . Situation

Elle est inchangée : ABC est un triangle et on distingue de nouveau les deux cas selon que lesangles sont aigus ou que l’angle en A est obtus.

Lorsqu’aucun angle du triangle n’est obtus, la sommedes aires des carrés ABFG et ACIH est égale à lasomme de l’aire du carré BCDE et de celle dupolygone EDPQLK.

Quand l’angle en A est obtus, lasomme des aires des carrés ABFG etACIH est égale à la différence entrel’aire du carré BCDE et celle dupolygone EDPQLK.

A

B C

DE

F

G

H

I

KL

Q P

MDE

L

Q

A

B C

F

G

H

I

P

K

M

BC2

AB2

AC2

2EK EM×–+=

BC2

AB2

AC2

2EK EM×+ +=

BC2

AB2

AC2

2AB AC× Acos×–+=

AB AC× Acos×

AB AC⋅

M. Sarrouy à propos de l’exercice 482-3 12/34

Page 13: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

L’idée de cette autre utilisation de la démonstration du théorème de Pythagore qu’on lit dans

Les Éléments d’Euclide provient de la recherche préalable du produit scalaire .

en notant Φ le projeté orthogonal de C sur (AB) ou bien

, Ψ désignant le projeté orthogonal de B sur (AC).

Ceci revient par conséquent à travailler avec ces projetés orthogonaux.

2 . Pour le carré ABFG

La perpendiculaire à (FG) passant par C coupe (FG) et (AB) respectivement en R et S.

Dans les deux cas, est l’aire du rectangle AGRS.

.

d’où .

A

B C

A

B C

AB AC⋅

AB AC⋅ AB AΦ×=

AB AC⋅ AΨ AC×=

A

B C

DE

F

G

H

I

S

R

AB AC⋅ AB AS× AB AS× AG AS×= = =

A

B C

DE

F

G

H

I

S

R

AB AC⋅ AB AS× AB AS×= =

AB AC⋅ AG AS×=

AB AC⋅

M. Sarrouy à propos de l’exercice 482-3 13/34

Page 14: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

L’aire du rectangle BFRS est le double de celle du triangle BCF.

Dans les triangles BCF et BEA, on a donc , et leurs angles en B sontégaux puisque tous deux égaux à un droit plus l’angle en B du triangle ABC. Ils sont doncisométriques et ont même aire.

L’aire du rectangle BFRS est donc le double de celle du triangle ABE.

A

B C

DE

F

G

H

I

S

RA

B C

DE

F

G

H

I

S

R

A

B C

DE

F

G

H

I

S

RA

B C

DE

F

G

H

I

S

R

BC BE= BF BA=

M. Sarrouy à propos de l’exercice 482-3 14/34

Page 15: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

L’aire du rectangle BEMN est le double de l’aire du triangle ABE.

Par conséquent, l’aire du rectangle ABFG est égale à celle du rectangle BEMN.

Lorsque les angles du triangle ABC sont aigus, cecipeut aussi être transformé en : l’aire du carré ABFGest égale à la somme de l’aire des rectangles BEMNet EKLM. On retrouve le fait que le rectangle EKLMest extérieur au carré BCDE construit sur le côté[BC] du triangle ABC.Ceci achève de démontrer que l’aire du rectangle

EKLM est égale à .

Si l’angle en A est obtus, l’aire ducarré ABFG est égale à la différenceentre l’aire du rectangle BEMN etcelle du rectangle EKLM. Dans cecas, le rectangle EKLM est intérieurau carré BCDE construit sur le côté[BC] du triangle ABC.Et ceci achève aussi de démontrerque l’aire du rectangle EKLM est

égale à .

A

B C

DE

F

G

H

I

S

N

M

RA

B C

DE

F

G

H

I

S

N

R

M

AB AC⋅

AB AC⋅

A

B C

DE

F

G

H

I

S

KL

N

M

R

A

B C

DE

F

G

H

I

S

N

R

M

K L

M. Sarrouy à propos de l’exercice 482-3 15/34

Page 16: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

3 . Pour le carré ACIH

On trace la perpendiculaire à (HI) passant par B. Elle coupe (HI) et (AC) respectivement en Tet U.

Dans les deux cas, la valeur absolue du produit scalaire est l’aire du rectangle AUTH.

L’aire du rectangle CUTI est le double de celle du triangle CBI.

.

d’où .

A

B C

DE

F

G

H

I

T

U

AB AC⋅ AU AC× AU AC× AU AH×= = =

A

B C

DE

F

G

H

I

T

U

AB AC⋅ AU AC× AU AC×= =

AB AC⋅ AU AH×=

A

B C

DE

F

G

H

I

T

U A

B C

DE

F

G

H

I

T

U

M. Sarrouy à propos de l’exercice 482-3 16/34

Page 17: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Les triangles CBI et CDA sont isométriques parce que , et leurs angles enC sont égaux, tous deux à un droit plus l’angle en C du triangle ABC. Ils ont donc même aire.

Par suite, l’aire du rectangle CUTI est le double de celle du triangle CDA.

L’aire du rectangle CDMN est le double de l’aire du triangle CDA.

On en déduit que l’aire du rectangle CUTI est égale à celle du rectangle CDMN.

A

B C

DE

F

G

H

I

T

U A

B C

DE

F

G

H

I

T

U

CB CD= CI CA=

A

B C

DE

F

G

H

I

N

M

T

U A

B C

DE

F

G

H

I

N

T

U

M

M. Sarrouy à propos de l’exercice 482-3 17/34

Page 18: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

4 . Conclusion n° 2

Ainsi, quand le triangle ABC n’a pas d’angle obtus,on peut dire que l’aire du carré ACIH est égale à lasomme de l’aire des rectangles CDMN et DPQM.Une nouvelle fois, on retrouve le fait que le rectangleDPQM est extérieur au carré BCDE construit sur lecôté [BC] du triangle ABC.Et de nouveau, ceci démontre que l’aire du rectangle

DPQM est égale à .

Lorsque l’angle en A est obtus, l’airedu carré ACIH est égale à ladifférence entre l’aire du rectangleCDMN et celle du rectangleDPQM. Le rectangle DPQM estintérieur au carré BCDE construitsur le côté [BC] du triangle ABC.Et, ici aussi, ceci démontre que l’airedu rectangle DPQM est égale à

.

AB AC⋅

AB AC⋅

A

B C

DE

F

G

H

I

N

M

T

U

Q P

A

B C

DE

F

G

H

I

N

T

U

M

Q P

M. Sarrouy à propos de l’exercice 482-3 18/34

Page 19: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

5 . Illustration dynamique de ces découpages à l’aide de GeoGebra

Le descriptif nécessaire se trouve en annexe.

VI . Synthèse : suite du problème

1 . Situation et notations

Dans la suite, on notera l’aire du rectangle (éventuellement carré) R.

ABCD est un parallélogramme. Sans perdre en généralité, on peut supposer l’angle en A aigu(ou droit1). L’angle en B est alors obtus (ou droit), on supposera cependant que l’angle en B dutriangle ABD est aigu.

Remarque : .

Sur ses côtés [AB], [BC], [CD] et [DA], on construit les carrés respectifs , , et et sur ses diagonales [AC] et [BD] les carrés respectifs et.

Dans la cas où les angles du triangle ABC sont aigus,la somme des aires des carrés ABFG et ACIH estégale à la somme de l’aire du carré BCDE et de celledu polygone EDPQLK.

Si l’angle en A est obtus, la sommedes aires des carrés ABFG et ACIHest égale à la différence entre l’aire ducarré BCDE et celle du polygoneEDPQLK.

1 . Ce cas ne présente que peu d’intérêt dans la mesure où l’on retrouve le théorème de Pythagore.

A

B C

DE

F

G

H

I

S

KL

M

R

T

U

Q P

A

B C

DE

F

G

H

I

S

N

R

T

U

M

K L

Q P

A R( )

BA BC⋅ AB AD⋅=

ABB1A1 BCC2B2CDD1C1 DAA2D2 ACC3A3BDD3B3

M. Sarrouy à propos de l’exercice 482-3 19/34

Page 20: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Il s’agit de prouver que

.

2 . Travail avec la diagonale [AC]

Ce travail s’effectue comme il a été fait plus haut dans le triangle ABC et l’angle en B est obtus.

La perpendiculaire à (AC) passant par B coupe (AC) et ( ) respectivement en E et F.

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A2

A3

C1

A ACC3A3( ) A BDD3B3( )+ A ABB1A1( ) A BCC2B2( ) A CDD1C1( ) A DAA2D2( )+ + +=

A3C3

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A F2

A3

C1

E

M. Sarrouy à propos de l’exercice 482-3 20/34

Page 21: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Les droites ( ) et (AC) se coupent en J.

On trace le segment [ ].

Son image par la1 rotation de centre C et d’angle droit est [BK]. D’après l’étude précédente, on

1 . Le sens n’est pas précisé, il est évident une fois les points A, B, C et D choisis. Il en sera de même dans la suite.

BB2

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1

J

C2J

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1

J

M. Sarrouy à propos de l’exercice 482-3 21/34

Page 22: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

sait que le point K se trouve sur le segment [ ].

La parallèle à (AC) passant par K coupe [BF] en L.

Toujours d’après les paragraphes précédents, on sait que et que

CC3

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1

J

K

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1G

K

L

A C3KLF( ) BA BC⋅=

M. Sarrouy à propos de l’exercice 482-3 22/34

Page 23: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

:

On procède de la même manière avec le carré : la droite ( ) coupe [AC] en G.

A CKLE( ) A BCC2B2( )=

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1

K

L

ABB1A1 BB1

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1G

K

L

M. Sarrouy à propos de l’exercice 482-3 23/34

Page 24: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

On trace le segment [ ].

Son image par la rotation de centre A et d’angle droit est le segment [BH] dont on sait quel’extrémité H appartient au côté [ ] du carré .

A1G

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F2

A3

C1G

K

L

AA3 CAA3C3

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

2

A3

C1G

K

L

M. Sarrouy à propos de l’exercice 482-3 24/34

Page 25: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

La parallèle à (AC) passant par H coupe [BF] en I.

Toujours d’après les paragraphes précédents, on sait que et que :

3 . Travail avec la diagonale [BD]

Il repose sur le triangle ABD dans lequel l’angle en A est aigu.

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

A A3HIF( ) BA BC⋅=A AEIH( ) A ABB1A1( )=

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

M. Sarrouy à propos de l’exercice 482-3 25/34

Page 26: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

La hauteur issue de A coupe (BD) et ( ) respectivement en M et N.

En utilisant la perpendiculaire issue de B à (DC) qui coupe (DC) en O et en P, l’étudepréalable a montré que :

et

d’où

ou bien encore .

On sait aussi que

ce qui donne .

De même, la perpendiculaire à (AD) qui passe par B coupant (AD) en Q et en R, on

B3D3

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

M

N

PO

R

Q

D1C1( )

A DD1PO( ) A BB3NM( )= A CC1PO( ) A A3HIF( )=

A CDD1C1( ) A A3HIF( ) A BB3NM( )+=

A BB3NM( ) A CDD1C1( ) A A3HIF( )–=

A A3HIF( ) BA BC⋅=

A BB3NM( ) A CDD1C1( ) BA BC⋅–=

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

M

N

PO

R

Q

A2D2( )

M. Sarrouy à propos de l’exercice 482-3 26/34

Page 27: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

sait que et

d’où

soit .

Comme , on a .

4 . Bilan

D’une part, soit

.

D’autre part ce qui donne

.

Donc

:

A DD2RQ( ) A DD3NM( )= A AA2RQ( ) A C3KLF( )=

A ADD2A2( ) A C3KLF( ) A DD3NM( )+=

A DD3NM( ) A ADD2A2( ) A C3KLF( )–=

A C3KLF( ) BA BC⋅= A DD3NM( ) A ADD2A2( ) BA BC⋅–=

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

M

N

PO

R

Q

A ACC3A3( ) A CKLE( ) A C3KLF( ) A AEIH( ) A A3HIF( )+ + +=

A ACC3A3( ) A BCC2B2( ) BA BC⋅ A ABB1A1( ) BA BC⋅+ + +=

A BDD3B3( ) A DD3NM( ) A BB3NM( )+=

A BDD3B3( ) A ADD2A2( ) BA BC⋅– A CDD1C1( ) BA BC⋅–+=

A ACC3A3( ) A BDD3B3( )+ A BCC2B2( ) BA BC⋅ A ABB1A1( ) BA BC⋅+ + +=

A ADD2A2( ) BA BC⋅– A CDD1C1( ) BA BC⋅–+ +

A ACC3A3( ) A BDD3B3( )+ A BCC2B2( ) A ABB1A1( ) A ADD2A2( ) A CDD1C1( )+ + +=

M. Sarrouy à propos de l’exercice 482-3 27/34

Page 28: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

5 . Remarques

L’étude précédente est incomplète puisqu’elle omet le cas où l’angle en B du triangle ABD estobtus.

Elle ne donne pas un puzzle au sens usuel du terme mais donne un découpage des différentessurfaces en parts dont on retrouve les aires ailleurs. Il s’agit par conséquent d’unedémonstration par équivalence d’aires.

Bien que l’exposé eût pu être allégé des paragraphes III et IV, ils ont été maintenus d’une partparce qu’il n’est pas certain que la démonstration du théorème de Pythagore donnée dans LesÉléments d’Euclide soit connue et d’autre part en raison du caractère heuristique de ladémarche.

6 . Illustration dynamique

Le fichier de géométrie dynamique associé est Parallelogramme.ggb.

D

CB

AA1

D1

B1

B2

B3C2

C3

D2

D3

A

E

F

H

I

2

A3

C1

K

L

C

A

C3

E

F

H

I

A3

K

L

M

N

D

B

B3

D3

M

N

PO

R

Q

M. Sarrouy à propos de l’exercice 482-3 28/34

Page 29: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

VII . Bibliographie

Euclide d’Alexandrie, Les Éléments, traduction et commentaires de Bernard Vitrac, vol. 1, PUF,Paris 1990

Bulletin n° 482, APMEP, mai-juin 2009

M. Sarrouy à propos de l’exercice 482-3 29/34

Page 30: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Annexes : illustrations dynamiques des découpages

I . Fichier Pythagore.ggb

Dans le déplacement d’un des points A, B ou C, le triangle ABC reste rectangle, le point A étantastreint à parcourir un demi-cercle d’extrémités B et C.

L’aire du triangle BFG est égale à la moitié de l’aire du carré ABFG.

Le triangle T1 est le triangle BFZ1 où Z1 est un point du segment [GC]. Lorsque Z1 est en G, onretrouve le triangle précédent. Lorsque Z1 se déplace sur son support [GC], l’aire de BFZ1 nechange pas puisque sa base BF est fixe et que son sommet Z1 se déplace sur une parallèle à la base.Lorsque Z1 est en C, on obtient le triangle BFC dont l’aire est donc la moitié de celle du carréBCFG.

Z2 parcourt le quart de cercle C de centre B et d’extrémités C et E. Lorsque Z2 est en C, T2 est letriangle BFC. Lorsque Z2 se déplace sur C , l’aire du triangle T2 ne change pas puisqu’il s’agit d’unmouvement de rotation. Lorsque Z2 est en E, T2 devient le triangle BAE dont l’aire est parconséquent la moitié de celle du carré BCFG.

Z3 est un point du segment [AJ] et T3 est le triangle Z3BE. Lorsque Z3 est en A, T3 est le triangleBAE. Le déplacement de Z3 sur [AJ] ne modifie pas son aire : sa base est fixe, BE, et son troisièmesommet, Z3, se déplace sur une parallèle à la base. Lorsque Z3 se trouve en J, on obtient le triangleBJE dont l’aire est par suite la moitié de celle du carré BCFG.

Cette aire étant égale à la moitié de celle du rectangle BEKJ, le carré BCFG et le rectangle BEKJ ontmême aire.

II . Fichiers alKashi1.ggb et alKashi2.ggb

Bien que les points A, B et C puissent être déplacés sans contrainte, seul le déplacement du point Adonne à voir les transformations de la figure dans son ensemble.

E K D

Z2

T1

C

A

Z3

H

I

Z1

F

T2

T3JB

G

M. Sarrouy à propos de l’exercice 482-3 30/34

Page 31: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Des tableaux donnent un aperçu rapide des différentes parties de la figure et des aires :

FigurePoint

mobileSupport du

point mobileAire

Position initiale

Positionfinale

R1 aire du carré ABFG

T1 Z1 segment [GJ]la moitié de l’aire du

carré ABFGBFG BFJ

T2 Z2

quart de cercle de centre B et d’extrémités J

et K

la moitié de l’aire du carré ABFG

BFJ BAK

T3 Z3 segment [AN]

la moitié de l’aire du carré ABFG et aussi la

moitié de l’aire du rectangle BKLN

BAK BNK

ou

aire du rectangle BKLN égale à l’aire du carré

ABFG

FigurePoint

mobileSupport du

point mobileAire

Position initiale

Positionfinale

R4 aire du carré CAHI

T4 Z4 segment [HO]la moitié de l’aire du

carré CAHICIH CIO

T5 Z5

quart de cercle de centre C et d’extrémités O

et P

la moitié de l’aire du carré CAHI

CIO CAP

T6 Z6 segment [AN]

la moitié de l’aire du carré CAHI et aussi la

moitié de l’aire du rectangle CPQN

CAP CNP

ou

aire du rectangle CPQN égale à l’aire du

carré CAHI

R2 R3∪R2 \ R3

R5 R6∪R5 \ R6

M. Sarrouy à propos de l’exercice 482-3 31/34

Page 32: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

III . Fichiers alKashi3.ggb et alKashi4.ggb

De nouveau, les points A, B et C peuvent être déplacés sans contrainte, mais le seuldéplacement du point A montre les transformations de la figure dans son ensemble.

E

K

D

Z2

R1

C

A

Z3

H

IZ1

FT2

R2

T3

J

B

G

L

N

M

Q

Z6

OZ5

T1

Z4

P

R3

R4T4

T5

T6

R5

R6

E

K

D

Z2

R1

C

A

Z3

H

IZ1

F

T2

R2

T3

J

B

G

L

N

MQ

Z6

OZ5

T1

Z4

PR3

R4

T4

T5

T6

R5

R6

Cas d’un triangle dont l’angle en A est obtus1 :

Cas d’un triangle sans angle obtus

1 :

1. Le logiciel GeoGebra permet de simuler les deux cas avec une seule construction.

M. Sarrouy à propos de l’exercice 482-3 32/34

Page 33: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

Les tableaux qui donnent l’aperçu des parties de la figure et des aires sont :

FigurePoint

mobileSupport du point

mobileAire

Position initiale

Positionfinale

R1 l’aire du rectangle BFRS

T1 Z1 le segment [RC]la moitié de l’aire du

rectangle BFRSBFR BFC

T2 Z2le quart de cercle de

centre B et d’extrémités C et E

la moitié de l’aire du rectangle BFRS

BFC BAE

T3 Z3 le segment [AN]

la moitié de l’aire du rectangle BFRS et aussi la

moitié de l’aire du rectangle BEMN

BAE BNE

R2l’aire du rectangle BEMN égale à l’aire du rectangle

BFRS

R4 l’aire du rectangle CUTI

T4 Z4 le segment [TB]la moitié de l’aire du

rectangle CUTICIT CIB

T5 Z5le quart de cercle de

centre C et d’extrémités B et D

la moitié de l’aire du rectangle CUTI

CIB CAD

T6 Z6 le segment [AN]

la moitié de l’aire du rectangle CUTI et aussi la

moitié de l’aire du rectangle CDMN

CAD CND

R5l’aire du rectangle CDMN égale à l’aire du rectangle

CUTI

M. Sarrouy à propos de l’exercice 482-3 33/34

Page 34: Autour du théorème de Pythagore - apmep.fr · M. Sarrouy à propos de l’exercice 482-3 5/34 Le carré ABFG et le rectangle BEKJ ont même aire. • Conclusion On démontrerait

IV . Fichier

Parallelogramme.ggb

De nouveau les points A, B et C peuvent être déplacés mais le seul déplacement du point A permetde voir la décomposition dans tous les cas de figures où l’angle en B du triangle ABD est aigu.

E

K

D

R1

C

A

Z3

H

I

Z1

F T2

R2

T3

B

G

L

N

M

Q

Z6

Z5

T1

Z4

P

R3

R4

T4

T5

T6

R5

R6

RS

T

UR7

R8

E

K

D

Z2

R1

C

A

Z3

H

I

Z1

F

T2

R2

T3B

G

L

N

MQ

Z6

Z5

T1

Z4

PR3

R4T4

T5

T6

R5

R6

R

SR7

U

T

R8

M. Sarrouy à propos de l’exercice 482-3 34/34