Quadrilatère bicentrique

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

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 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,
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 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 :
- Modèle:Mvar est perpendiculaire à Modèle:Mvar
- (Théorème de Mowaffaq Hajja[4]Modèle:,[5]).
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 , 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 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

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.
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 :
- Une autre formule pour l'aire du quadrilatère bicentrique Modèle:Mvar de centre de cercle inscrit Modèle:Mvar est :
- En fonction des longueurs Modèle:Mvar des cordes joignant les points de contact et des longueurs Modèle:Mvar des diagonales, l'aire est donnée par[13]Modèle:Rp:
- Si Modèle:Mvar sont les longueurs des bimédianes du quadrilatère et Modèle:Mvar 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 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
où 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
En fonction de deux angles adjacents et du rayon Modèle:Mvar du cercle inscrit, l'aire est donnée par
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
où 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
où 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]
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
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 Modèle:Mvar le demi-périmètre[15]Modèle:Rp :
Formules d'angles
Si Modèle:Mvar sont respectivement les longueurs des côtés d'un quadrilatère bicentrique Modèle:Mvar, 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 Modèle:Mvar entre les diagonales peut être calculé à partir de[10]
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]
Le rayon du cercle circonscrit Modèle:Mvar 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 Modèle:Mvar par[16] Modèle:Rp
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
où 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:Math où Modè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é
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
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
Distance entre les centres du cercle inscrit et du cercle circonscrit

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]
ou de manière équivalente
- ,
- ou encore .
Elle a été établie par Nicolas Fuss (1755–1826) en 1792. La résolution en Modèle:Mvar 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 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 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] Modèle:Rp
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]
avec
où 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:
et
Les longueurs des côtés Modèle:Mvar vérifient les inégalités[18] Modèle:Rp :
et
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] :
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]
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]
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] :
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 Modèle:Mvar dans un quadrilatère bicentrique est[14].
où 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

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].
Articles connexes
Références
Modèle:Traduction/Référence Modèle:RéférencesModèle:Palette PolygonesModèle:Portail
- ↑ 1,0 et 1,1 Modèle:Ouvrage.
- ↑ Modèle:Ouvrage.
- ↑ Modèle:Mathworld.
- ↑ Modèle:Article
- ↑ Modèle:Ouvrage
- ↑ 6,0 et 6,1 Modèle:Ouvrage
- ↑ Modèle:Ouvrage
- ↑ Modèle:Ouvrage
- ↑ 9,0 9,1 et 9,2 Modèle:Mathworld.
- ↑ 10,0 et 10,1 Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.
- ↑ 11,0 11,1 et 11,2 Yiu, Paul, Euclidean Geometry, [1], 1998, pp. 158-164.
- ↑ Lord, Nick, "Quadrilaterals with area formula ", Mathematical Gazette 96, July 2012, 345-347.
- ↑ 13,0 et 13,1 Modèle:Article
- ↑ 14,0 et 14,1 Modèle:Ouvrage
- ↑ 15,0 15,1 15,2 15,3 et 15,4 Inequalities proposed in Crux Mathematicorum, 2007.
- ↑ M. Radic, Z. Kaliman, and V. Kadum, "A condition that a tangential quadrilateral is also a chordal one", Mathematical Communications, 12 (2007) 33–52.
- ↑ Pop, Ovidiu T., "Identities and inequalities in a quadrilateral", Octogon Mathematical Magazine, Vol. 17, No. 2, October 2009, pp 754-763.
- ↑ 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,
- ↑ Modèle:Article
- ↑ 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.
- ↑ Modèle:Lien web
- ↑ Modèle:Ouvrage
- ↑ Calin, Ovidiu, Euclidean and Non-Euclidean Geometry a metric approach, pp. 153–158.
- ↑ Bogomolny, Alex, Collinearity in Bicentric Quadrilaterals, 2004.
- ↑ L. V. Nagarajan, Bi-centric Polygons, 2014, .
- ↑ Crux Mathematicorum 34 (2008) no 4, p. 242.
- ↑ Post at Art of Problem Solving, 2009
- ↑ Modèle:Lien web