En geometría, el teorema de Casey es una generalización del teorema de Ptolomeo, llamado así por el matemático irlandés John Casey (1820-1891).[1]
Sea un círculo de radio , y sean (en ese orden) cuatro círculos que no se cortan entre sí, situados dentro de y tangentes a él. Denominando a la longitud de la tangente exterior común de los círculos , entonces:
Nótese que el caso degenerado, donde los cuatro círculos se reducen a puntos, es exactamente el teorema de Ptolomeo.