# Théorème de Holditch

En géométrie plane, le théorème de Holditch affirme que si une corde de longueur fixe glisse le long d'une courbe fermée convexe, alors le domaine de Holditch délimité par la courbe de départ et le lieu géométrique tracé par un point de la corde situé à une distance $a$ d'une extrémité et $b$ de l'autre (la courbe de Holditch, supposée sans point double) a pour aire la valeur remarquable $\pi ab$, indépendante à la fois de la forme et de la longueur de la courbe de départ.
En particulier, si le point traceur est situé en milieu de corde, l'aire du domaine de Holditch est égale à l'aire du disque de diamètre la corde.
Le théorème a été publié en 1858 par le révérend Hamnet Holditch, président du Caius College, à Cambridge.
Pour Clifford Pickover, ce théorème fait partie des 250 évènements marquants de l'histoire des mathématiques.

## Illustrations

* Illustration du théorème de Holditch dans le cas d'une courbe extérieure elliptique. On remarque que la courbe de Holditch n'est pas convexe.
* La trajectoire d'un point de ce wagon est une courbe de Holditch associée à la courbe suivie par les rails.
* Cas d'une courbe extérieure carrée. Cela permet de retrouver l'aire de l'ellipse.

## Premières applications
### Aire d'une couronne

L’aire d’une couronne circulaire dont on connait la longueur $\ell$ d’une corde tangente au cercle intérieur vaut $\pi \ell ^{2}/4$, ceci quel que soit le rayon du cercle extérieur.

### Aire de l'ellipse

Si la courbe de départ est un carré de côté de longueur $a+b$ (voir l'illustration ci-dessus), d'après la construction de l'ellipse par la méthode de la bande de papier, la courbe de Holditch est formée de 4 quarts d'ellipses de demi-axes $a$ et $b$. Le domaine de Holditch est donc formé de 4 quarts de domaines elliptiques ; par le théorème de Holditch, on retrouve bien la formule classique $\pi ab$ de l'aire de l'ellipse.

## Généralisation de R. Estève
### Énoncé

Une droite orientée se déplace dans le plan en revenant à son point de départ en ayant tourné $n$ fois sur elle-même ($n$ algébrique, suivant le sens de rotation). Trois points fixes $A,B,C$ sur cette droite décrivent trois courbes fermées, supposées toujours simples, mais non forcément convexes, $C_{A}$, $C_{B}$ , $C_{C}$ . On note $S_{A},S_{B},S_{C}$ les aires algébriques (positives en cas de parcours dans le sens trigonométrique, négatives sinon) des domaines délimités par les courbes $C_{A},C_{B},C_{C}$ . On a alors la relation de Holditch générale$^,$ :
$S_{A}.{\overline {BC}}+S_{B}.{\overline {CA}}+S_{C}.{\overline {AB}}+n\pi .{\overline {AB}}.{\overline {BC}}.{\overline {CA}}=0$.
Posant ${\overline {AC}}=a$ et ${\overline {CB}}=b$, la relation s'écrit aussi $S_{C}={\frac {bS_{A}+aS_{B}}{a+b}}-n\pi ab$.
On retrouve bien le théorème de Holditch dans le cas où les courbes $C_{A}$ et $C_{B}$ sont identiques et $n=1$. La relation précédente s'écrit alors en effet $S_{C}=S_{A}-\pi ab$ , ce qui donne bien la relation de Holditch.

### Démonstration

Cette démonstration est tirée de.
On suppose ici les fonctions de classe $C^{1}$ par morceaux.
Un repère polaire $(O,{\overrightarrow {i}})$ étant choisi, désignons par $\theta =\theta (t)$ l'angle entre ${\overrightarrow {i}}$et la droite orientée $(ABC)$.
Posant ${\overline {AC}}=a$ , ${\overline {CB}}=b$ et $(x,y)$ les coordonnées de $C$, les coordonnées de $A$ sont $(x_{1}=x-a\cos \theta ,y_{1}=y-a\sin \theta )$, celles de $B$ sont $(x_{2}=x+b\cos \theta ,y_{2}=y+b\sin \theta )$.
On obtient $x_{1}dy_{1}=(x-a\cos \theta )(dy-a\cos \theta d\theta ),x_{2}dy_{2}=(x+b\cos \theta )(dy+b\cos \theta d\theta )$, d'où $bx_{1}dy_{1}+ax_{2}dy_{2}=(a+b)(xdy+ab\cos ^{2}\theta d\theta )$.
Le mouvement s'effectuant entre $0$ et $T$, on obtient $b\int _{0}^{T}x_{1}dy_{1}+a\int _{0}^{T}x_{2}dy_{2}=(a+b){\Biggl\int _{0}^{T}xdy+ab\int _{0}^{2n\pi }cos^{2}\theta d\theta {\Biggl )}$, ce qui donne ${bS_{A}+aS_{B}}=(a+b)(S_{C}+n\pi ab)$ , soit $S_{C}={\frac {bS_{A}+aS_{B}}{a+b}}-n\pi ab$.
Une élégante démonstration vectorielle se trouve dans.

## Applications
### Aire de l'ellipse

* Construction de l'ellipse par la méthode de la bande de papier.
Lorsque les points $A$ et $B$ décrivent deux segments en croix, le point $C$ décrit l'ellipse de paramètres $a$ et $b$ (voir animation ci-dessus). L'ellipse est parcourue dans le sens trigonométrique donc l'aire $S_{C}$ est positive, mais le segment tourne dans l'autre sens, donc $n=-1$. Les deux autres aires sont nulles, on retrouve $S_{C}=\pi ab$.

### Relation de Stewart

On fait tourner la droite d'un tour autour d'un point $M$ du plan ; les courbes $C_{A},C_{B},C_{C}$ sont des cercles de centre $M$, et la relation générale de Holditch divisée par $\pi$ donne celle de Stewart : ${MA}^{2}.{\overline {BC}}+{MB}^{2}.{\overline {CA}}+{MC}^{2}.{\overline {AB}}+{\overline {AB}}.{\overline {BC}}.{\overline {CA}}=0$.

### Théorème de Mamikon dans un cas particulier
#### Énoncé

L'aire balayée par un segment $[AC]$ de longueur constante $a$ restant tangent en $A$ à la courbe fermée simple décrite par $A$ vaut $\pi a^{2}$.
Le théorème de Mamikon proprement dit s'occupe du cas plus général où le segment n'est plus forcément de longueur constante et où la courbe est quelconque.
Notons que Holditch utilise cette propriété, qu'il doit considérer comme évidente, dans sa démonstration$^,$.

#### Démonstration

On part de la relation de Holditch $S_{A}.{\overline {BC}}+S_{B}.{\overline {CA}}+S_{C}.{\overline {AB}}+n\pi .{\overline {AB}}.{\overline {BC}}.{\overline {CA}}=0$ en posant ${\overline {AC}}=a$ et ${\overline {BC}}=b$ ; on obtient alors $S_{C}={\frac {aS_{B}-bS_{A}}{a-b}}+n\pi ab$ ; si on suppose que $B$ décrit la même courbe que $A$ et comme $n=1$ car on ne fait qu'un tour, on obtient $S_{C}=S_{A}+\pi ab$ . Si maintenant l'on fait tendre $b$ vers $a$, alors $B$ tend vers $A$ en restant sur la courbe décrite par $A$, et le segment $[AC]$ devient tangent à cette courbe ; on obtient $S_{C}-S_{A}=\pi a^{2}$, ce que nous voulions.

#### Application à la tractrice

La courbe décrite par le point $C$ est une courbe équitangentielle de celle décrite par $A$. Lorsqu'on impose que cette dernière soit rectiligne, la courbe de départ est la tractrice. Pour obtenir une courbe "fermée" on ajoute la symétrique de la tractrice par rapport à son asymptote et l'aire ainsi formée vaut $\pi a^{2}$ d'après ce qui précède. L'aire entre la tractrice et son asymptote vaut donc $\pi a^{2}/2$.

### Aire d'une épitrochoïde ou d'une hypotrochoïde

Un disque de rayon $R$ roule extérieurement, dans le sens trigonométrique, sur un disque de rayon $nR$ ; le segment $[AB]$ considéré ici est un segment lié au disque roulant centré sur le centre de ce disque et de longueur $2l$, et on prend $a=b=l$, de sorte que le point $C$ est le centre du disque mobile. Il est classique que le disque effectue alors $n+1$ tours autour du disque fixe pour revenir à son point de départ. De plus les points $A$ et $B$ décrivent deux épitrochoïdes identiques à rotation près, donc on peut poser $S_{A}=S_{B}=S$.
La relation générale de Holditch s'écrit donc $\pi (n+1)^{2}R^{2}={\frac {2lS}{2l}}-(n+1)\pi l^{2}$, ce qui donne $S=\pi (n+1)((n+1)R^{2}+l^{2})$.
De la même façon pour une hypotrochoïde, on obtient : $S=\pi (n-1)((n-1)R^{2}+l^{2})$.
Ces formules permettent d'obtenir l'aire de la cardioïde ou de l'astroïde par exemple.

### Aire d'une arche de trochoïde

Cette fois le disque roule sur une droite. Après avoir effectué un tour on le ramène au point de départ par mouvement rectiligne. Tous raisonnements faits, la relation de Holditch donne $0={\frac {lS-l(4\pi Rl-S)}{2l}}-\pi l^{2}$ où $S$ est l'aire d'une arche limitée par la base. On obtient $S=\pi l(2R+l)$. Le cas $l=R$ donne l'aire $3\pi R^{2}$ de l'arche de cycloïde.

### Aire de courbes associées au système bielle-manivelle

Ici le point $A$ décrit un cercle de rayon $R$ et le point $B$ a un mouvement rectiligne. Le segment $[AB]$ n'effectue pas de tour sur lui-même, donc $n=0$ et l'aire $S_{B}$ est nulle. On obtient $S_{C}={\frac {b}{a+b}}\pi R^{2}$ ; il est remarquable que cette aire ne dépend que de la dimension du cercle et de la position du point traceur sur la bielle, pas de la longueur de celle-ci.
Voir à courbe de la bielle de Bérard.

### Cas où la droite (ABC) passe par un point fixe O ; aires de conchoïdes

D'une part, la relation de Holditch se démontre simplement à partir de celle de Stewart dans ce cas :
Un repère polaire $(O,{\overrightarrow {i}})$ étant choisi, posons $\theta (t)$ l'angle entre ${\overrightarrow {i}}$et la droite orientée $(A(t)B(t)C(t))$. En omettant les (t), posons $\rho _{A}=OA,\rho _{B}=OB,\rho _{C}=OC$.
On part de la relation de Stewart : $\rho _{A}^{2}{\overline {BC}}+\rho _{B}^{2}{\overline {CA}}+\rho _{C}^{2}{\overline {AB}}+{\overline {AB}}.{\overline {BC}}.{\overline {CA}}=0$.
Le mouvement ayant lieu sur $[0,T]$, en multipliant par $\theta '(t)/2$ et intégrant entre $0$ et $T$, on obtient ${{\overline {BC}} \over 2}\int _{0}^{T}{\rho _{A}^{2}\theta 'dt}+{{\overline {CA}} \over 2}\int _{0}^{T}{\rho _{B}^{2}\theta 'dt}+{{\overline {AB}} \over 2}\int _{0}^{T}{\rho _{C}^{2}\theta 'dt}+{\frac {{\overline {AB}}.{\overline {BC}}.{\overline {CA}}}{2}}\int _{0}^{T}{\theta 'dt}=0$.
Comme $\int _{0}^{T}{{1 \over 2}{\rho _{A}^{2}\theta 'dt}}=S_{A},etc$, et $\int _{0}^{T}{\theta 'dt}=\theta (T)-\theta (0)=2n\pi$, on obtient bien $S_{A}.{\overline {BC}}+S_{B}.{\overline {CA}}+S_{C}.{\overline {AB}}+n\pi .{\overline {AB}}.{\overline {BC}}.{\overline {CA}}=0$.
D'autre part, les trois courbes décrites par $A,B,C$ sont des conchoïdes de pôle $O$ les unes par rapport aux autres.
En particulier si ${\overline {AC}}={\overline {CB}}=a$, Les courbes $C_{A}$ et $C_{B}$ sont des conchoïdes de $C_{C}$ de modules respectifs $-a$ et $a$, et la relation de Holditch s'écrit : $S_{A}+S_{B}=2(S_{C}+n\pi a^{2})$.
Dans les exemples ci-dessous, $C_{C}$ est un cercle de rayon $R$.
* L'aire de la grande conchoïde est égale à celle de la petite plus deux fois celle du disque.
* La moyenne des aires des conchoïdes est égale à celle du disque plus $\pi a^{2}$.
* L'aire de la conchoïde est égale au double de celle du disque plus $\pi a^{2}$
Dans la première illustration ci-dessus où le pôle est à l'extérieur du cercle $C_{C}$, $S_{B}-|S_{A}|=2\pi R^{2}$ car la droite n'effectue pas de tour sur elle-même et $C_{A}$ est parcouru en sens contraire du trigonométrique.
Dans la deuxième illustration où le pôle est à l'intérieur du cercle, $S_{B}+S_{A}=2\pi (R^{2}+a^{2})$ car la droite effectue un tour et $C_{A},C_{B}$ sont parcourues dans le sens trigonométrique.
Dans la troisième illustration, le pôle est sur le cercle, et les deux courbes $C_{A},C_{B}$ sont identiques, mais le cercle est parcouru deux fois quand la droite $(ABC)$ fait un tour. On obtient donc $S_{A}=S_{B}=2\pi R^{2}+\pi a^{2}$. La conchoïde est dans ce cas un limaçon de Pascal.