Teorema de Casey

En matemàtiques, el teorema de Casey, també conegut com el teorema de Ptolemeu generalitzat, és un teorema de geometria euclidiana que porta el nom del matemàtic irlandès John Casey.

Formulació del teorema

Sigui $O$ un cercle de radi $R$. Siguin $O_1,O_2,O_3,O_4$ (en aquest ordre) quatre cercles que no es tallen a l'interior del cercle $O$ i tangents a ell. Sigui $t_{ij}$ la longitud de la bitangent comuna exterior dels cercles $O_i,O_j$. Llavors:Plantilla:Sfn

$t_{12}\cdot t_{34}+t_{14}\cdot t_{23}=t_{13}\cdot t_{24}$

• 
  $t_{12}\cdot t_{34}+t_{14}\cdot t_{23}-t_{13}\cdot t_{24}=0$

Tingueu en compte que en el cas degenerat, on els quatre cercles es redueixen a punts, aquest és exactament el teorema de Ptolemeu.

Demostració

La següent demostracióPlantilla:Sfn és atribuïble a Zacharias.Plantilla:Sfn Indiquem el radi del cercle $O_i$ amb $R_i$ i el seu punt de tangència amb la circumferència $O$ amb $K_i$. Fem servir la notació $O,O_i$ per als centres dels cercles.

S'ha de tenir en compte que a partir del teorema de Pitàgores,

$t_{ij}^2=\stackrel{2}{\stackrel{‾}{O_i{O}_j}}-(R_i-R_j{)}^2.$

Intentarem expressar aquesta llongitud en termes de punts$K_i,K_j$. Pel teorema del cosinus en el triangle $O_{i}O{O}_j$,

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=\stackrel{2}{\stackrel{‾}{O{O}_i}}+\stackrel{2}{\stackrel{‾}{O{O}_j}}-2\overline{O{O}_i}\cdot \overline{O{O}_j}\cdot \cos \mathrm{\angle }{O}_{i}O{O}_j$

Des dels cercles $O,O_i$ tangents entre ells:

$\overline{O{O}_i}=R-R_i,\mathrm{\angle }{O}_{i}O{O}_j=\mathrm{\angle }{K}_{i}O{K}_j$

Sigui $C$ un punt del cercle $O$. Segons el teorema del sinus en el triangle $K_{i}C{K}_j$:

$\overline{K_i{K}_j}=2R\cdot \sin \mathrm{\angle }{K}_{i}C{K}_j=2R\cdot \sin \frac{\mathrm{\angle }{K}_{i}O{K}_j}{2}$

Per tant,

$\cos \mathrm{\angle }{K}_{i}O{K}_j=1-2{\sin }^2\frac{\mathrm{\angle }{K}_{i}O{K}_j}{2}=1-2\cdot {\left(\frac{\overline{K_i{K}_j}}{2R}\right)}^2=1-\frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{2R^2}$

i substituint aquests en la fórmula anterior:

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=(R-R_i{)}^2+(R-R_j{)}^2-2(R-R_i)(R-R_j)(1-\frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{2R^2})$

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=(R-R_i{)}^2+(R-R_j{)}^2-2(R-R_i)(R-R_j)+(R-R_i)(R-R_j)\cdot \frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{R^2}$

$\stackrel{2}{\stackrel{‾}{O_i{O}_j}}=((R-R_i)-(R-R_j){)}^2+(R-R_i)(R-R_j)\cdot \frac{\stackrel{2}{\stackrel{‾}{K_i{K}_j}}}{R^2}$

I finalment, la longitud que es busca és

$t_{ij}=\sqrt{\stackrel{2}{\stackrel{‾}{O_i{O}_j}}-(R_i-R_j{)}^2}=\frac{\sqrt{R-R_i}\cdot \sqrt{R-R_j}\cdot \overline{K_i{K}_j}}{R}$

Ara es pot avaluar el costat esquerre, amb l'ajuda del teorema de Ptolemeu original aplicat al quadrilàter inscrit. $K_1{K}_2{K}_3{K}_4$:

$\begin{array}{cc}& t_{12}{t}_{34}+t_{14}{t}_{23}\\ =& \frac{1}{R^2}\cdot \sqrt{R-R_1}\sqrt{R-R_2}\sqrt{R-R_3}\sqrt{R-R_4}(\overline{K_1{K}_2}\cdot \overline{K_3{K}_4}+\overline{K_1{K}_4}\cdot \overline{K_2{K}_3})\\ =& \frac{1}{R^2}\cdot \sqrt{R-R_1}\sqrt{R-R_2}\sqrt{R-R_3}\sqrt{R-R_4}(\overline{K_1{K}_3}\cdot \overline{K_2{K}_4})\\ =& t_{13}{t}_{24}\end{array}$

Més generalitzacions

Es pot veure que els quatre cercles no cal que estiguin dins del cercle gran. De fet, també poden ser tangents a ell des de l'exterior. En aquest cas, s'hauria de fer el canvi següent:Plantilla:Sfn

• Si $O_i,O_j$ són tangents des del mateix costat de $O$ (ambdós dins o fora), $t_{ij}$ és la longitud de la tangent comuna exterior.
• Si $O_i,O_j$ són tangents de diferents costats de $O$ (un dins i un fora), $t_{ij}$ és la longitud de la tangent comuna interior.

El contrari del teorema de Casey també és cert.Plantilla:Sfn És a dir, si es compleix la igualtat, els cercles són tangents a un cercle comú.

Aplicacions

El teorema de Casey i el seu invers es poden utilitzar per demostrar una varietat d'enunciats en geometria euclidiana. Per exemple, la prova més curta coneguda del teorema de Feuerbach utilitza el teorema invers.Plantilla:Sfn

• 
  Teorema de Feuerbach: la circumferència dels nou punts és tangent a la circumferència inscrita i les exinscrites d'un triangle. La circumferència inscrita tangent és el punt de Feuerbach.

Bibliografia

• Plantilla:Ref-llibre Traduït per Reinie Erné com a Topics in Elementary Geometry, Springer 2008, de la segona edició ampliada publicada per Epsilon-Uitgaven 1987.
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre Reeditat en facsímil per Dover 1960, 2007 com a Advanced Euclidean Geometry.
• Plantilla:Ref-publicació