$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Théorème japonais de Carnot

Théorème : Soit $ABC$ un triangle. Alors la somme des distances signées du centre du cercle circonscrit aux 3 côtés du triangle est égale à la somme du rayon du cercle circonscrit et du rayon du cercle inscrit.

Ici, le terme "distance signée" signifie qu'il faut considérer l'opposé de la distance si le segment est entièrement à l'extérieur du triangle, la distance sinon.

$$GD+GE+GF=R+r.$$
Ce théorème de Lazare Carnot, démontré en 1803, est qualifié de "japonais" car il permet de résoudre un Sangaku proposé en 1800 par le japonais Ryokan Maruyama. Les Sangaku sont des énigmes géométriques japonaises de géométrie euclidienne gravées sur des tablettes de bois. L'énigme dont il est question concerne les triangulations de polygones. Le théorème japonais de Carnot permet en effet de démontrer qu'un polygone est inscriptible dans un cercle si et seulement si, quelque que soit la triangulation de ce polygone, la somme des rayons des cercles inscrits aux triangles apparaissant dans la triangulation est constante. Par exemple, dans la figure suivante, la somme des rayons des cercles rouges est égale à la somme des rayons des cercles bleus.
Consulter aussi...
Recherche alphabétique
Recherche thématique