Quadrilatère bicentrique

De testwiki
Version datée du 5 mars 2025 à 21:49 par imported>Robert FERREOL (Inégalités : bon lien)
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche
Porisme de Poncelet pour les quadrilatères bicentriques Modèle:Mvar et Modèle:Mvar.

En géométrie euclidienne, un quadrilatère bicentrique est un quadrilatère convexe possédant à la fois un cercle inscrit (tangent à ses quatre côtés) et un cercle circonscrit (passant par ses quatre sommets). Il découle de cette définition que les quadrilatères bicentriques ont les propriétés des quadrilatères circonscriptibles et celles des quadrilatères inscriptibles. Les autres appellations de ces quadrilatères sont "quadrilatères tangents à la corde"[1] et "quadrilatères inscrits et circonscrits". Ils sont aussi plus rarement appelés quadrilatères à double cercle ou quadrilatères à double inscription[2].

Si deux cercles, l'un dans l'autre, sont le cercle inscrit et le cercle circonscrit d'un quadrilatère bicentrique, alors chaque point du cercle circonscrit est le sommet d'un quadrilatère bicentrique ayant le même cercle inscrit et le même cercle circonscrit[3]. Il s'agit d'un cas particulier du porisme de Poncelet, qui a été démontré par le mathématicien français Jean-Victor Poncelet (1788-1867).

Cas particuliers

Un cerf-volant droit.

Des exemples de quadrilatères bicentriques sont donnés par les carrés (cas où les deux centres sont confondus), les cerfs-volants droits et les trapèzes circonscriptibles isocèles.

Caractérisations

Un quadrilatère bicentrique ABCD et son quadrilatère de contact WXYZ

Un quadrilatère convexe Modèle:Mvar de côtés Modèle:Mvar est bicentrique si et seulement si ses côtés opposés vérifient le théorème de Pitot pour les quadrilatères circonscriptibles et la propriété des quadrilatères inscriptible d'avoir des angles opposés supplémentaires ; soit,

{a+c=b+dA^+C^=B^+D^=π.

Trois autres caractérisations concernent les points de contact du cercle inscrit avec les côtés. Si le cercle inscrit du quadrilatère circonscriptible Modèle:Mvar est tangent aux côtés [AB],[BC],[CD],[DA] en Modèle:Mvar respectivement, alors Modèle:Mvar est également inscriptible si et seulement si l'une des trois conditions suivantes est réalisée :

La première de ces trois conditions équivaut au fait que le quadrilatère de contact Modèle:Mvar soit orthodiagonal[6].

Si Modèle:Mvar sont respectivement les milieux de [WX],[XY],[YZ],[ZW], alors le quadrilatère circonscriptible Modèle:Mvar est aussi inscriptible si et seulement si le quadrilatère Modèle:Mvar est un rectangle.

Selon une autre caractérisation, si Modèle:Mvar est le centre d'un quadrilatère circonscriptible et les prolongements des côtés opposés se coupent en Modèle:Mvar et Modèle:Mvar, le quadrilatère est aussi inscriptible si et seulement si l'angle JIK^ est droit.

Enfin, une autre condition nécessaire et suffisante pour qu'un quadrilatère circonscriptible Modèle:Mvar soit inscriptible est que sa droite de Newton soit perpendiculaire à la droite de Newton de son quadrilatère de contact Modèle:Mvar . (La droite de Newton d'un quadrilatère est la droite passant par les milieux des diagonales.)

Construction

Un quadrilatère bicentrique Modèle:Mvar avec le quadrilatère de contact Modèle:Mvar . Animation : voir ici

Il existe une méthode simple pour construire un quadrilatère bicentrique :

On commence par le cercle inscrit Modèle:Mvar de centre Modèle:Mvar et de rayon Modèle:Mvar, puis on trace deux cordes perpendiculaires [[[:Modèle:Mvar]]] et [[[:Modèle:Mvar]]] de ce cercle. À leurs extrémités, on trace les tangentes Modèle:Mvar au cercle inscrit. Celles-ci se coupent en quatre points Modèle:Mvar, qui sont les sommets d'un quadrilatère bicentrique[7]. Pour tracer le cercle circonscrit, on trace les deux médiatrices Modèle:Formule des côtés Modèle:Mvar, Modèle:Mvar du quadrilatère bicentrique, Elles se coupent au centre Modèle:Mvar du cercle circonscrit Modèle:Mvar , à la distance Modèle:Mvar du centre Modèle:Mvar du cercle inscrit Modèle:Mvar . Le cercle circonscrit peut être tracé à partir de son centre Modèle:Mvar.

La validité de cette construction repose sur le fait que dans un quadrilatère circonscriptible Modèle:Mvar, le quadrilatère de contact Modèle:Mvar a ses diagonales perpendiculaires si et seulement si le quadrilatère circonscriptible est aussi inscriptible[6]Modèle:,[8].

Aire

Formules d'aire en fonction de quatre paramètres

L'aire Modèle:Mvar d'un quadrilatère bicentrique peut être exprimée en fonction de quatre paramètres du quadrilatère de plusieurs manières différentes.

S=abcd.

C'est un cas particulier de la formule de Brahmagupta. Cette formule peut également être obtenue directement à partir de la formule trigonométrique de l'aire d'un quadrilatère circonscriptible. Il faut remarquer que l'inverse n'est pas vrai : certains quadrilatères non bicentriques ont également une aire égale à Modèle:Math. Le rectangle non carré constitue un exemple d'un tel quadrilatère[12].

  • L'aire peut également être exprimée à partir des quatre distances des points de contact aux sommets Modèle:Mvar[13] Modèle:Rp :
S=efgh4(e+f+g+h).
S=AICI+BIDI.
S=klpqk2+l2.
S=|m2n2k2l2|kl

Cette formule ne peut pas être utilisée si le quadrilatère est un cerf-volant droit, le dénominateur étant nul dans ce cas.

  • Si Modèle:Mvar sont les milieux des diagonales et Modèle:Mvar les points d'intersection des extensions des côtés opposés, l'aire est donnée par
S=2MNEIFIEF

Modèle:Mvar est le centre du cercle inscrit.

Formules en fonction de trois paramètres

L'aire d'un quadrilatère bicentrique peut être exprimée en fonction de deux côtés opposés et de l'angle Modèle:Mvar entre les diagonales par

S=actanθ2=bdcotθ2.

En fonction de deux angles adjacents et du rayon Modèle:Mvar du cercle inscrit, l'aire est donnée par

S=2r2(1sinA+1sinB).

L'aire est donnée en fonction du rayon du cercle circonscrit Modèle:Mvar et de celui du cercle inscrit Modèle:Mvar par

S=r(r+4R2+r2)sinθ

Modèle:Mvar est l'un ou l'autre des angles entre les diagonales.

Si Modèle:Mvar sont les milieux des diagonales et Modèle:Mvar sont les points d'intersection des extensions des côtés opposés, alors l'aire peut également être exprimée par

S=2MNEQFQ

Modèle:Mvar est le pied de la perpendiculaire à la droite (Modèle:Mvar) passant par le centre du cercle inscrit.

Inégalités

Si Modèle:Mvar et Modèle:Mvar sont respectivement le rayon du cercle inscrit et celui du cercle circonscrit, alors l'aire Modèle:Mvar vérifie les inégalités[14]

4r2S2R2.

Il n'y a égalité de part et d'autre que si le quadrilatère est un carré.

Une autre inégalité pour l'aire est[15] Modèle:Rp

S43r4R2+r2

Une inégalité similaire donnant une borne supérieure plus nette pour l'aire que la précédente est

Sr(r+4R2+r2)

avec égalité si et seulement si le quadrilatère est un cerf-volant droit.

De plus, notant Modèle:Mvar le demi-périmètre[15]Modèle:Rp :

2Spr+r2+4R2;
6Sab+ac+ad+bc+bd+cd4r2+4R2+4rr2+4R2;[15]Modèle:Rp
4Sr2abcd169r2(r2+4R2).

Formules d'angles

Si Modèle:Mvar sont respectivement les longueurs des côtés [AB],[BC],[CD],[DA] d'un quadrilatère bicentrique Modèle:Mvar, ses angles aux sommets s'expriment à l'aide de la fonction tangente :

tanA2=cotC2=bcad,tanB2=cotD2=cdab.

En utilisant les mêmes notations, à l'aide des fonctions sinus et cosinus, on obtient :

sinA2=cosC2=bcad+bc,cosA2=sinC2=adad+bc,sinB2=cosD2=cdab+cd,cosB2=sinD2=abab+cd.

L'angle Modèle:Mvar entre les diagonales peut être calculé à partir de[10]

tanθ2=bdac.

Rayon des cercles inscrit et circonscrit

Le rayon du cercle inscrit Modèle:Mvar d'un quadrilatère bicentrique est déterminé par les côtés Modèle:Mvar par[9]

r=abcda+c=abcdb+d.

Le rayon du cercle circonscrit Modèle:Mvar est donné comme un cas particulier de la formule de Parameshvara[9]:

R=14(ab+cd)(ac+bd)(ad+bc)abcd.

Le rayon du cercle inscrit peut également être exprimé en fonction des quatre distances des points de contact aux sommets Modèle:Mvar par[16] Modèle:Rp

r=eg=fh.

Ces deux formules sont en fait des conditions nécessaires et suffisantes pour qu'un quadrilatère circonscriptible de rayon Modèle:Mvar soit inscriptible.

Les quatre côtés Modèle:Mvar d'un quadrilatère bicentrique sont les quatre solutions de l'équation de degré 4

y42sy3+(p2+2r2+2r4R2+r2)y22rp(4R2+r2+r)y+r2p2=0

Modèle:Mvar est le demi-périmètre, et Modèle:Mvar et Modèle:Mvar sont respectivement les rayons des cercles inscrit et circonscrit[17] Modèle:Rp.

S'il existe un quadrilatère bicentrique de rayon Modèle:Mvar dont les quatre distances des points de contact aux sommets sont Modèle:Mvar, alors il existe un quadrilatère bicentrique de rayon Modèle:Mvar dont les distances de contact sont Modèle:MathModèle:Mvar est un nombre réel quelconque[18]Modèle:Rp.

Un quadrilatère bicentrique a un rayon de cercle inscrit plus grand que tout autre quadrilatère circonscriptible ayant la même suite de longueurs de côtés[19]Modèle:Rp.

Inégalités

Le rayon du cercle circonscrit Modèle:Mvar et celui du cercle inscrit Modèle:Mvar satisfont à l'inégalité

R2r

qui a été prouvé par L. Fejes Tóth en 1948[18]. L'égalité n'est atteinte que lorsque les deux cercles sont concentriques (ont le même centre), soit lorsque le quadrilatère est un carré. L'inégalité peut être prouvée de plusieurs manières différentes, l'une utilisant la double inégalité pour l'aire vue ci-dessus.

Une extension de l'inégalité précédente est[20] Modèle:Rp

r2R12(sinA2cosB2+sinB2cosC2+sinC2cosD2+sinD2cosA2)1

où il y a égalité de chaque côté si et seulement si le quadrilatère est un carré. Modèle:Rp

Le demi-périmètre Modèle:Mvar d'un quadrilatère bicentrique satisfait[18] Modèle:Rp

8r(4R2+r2r)p4R2+r2+r

De plus[15], Modèle:Rp

2pr2abc+abd+acd+bcd2r(r+r2+4R2)2

et[15]Modèle:Rp

abc+abd+acd+bcd2S(S+2R2).

Distance entre les centres du cercle inscrit et du cercle circonscrit

Un quadrilatère bicentrique Modèle:Mvar de centre du cercle inscrit I et de centre du cercle circonscrit O.

Théorème de Fuss

Le théorème de Fuss donne une relation entre le rayon du cercle inscrit Modèle:Mvar, le rayon du cercle circonscrit Modèle:Mvar et la distance Modèle:Mvar entre le centre du cercle inscrit Modèle:Mvar et le centre du cercle circonscrit Modèle:Mvar, pour tout quadrilatère bicentrique. La relation de Fuss est[1]Modèle:,[11]Modèle:,[21]

1(Rx)2+1(R+x)2=1r2,

ou de manière équivalente

2r2(R2+x2)=(R2x2)2,
ou encore (R+r+x)(R+rx)(Rr+x)(Rrx)=r4.

Elle a été établie par Nicolas Fuss (1755–1826) en 1792. La résolution en Modèle:Mvar donne

x=R2+r2r4R2+r2.

Par exemple, pour R/r=2, x/r=5170,93.

La relation de Fuss, qui est l'analogue de la relation d'Euler dans le triangle pour le quadrilatère bicentrique, dit que si un quadrilatère est bicentrique, ses deux cercles associés sont liés par cette relation. En fait, la réciproque est également vraie : étant donné deux cercles (l'un dans l'autre) de rayons Modèle:Mvar et Modèle:Mvar et de distance Modèle:Mvar entre leurs centres satisfaisant la condition du théorème de Fuss, il existe un quadrilatère convexe inscrit dans l'un d'eux et tangent à l'autre (puis, par le grand théorème de Poncelet, il en existe une infinité)[22].

Il existe des relations similaires pour les polygones bicentriques quelconques.

Écrire x20 dans l'expression de la relation de Fuss est une autre façon d'obtenir l'inégalité mentionnée ci-dessus R2r. Une généralisation est[18] Modèle:Rp

2r2+x2R22r2+x2+2rx.

Identité de Carlitz

Une autre formule pour la distance Modèle:Mvar entre les centres du cercle inscrit et du cercle circonscrit est due au mathématicien américain Leonard Carlitz (1907–1999). Il obtient que[23]

x2=R22Rrμ

avec

μ=(ab+cd)(ad+bc)(a+c)2(ac+bd)=(ab+cd)(ad+bc)(b+d)2(ac+bd)

Modèle:Mvar sont les longueurs des côtés du quadrilatère bicentrique.

Inégalités

Les longueurs Modèle:Mvar vérifient les inégalités suivantes[18] Modèle:Rp:

4re+f+g+h4rR2+x2R2x2

et

4r2e2+f2+g2+h24(R2+x2r2)

Les longueurs des côtés Modèle:Mvar vérifient les inégalités[18] Modèle:Rp :

8ra+b+c+d8rR2+x2R2x2

et

4(R2x2+2r2)a2+b2+c2+d24(3R22r2).

Autres propriétés du centre du cercle inscrit

Le centre du cercle circonscrit, le centre du centre inscrit et le point d'intersection des diagonales d'un quadrilatère bicentrique sont alignés[24].

On a l'égalité suivante reliant les quatre distances entre le centre Modèle:Mvar et les sommets d'un quadrilatère bicentrique Modèle:Mvar[25] :

1AI2+1CI2=1BI2+1DI2=1r2

Si Modèle:Mvar est le point d'intersection des diagonales d'un quadrilatère bicentrique Modèle:Mvar de centre Modèle:Mvar, alors[26]

APCP=AI2CI2.

Une inégalité concernant les rayons du cercle inscrit Modèle:Mvar et celui du cercle circonscrit Modèle:Mvar dans un quadrilatère bicentrique Modèle:Mvar est[27]

4r2AICI+BIDI2R2

Propriétés des diagonales

Les longueurs des diagonales dans un quadrilatère bicentrique peuvent être exprimées en fonction des côtés ou des distances des points de contact aux sommets (formules valables respectivement dans un quadrilatère inscriptible et un quadrilatère circonscriptible).

Dans un quadrilatère bicentrique de diagonales de longueurs Modèle:Mvar, on a de plus l'identité suivante[11] :

pq4r24R2pq=1

Cette égalité peut être réécrite en

r=pq2pq+4R2

ou, en la résolvant comme une équation du second degré en le produit des diagonales, sous la forme

pq=2r(r+4R2+r2).

Une inégalité pour le produit des diagonales Modèle:Mvar dans un quadrilatère bicentrique est[14].

8pq(a+b+c+d)2

Modèle:Mvar sont les longueurs des côtés. Cela a été prouvé par Murray S. Klamkin en 1967.

Quatre centres de cercles inscrits sont cocycliques

Illustration du résultat de Zaslavsky

Dans un quadrilatère bicentrique Modèle:Mvar de centre de cercle circonscrit Modèle:Mvar, les centres des cercles inscrits dans les quatre triangles Modèle:Formule sont cocycliques[28].

Modèle:Clr

Articles connexes

Références

Modèle:Traduction/Référence Modèle:RéférencesModèle:Palette PolygonesModèle:Portail

  1. 1,0 et 1,1 Modèle:Ouvrage.
  2. Modèle:Ouvrage.
  3. Modèle:Mathworld.
  4. Modèle:Article
  5. Modèle:Ouvrage
  6. 6,0 et 6,1 Modèle:Ouvrage
  7. Modèle:Ouvrage
  8. Modèle:Ouvrage
  9. 9,0 9,1 et 9,2 Modèle:Mathworld.
  10. 10,0 et 10,1 Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.
  11. 11,0 11,1 et 11,2 Yiu, Paul, Euclidean Geometry, [1], 1998, pp. 158-164.
  12. Lord, Nick, "Quadrilaterals with area formula K=abcd.", Mathematical Gazette 96, July 2012, 345-347.
  13. 13,0 et 13,1 Modèle:Article
  14. 14,0 et 14,1 Modèle:Ouvrage
  15. 15,0 15,1 15,2 15,3 et 15,4 Inequalities proposed in Crux Mathematicorum, 2007.
  16. M. Radic, Z. Kaliman, and V. Kadum, "A condition that a tangential quadrilateral is also a chordal one", Mathematical Communications, 12 (2007) 33–52.
  17. Pop, Ovidiu T., "Identities and inequalities in a quadrilateral", Octogon Mathematical Magazine, Vol. 17, No. 2, October 2009, pp 754-763.
  18. 18,0 18,1 18,2 18,3 18,4 et 18,5 Radic, Mirko, "Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons", Journal of Inequalities in Pure and Applied Mathematics, Volume 6, Issue 1, 2005,
  19. Modèle:Article
  20. Shattuck, Mark, “A Geometric Inequality for Cyclic Quadrilaterals”, Forum Geometricorum 18, 2018, 141-154. This paper also gives various inequalities in terms of the arc lengths subtended by a cyclic quadrilateral’s sides.
  21. Modèle:Lien web
  22. Modèle:Ouvrage
  23. Calin, Ovidiu, Euclidean and Non-Euclidean Geometry a metric approach, pp. 153–158.
  24. Bogomolny, Alex, Collinearity in Bicentric Quadrilaterals, 2004.
  25. L. V. Nagarajan, Bi-centric Polygons, 2014, .
  26. Crux Mathematicorum 34 (2008) no 4, p. 242.
  27. Post at Art of Problem Solving, 2009
  28. Modèle:Lien web