Quadrilatère bicentrique

Un article de Wikipédia, l'encyclopédie libre.
Porisme de Poncelet pour les quadrilatères bicentriques ABCD et EFGH.

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[modifier | modifier le code]

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[modifier | modifier le code]

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

Un quadrilatère convexe ABCD de côtés a, b, c, d 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,

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 ABCD est tangent aux côtés en W, X, Y, Z respectivement, alors ABCD est également inscriptible si et seulement si l'une des trois conditions suivantes est réalisée :

  • WY est perpendiculaire à XZ
  • (Théorème de Mowaffaq Hajja[4],[5]).

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

Si E, F, G, H sont respectivement les milieux de , alors le quadrilatère circonscriptible ABCD est aussi inscriptible si et seulement si le quadrilatère EFGH est un rectangle.

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

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

Construction[modifier | modifier le code]

Un quadrilatère bicentrique ABCD avec le quadrilatère de contact WXYZ . Animation : voir ici

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

On commence par le cercle inscrit Cr de centre I et de rayon r, puis on trace deux cordes perpendiculaires [WY] et [XZ] de ce cercle. À leurs extrémités, on trace les tangentes a, b, c, d au cercle inscrit. Celles-ci se coupent en quatre points A, B, C, D, qui sont les sommets d'un quadrilatère bicentrique[7]. Pour tracer le cercle circonscrit, on trace les deux médiatrices p1, p2 des côtés a, b du quadrilatère bicentrique, Elles se coupent au centre O du cercle circonscrit CR , à la distance x du centre I du cercle inscrit Cr . Le cercle circonscrit peut être tracé à partir de son centre O.

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

Aire[modifier | modifier le code]

Formules d'aire en fonction de quatre paramètres[modifier | modifier le code]

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

  • Si les côtés sont de longueurs a, b, c, d, l'aire est donnée par[9],[10],[11]

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 à abcd. 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 e, f, g, h[13] :p.128 :
  • Une autre formule pour l'aire du quadrilatère bicentrique ABCD de centre de cercle inscrit I est :
  • En fonction des longueurs k, l des cordes joignant les points de contact et des longueurs p, q des diagonales, l'aire est donnée par[13]:p.129:
  • Si m, n sont les longueurs des bimédianes du quadrilatère et k, l définis précédemment, l'aire est

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 M, N sont les milieux des diagonales et E, F les points d'intersection des extensions des côtés opposés, l'aire est donnée par

I est le centre du cercle inscrit.

Formules en fonction de trois paramètres[modifier | modifier le code]

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

En fonction de deux angles adjacents et du rayon r du cercle inscrit, l'aire est donnée par

L'aire est donnée en fonction du rayon du cercle circonscrit R et de celui du cercle inscrit r par

θ est l'un ou l'autre des angles entre les diagonales.

Si M, N sont les milieux des diagonales et E, F sont les points d'intersection des extensions des côtés opposés, alors l'aire peut également être exprimée par

Q est le pied de la perpendiculaire à la droite (EF) passant par le centre du cercle inscrit.

Inégalités[modifier | modifier le code]

Si r et R sont respectivement le rayon du cercle inscrit et celui du cercle circonscrit, alors l'aire S vérifie les inégalités[14]

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] :p.39,#1203

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

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

De plus, notant p le demi-périmètre[15]:p.39,#1203 :

[15]:p.39,#1203

Formules d'angles[modifier | modifier le code]

Si a, b, c, d sont respectivement les longueurs des côtés d'un quadrilatère bicentrique ABCD, ses angles aux sommets s'expriment à l'aide de la fonction tangente :

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

L'angle θ entre les diagonales peut être calculé à partir de[10]

Rayon des cercles inscrit et circonscrit[modifier | modifier le code]

Le rayon du cercle inscrit r d'un quadrilatère bicentrique est déterminé par les côtés a, b, c, d par[9]

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

Le rayon du cercle inscrit peut également être exprimé en fonction des quatre distances des points de contact aux sommets e, f, g, h par[16] :p. 41

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

Les quatre côtés a, b, c, d d'un quadrilatère bicentrique sont les quatre solutions de l'équation de degré 4

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

S'il existe un quadrilatère bicentrique de rayon r dont les quatre distances des points de contact aux sommets sont e, f, g, h, alors il existe un quadrilatère bicentrique de rayon rv dont les distances de contact sont ev, fv, gv, hvv est un nombre réel quelconque[18]:pp.9–10.

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]:pp.392–393.

Inégalités[modifier | modifier le code]

Le rayon du cercle circonscrit R et celui du cercle inscrit r satisfont à l'inégalité

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] :p. 141

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

Le demi-périmètre p d'un quadrilatère bicentrique satisfait[18] :p.13

De plus[15], :p.39,#1203

et[15]:p.62,#1599

Distance entre les centres du cercle inscrit et du cercle circonscrit[modifier | modifier le code]

Un quadrilatère bicentrique ABCD de centre du cercle inscrit I et de centre du cercle circonscrit O.

Théorème de Fuss[modifier | modifier le code]

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

ou de manière équivalente

,
ou encore .

Elle a été établie par Nicolas Fuss (1755–1826) en 1792. La résolution en x donne

Par exemple, pour , .

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 R et r et de distance x 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 dans l'expression de la relation de Fuss est une autre façon d'obtenir l'inégalité mentionnée ci-dessus Une généralisation est[18] :p.5

Identité de Carlitz[modifier | modifier le code]

Une autre formule pour la distance x 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]

avec

a, b, c, d sont les longueurs des côtés du quadrilatère bicentrique.

Inégalités[modifier | modifier le code]

Les longueurs e, f, g, h vérifient les inégalités suivantes[18] :p.3:

et

Les longueurs des côtés a, b, c, d vérifient les inégalités[18] :p.5 :

et

Autres propriétés du centre du cercle inscrit[modifier | modifier le code]

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 I et les sommets d'un quadrilatère bicentrique ABCD[25] :

Si P est le point d'intersection des diagonales d'un quadrilatère bicentrique ABCD de centre I, alors[26]

Une inégalité concernant les rayons du cercle inscrit r et celui du cercle circonscrit R dans un quadrilatère bicentrique ABCD est[27]

Propriétés des diagonales[modifier | modifier le code]

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 p, q, on a de plus l'identité suivante[11] :

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

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

Une inégalité pour le produit des diagonales p, q dans un quadrilatère bicentrique est[14].

a, b, c, d sont les longueurs des côtés. Cela a été prouvé par Murray S. Klamkin en 1967.

Quatre centres de cercles inscrits sont cocycliques[modifier | modifier le code]

Illustration du résultat de Zaslavsky

Dans un quadrilatère bicentrique ABCD de centre de cercle circonscrit O, les centres des cercles inscrits dans les quatre triangles OAB, OBC, OCD, ODA sont cocycliques[28].

Articles connexes[modifier | modifier le code]

Références[modifier | modifier le code]

  1. a et b Heinrich Dörrie, 100 Great Problems of Elementary Mathematics: Their History and Solutions, New York, Dover, (ISBN 978-0-486-61348-2), p. 188–193.
  2. Gangsong Leng, Geometric Inequalities: In Mathematical Olympiad and Competitions, Shanghai, East China Normal University Press, , 22 p. (ISBN 978-981-4704-13-7).
  3. (en) Eric W. Weisstein, « Poncelet Transverse », sur MathWorld.
  4. (en) Mowaffaq Hajja, « A Condition for a Circumscriptible Quadrilateral to be Cyclic », Forum Geometricorum, vol. 8,‎ , p. 103–106 (lire en ligne)
  5. Mohammed AASSILA, 1000 challenges mathématiques, géométrie, Ellipses, , p. 404
  6. a et b Frère Gabriel Marie, Exercices de géométrie, comprenant l'exposé des méthodes géométriques et 2000 questions résolues, (lire en ligne), p. 319-320, théorème 159, paragraphe 749
  7. Claudi Alsina et Roger Nelsen, Icons of Mathematics. An exploration of twenty key images, Mathematical Association of America, , 125–126 p. (ISBN 978-0-88385-352-8)
  8. Jean-Pierre Boudine, L'appel des maths, t. 2, Cassini, p. 173-174,195
  9. a b et c (en) Eric W. Weisstein, « Bicentric Quadrilateral », sur MathWorld.
  10. a et b Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.
  11. a b et c Yiu, Paul, Euclidean Geometry, [1], 1998, pp. 158-164.
  12. Lord, Nick, "Quadrilaterals with area formula ", Mathematical Gazette 96, July 2012, 345-347.
  13. a et b (en) Martin Josefsson, « Calculations Concerning the Tangent Lengths and Tangency Chords of a Tangential Quadrilateral », Forum Geometricorum,‎ , p. 119-130 (lire en ligne)
  14. a et b Claudi Alsina et Roger Nelsen, When less is more: visualizing basic inequalities, Mathematical Association of America, , 64–66 (ISBN 978-0-88385-342-9, lire en ligne Accès limité)
  15. a b c d et e 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. a b c d e et f Radic, Mirko, "Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons", Journal of Inequalities in Pure and Applied Mathematics, Volume 6, Issue 1, 2005,
  19. (en) Albrecht Hess, « On a Circle Containing the Incenters of Tangential Quadrilaterals », Forum Geometricorum,‎ , p. 389–396 (lire en ligne)
  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. (en) Mgr. Barbora Stastna, « Fuss’ Problem of the Chord-Tangent Quadrilateral », (consulté le )
  22. Mohammed AASSILA, 1000 challenges mathématiques, géométrie, Ellipses, , p. 401-402
  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. (en) Alexey A. Zaslavsky, « One property of bicentral quadrilaterals »,