Triangle heptagonal

De testwiki
Aller à la navigation Aller à la recherche
L'heptagone régulier convexe (côtés rouges), avec ses diagonales longues (en vert) et courtes (en bleu). On compte quatorze triangles heptagonaux congruents constitués d'un côté vert, un bleu et un rouge.
Triangle heptagonal.

En géométrie, le triangle heptagonal est le triangle, unique à similitude près, d'angles de mesures en radians Modèle:Math, Modèle:Math et Modèle:Math, soit environ 26°, 51° et 103°. C'est l'unique triangle dont les angles sont dans des rapports 4:2:1.

On l’obtient dans l'heptagone régulier convexe en partant d'un des sommets et en prenant les deuxième et quatrième sommets. Ses côtés sont donc constitués d'un côté de l'heptagone régulier, et deux de ses diagonales (une longue et une courte).

Comme le triangle d'or, dont les angles sont dans les rapports 2:2:1, le triangle heptagonal a de nombreuses propriétés remarquables.

Le triangle heptagonal et ses centres

Modèle:Article détaillé Le centre du cercle d'Euler du triangle heptagonal est aussi son premier point de Brocard[1]Modèle:Rp. Le second point de Brocard se trouve sur le cercle d'Euler[2]Modèle:Rp.

Le centre du cercle circonscrit et les points de Fermat du triangle heptagonal forment un triangle équilatéral[1]Modèle:Rp.

Modèle:Clr

En notant Modèle:Mvar le rayon du cercle circonscrit et Modèle:Mvar le centre du cercle inscrit, on peut exprimer la distance entre le centre du cercle circonscrit O et l'orthocentre H par[2]Modèle:Rp

OH=R2,

et la distance entre le centre du cercle circonscrit I à l'orthocentre par[2]Modèle:Rp

IH2=R2+4r22.

Les deux tangentes au cercle circonscrit issues de l'orthocentre sont perpendiculaires[2]Modèle:Rp.

Relations entre les distances

Longueurs des côtés

Les côtés du triangle heptagonal Modèle:Math coïncident, par définition, avec le côté de l'heptagone régulier, sa diagonale courte et sa diagonale longue. Ces trois longueurs vérifient[3]Modèle:Rp

a2=c(cb), b2=a(c+a), c2=b(a+b), 1a=1b+1c

(la dernière est connue sous le nom d'Modèle:Lien[2]Modèle:Rp) et donc

ab+ac=bc,

et[3]Modèle:Rp

b3+2b2cbc2c3=0,
c32c2aca2+a3=0,
a32a2bab2+b3=0.

Ainsi, les rapports Modèle:Math, Modèle:Math, et Modèle:Math sont les racines de l'équation cubique

t32t2t+1=0.

Il n'existe aucune expression algébrique réelle pour les solutions de cette équation, car c'est un exemple de Modèle:Lang. On a cependant les approximations

b1,80193a,c2,24698a.

On a aussi[4]Modèle:,[5]

a2bc,b2ca,c2ab

qui vérifient l'équation cubique

t3+4t2+3t1=0.

On a [4]

a3bc2,b3ca2,c3ab2

qui vérifient l'équation cubique

t3t29t+1=0.

On a [4]

a3b2c,b3c2a,c3a2b

qui vérifient l'équation cubique

t3+5t28t+1=0.

On a [2]Modèle:Rp

b2a2=ac, c2b2=ab, a2c2=bc,

et[2]Modèle:Rp

b2a2+c2b2+a2c2=5.

On a aussi[4]

abbc+ca=0,
a3bb3c+c3a=0,
a4b+b4cc4a=0,
a11b3b11c3+c11a3=0.

Modèle:Refnec

ambn±bmcn±cman=0.

Hauteurs

Les hauteurs Modèle:Mvar, Modèle:Mvar et Modèle:Mvar vérifient[2]Modèle:Rp

ha=hb+hc

et

ha2+hb2+hc2=a2+b2+c22[2]Modèle:Rp.

La hauteur pour le côté b (d'angle opposé B) est la moitié de la bissectrice interne Modèle:Mvar de A[2]Modèle:Rp :

2hb=wA.

Ici, l'angle A est le plus petit angle, et B le second plus petit.

Bissectrices internes

Les longueurs des bissectrices internes Modèle:Mvar, Modèle:Mvar et Modèle:Mvar (bissectrices des angles A, B et C respectivement) vérifient[2]Modèle:Rp :

wA=b+c, wB=ca,wC=ba.

Rayons des cercles circonscrit, inscrit et exinscrits

On note Modèle:Mvar le rayon du cercle circonscrit au triangle heptagonal. Son aire vaut alors[6] :

A=74R2.

On a aussi[2]Modèle:RpModèle:,[7]

a2+b2+c2=7R2,a4+b4+c4=21R4,a6+b6+c6=70R6,
1a2+1b2+1c2=2R2,1a4+1b4+1c4=2R4,1a6+1b6+1c6=177R6.

De façon générale, pour tout entier n,

a2n+b2n+c2n=g(n)(2R)2n

avec

g(1)=8,g(0)=3,g(1)=7

et

g(n)=7g(n1)14g(n2)+7g(n3),

on a[7]

2b2a2=7bR,2c2b2=7cR,2a2c2=7aR.

On a aussi[4]

a3c+b3ac3b=7R4,
a4cb4a+c4b=77R5,
a11c3+b11a3c11b3=7317R14.

Le rapport Modèle:Math entre le rayon du cercle inscrit et celui du cercle circonscrit est la racine positive de l'équation cubique[6]

8x3+28x2+14x7=0.

Le rayon du cercle exinscrit au côté Modèle:Mvar est égal au rayon du cercle d'Euler du triangle heptagonal[2]Modèle:Rp.

Triangle orthique

Le triangle orthique du triangle heptagonal, dont les sommets sont les pieds des hauteurs, est semblable au triangle heptagonal, dans le Modèle:Nobr. Le triangle heptagonal est le seul triangle obtusangle qui est semblable à son triangle orthique (le triangle équilatéral est le seul triangle acutangle ayant la même propriété, et ce avec le même rapport de proportionnalité)[2]Modèle:Rp.

Le cercle circonscrit au triangle orthique du triangle heptagonal est le cercle d'Euler du triangle heptagonal.

Modèle:Clr

Trigonométrie

Modèle:Article détaillé Les nombreuses identités trigonométriques associées au triangle heptagonal incluent[2]Modèle:RpModèle:,[6]

A=π7,B=2π7=2A,C=4π7=4A=2B
cosA=b2a,cosB=c2b,cosC=a2c,[4]Modèle:Rp
cosAcosBcosC=18.

Modèle:Démonstration Par différentes méthodes (comme l'utilisation judicieuse de la formule de Moivre), on peut trouver les égalités suivantes :

cos2A+cos2B+cos2C=54,
cos4A+cos4B+cos4C=1316,
cotA+cotB+cotC=7,
cot2A+cot2B+cot2C=5,
csc2A+csc2B+csc2C=8,
csc4A+csc4B+csc4C=32,
sec2A+sec2B+sec2C=24,
sec4A+sec4B+sec4C=416,
sinAsinBsinC=78,
sin2Asin2Bsin2C=764,
sin2A+sin2B+sin2C=74,
sin4A+sin4B+sin4C=2116,
tanAtanBtanC=tanA+tanB+tanC=7,
tan2A+tan2B+tan2C=21.

La racine positive de l'équation cubique[8]Modèle:Rp

x3+x22x1=0

est égale à 2cos2π7.

Avec les sinus

Les racines de l'équation cubique[4]

x372x2+78=0

sont sin(2π7),sin(4π7),sin(8π7).

Les racines de l'équation cubique[2]Modèle:Rp

64y3112y2+56y7=0

sont sin2(π7),sin2(2π7),sin2(4π7).

On a aussi[7] :

sinAsinBsinC=72,
sinAsinBsinBsinC+sinCsinA=0,
sinAsinBsinC=78.

Pour un entier Modèle:Mvar, on pose Modèle:Math. On a alors

n 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
S(n) 3 72 722 72 7324 7724 7525 72727 72528 725729 72929 72137211 7233211 723729 745214 721797215 73131216 7337212 73493218 731817218 7519219
S(-n) 3 0 2Modèle:Exp 23377 2Modèle:Exp 25577 26177 277 29117 21033772 210297 21411772 21226972 213117772 214517 22117773 21723772 2171445773 219220373 2191919773 220585173

Avec les cosinus

Les cosinus aux angles Modèle:Math, Modèle:Math, Modèle:Math sont les racines de l'équation cubique :

x3+12x212x18=0.

Pour un entier Modèle:Mvar, on pose Modèle:Math. On a alors

n 0 1 2 3 4 5 6 7 8 9 10
C(n) 3 12 54 12 1316 12 1932 57128 117256 193512 185512
C(-n) 3 -4 24 -88 416 -1824 8256 -36992 166400 -747520 3359744

Avec les tangentes

Les tangentes aux angles Modèle:Math, Modèle:Math, Modèle:Math sont les racines de l'équation cubique :

x3+7x27x+7=0.

Les carrés des tangentes aux angles Modèle:Math, Modèle:Math, Modèle:Math sont les racines de l'équation cubique :

x321x2+35x7=0.

Pour un entier Modèle:Mvar, on pose Modèle:Math. On a alors

n 0 1 2 3 4 5 6 7 8 9 10
T(n) 3 7 73 317 753 7877 71011 722397 722771 7321197 7253189
T(-n) 3 7 5 2577 19 10377 5637 797 24217 13297772 104357

Formules mixtes

On a aussi[7]Modèle:,[9]

tanA4sinB=7,
tanB4sinC=7,
tanC+4sinA=7.

On a aussi[4]

cot2A=12tanC7,
cot2B=12tanA7,
cot2C=12tanB7.
cosA=12+47sin3C,
cos2A=34+27sin3A,
cotA=37+47cosB,
cot2A=3+87sinA,
cotA=7+87sin2B,
csc3A=67+27tan2C,
secA=2+4cosC,
secA=68sin2B,
secA=4167sin3B,
sin2A=12+12cosB,
sin3A=78+74cosB,

On a aussi[10]

sin3BsinCsin3CsinAsin3AsinB=0,
sinBsin3CsinCsin3AsinAsin3B=724,
sin4BsinCsin4CsinA+sin4AsinB=0,
sinBsin4C+sinCsin4AsinAsin4B=7725,
sin11Bsin3Csin11Csin3Asin11Asin3B=0,
sin3Bsin11Csin3Csin11Asin3Asin11B=7317214.

Identités de type Ramanujan

On peut également obtenir des identités similaires à celles découvertes par Srinivasa Ramanujan[7]Modèle:,[11]

2sin(2π7)3+2sin(4π7)3+2sin(8π7)3=(718)73+6+3(53733+43733)3
12sin(2π7)3+12sin(4π7)3+12sin(8π7)3=(1718)6+3(53733+43733)3
4sin2(2π7)3+4sin2(4π7)3+4sin2(8π7)3=(4918)493+6+3(12+3(493+273)3+11+3(493+273)3)3
14sin2(2π7)3+14sin2(4π7)3+14sin2(8π7)3=(14918)273+6+3(12+3(493+273)3+11+3(493+273)3)3
2cos(2π7)3+2cos(4π7)3+2cos(8π7)3=53733
12cos(2π7)3+12cos(4π7)3+12cos(8π7)3=43733
4cos2(2π7)3+4cos2(4π7)3+4cos2(8π7)3=11+3(273+493)3
14cos2(2π7)3+14cos2(4π7)3+14cos2(8π7)3=12+3(273+493)3
tan(2π7)3+tan(4π7)3+tan(8π7)3=(718)73+6+3(5+3(73493)3+3+3(73493)3)3
1tan(2π7)3+1tan(4π7)3+1tan(8π7)3=(1718)493+6+3(5+3(73493)3+3+3(73493)3)3
tan2(2π7)3+tan2(4π7)3+tan2(8π7)3=(4918)3493+6+3(89+3(3493+573)3+25+3(3493+573)3)3
1tan2(2π7)3+1tan2(4π7)3+1tan2(8π7)3=(14918)573+6+3(89+3(3493+573)3+25+3(3493+573)3)3

On a aussi[10]

cos(2π7)/cos(4π7)3+cos(4π7)/cos(8π7)3+cos(8π7)/cos(2π7)3=73.
cos(4π7)/cos(2π7)3+cos(8π7)/cos(4π7)3+cos(2π7)/cos(8π7)3=0.
2sin(2π7)3+2sin(4π7)3+2sin(8π7)3=(718)73+6+3(53733+43733)3
cos4(4π7)/cos(2π7)3+cos4(8π7)/cos(4π7)3+cos4(2π7)/cos(8π7)3=493/2.
cos5(2π7)/cos2(4π7)3+cos5(4π7)/cos2(8π7)3+cos5(8π7)/cos2(2π7)3=0.
cos5(4π7)/cos2(2π7)3+cos5(8π7)/cos2(4π7)3+cos5(2π7)/cos2(8π7)3=373/2.
cos14(2π7)/cos5(4π7)3+cos14(4π7)/cos5(8π7)3+cos14(8π7)/cos5(2π7)3=0.
cos14(4π7)/cos5(2π7)3+cos14(8π7)/cos5(4π7)3+cos14(2π7)/cos5(8π7)3=6173/8.

Notes et références

Modèle:Traduction/Référence Modèle:Références

Modèle:Portail