Théorème japonais pour les quadrilatères inscriptibles

thumb|upright=1.5|Quadrilatère inscrit dans un cercle En géométrie, le théorème japonais pour les quadrilatères dit que les centres des cercles inscrits des triangles d'un quadrilatère inscriptible sont les sommets d'un rectangle. En traçant les diagonales du quadrilatère, on obtient quatre triangles (chaque diagonale crée deux triangles). Les centres des cercles inscrits dans ces triangles forment un rectangle. Soit un quadrilatère inscriptible quelconque et soient les centres respectifs des cercles inscrits dans les triangles . Alors le quadrilatère est un rectangle. Principe de la démonstration La démonstration s'appuie sur deux propriétés sur les angles : Dans un triangle ABC dont le centre du cercle inscrit est O, l'angle BOC est égal à la moitié de l'angle BAC augmenté d'un angle droit, La propriété des angles inscrits pour des points cocycliques On démontre alors que les points et sont cocycliques, ainsi que et , etc. On prouve alors que l'angle est droit en l'écrivant à l'aide des angles et . Prolongement Ce théorème est une étape dans la démonstration d'un théorème plus général, concernant les rayons des cercles inscrits, le théorème japonais qui stipule dans le cadre de ce quadrilatère, que la somme des rayons des cercles inscrits de centre et est égale à la somme des rayons des cercles inscrits de centres et . Pour prouver le cas des quadrilatères inscriptibles, il faut construire le parallélogramme dont les côtés passent par les sommets du rectangle tout en étant parallèles aux diagonales du quadrilatère. On démontre alors que le parallélogramme obtenu est un losange, en se servant des angles alternes-internes et de la cocyclicité des points et , etc. Les distances entre les côtés opposés de ce losange sont donc égales, ce qui revient à dire que la somme des rayons des cercles inscrits tangents à chaque diagonale sont égaux. Le cas du quadrilatère prouve immédiatement le cas général par la triangulation d'un polygone.