# Casey's theorem

Last updated

In mathematics, Casey's theorem, also known as the generalized Ptolemy's theorem, is a theorem in Euclidean geometry named after the Irish mathematician John Casey.

## Formulation of the theorem

Let $\,O$ be a circle of radius $\,R$ . Let $\,O_{1},O_{2},O_{3},O_{4}$ be (in that order) four non-intersecting circles that lie inside $\,O$ and tangent to it. Denote by $\,t_{ij}$ the length of the exterior common bitangent of the circles $\,O_{i},O_{j}$ . Then: 

$\,t_{12}\cdot t_{34}+t_{14}\cdot t_{23}=t_{13}\cdot t_{24}.$ Note that in the degenerate case, where all four circles reduce to points, this is exactly Ptolemy's theorem.

## Proof

The following proof is attributable  to Zacharias.  Denote the radius of circle $\,O_{i}$ by $\,R_{i}$ and its tangency point with the circle $\,O$ by $\,K_{i}$ . We will use the notation $\,O,O_{i}$ for the centers of the circles. Note that from Pythagorean theorem,

$\,t_{ij}^{2}={\overline {O_{i}O_{j}}}^{2}-(R_{i}-R_{j})^{2}.$ We will try to express this length in terms of the points $\,K_{i},K_{j}$ . By the law of cosines in triangle $\,O_{i}OO_{j}$ ,

${\overline {O_{i}O_{j}}}^{2}={\overline {OO_{i}}}^{2}+{\overline {OO_{j}}}^{2}-2{\overline {OO_{i}}}\cdot {\overline {OO_{j}}}\cdot \cos \angle O_{i}OO_{j}$ Since the circles $\,O,O_{i}$ tangent to each other:

${\overline {OO_{i}}}=R-R_{i},\,\angle O_{i}OO_{j}=\angle K_{i}OK_{j}$ Let $\,C$ be a point on the circle $\,O$ . According to the law of sines in triangle $\,K_{i}CK_{j}$ :

${\overline {K_{i}K_{j}}}=2R\cdot \sin \angle K_{i}CK_{j}=2R\cdot \sin {\frac {\angle K_{i}OK_{j}}{2}}$ Therefore,

$\cos \angle K_{i}OK_{j}=1-2\sin ^{2}{\frac {\angle K_{i}OK_{j}}{2}}=1-2\cdot \left({\frac {\overline {K_{i}K_{j}}}{2R}}\right)^{2}=1-{\frac {{\overline {K_{i}K_{j}}}^{2}}{2R^{2}}}$ and substituting these in the formula above:

${\overline {O_{i}O_{j}}}^{2}=(R-R_{i})^{2}+(R-R_{j})^{2}-2(R-R_{i})(R-R_{j})\left(1-{\frac {{\overline {K_{i}K_{j}}}^{2}}{2R^{2}}}\right)$ ${\overline {O_{i}O_{j}}}^{2}=(R-R_{i})^{2}+(R-R_{j})^{2}-2(R-R_{i})(R-R_{j})+(R-R_{i})(R-R_{j})\cdot {\frac {{\overline {K_{i}K_{j}}}^{2}}{R^{2}}}$ ${\overline {O_{i}O_{j}}}^{2}=((R-R_{i})-(R-R_{j}))^{2}+(R-R_{i})(R-R_{j})\cdot {\frac {{\overline {K_{i}K_{j}}}^{2}}{R^{2}}}$ And finally, the length we seek is

$t_{ij}={\sqrt {{\overline {O_{i}O_{j}}}^{2}-(R_{i}-R_{j})^{2}}}={\frac {{\sqrt {R-R_{i}}}\cdot {\sqrt {R-R_{j}}}\cdot {\overline {K_{i}K_{j}}}}{R}}$ We can now evaluate the left hand side, with the help of the original Ptolemy's theorem applied to the inscribed quadrilateral $\,K_{1}K_{2}K_{3}K_{4}$ :

{\begin{aligned}&t_{12}t_{34}+t_{14}t_{23}\\[4pt]={}&{\frac {1}{R^{2}}}\cdot {\sqrt {R-R_{1}}}{\sqrt {R-R_{2}}}{\sqrt {R-R_{3}}}{\sqrt {R-R_{4}}}\left({\overline {K_{1}K_{2}}}\cdot {\overline {K_{3}K_{4}}}+{\overline {K_{1}K_{4}}}\cdot {\overline {K_{2}K_{3}}}\right)\\[4pt]={}&{\frac {1}{R^{2}}}\cdot {\sqrt {R-R_{1}}}{\sqrt {R-R_{2}}}{\sqrt {R-R_{3}}}{\sqrt {R-R_{4}}}\left({\overline {K_{1}K_{3}}}\cdot {\overline {K_{2}K_{4}}}\right)\\[4pt]={}&t_{13}t_{24}\end{aligned}} ## Further generalizations

It can be seen that the four circles need not lie inside the big circle. In fact, they may be tangent to it from the outside as well. In that case, the following change should be made: 

If $\,O_{i},O_{j}$ are both tangent from the same side of $\,O$ (both in or both out), $\,t_{ij}$ is the length of the exterior common tangent.

If $\,O_{i},O_{j}$ are tangent from different sides of $\,O$ (one in and one out), $\,t_{ij}$ is the length of the interior common tangent.

The converse of Casey's theorem is also true.  That is, if equality holds, the circles are tangent to a common circle.

## Applications

Casey's theorem and its converse can be used to prove a variety of statements in Euclidean geometry. For example, the shortest known proof  :411 of Feuerbach's theorem uses the converse theorem.

## Related Research Articles A circle is a shape consisting of all points in a plane that are a given distance from a given point, the centre; equivalently it is the curve traced out by a point that moves in a plane so that its distance from a given point is constant. The distance between any point of the circle and the centre is called the radius. This article is about circles in Euclidean geometry, and, in particular, the Euclidean plane, except where otherwise noted. In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several other superficially different mathematical descriptions, which can all be proved to define exactly the same curves. In mathematics, the trigonometric functions are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena, through Fourier analysis. A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted . A right triangle or right-angled triangle is a triangle in which one angle is a right angle. The relation between the sides and angles of a right triangle is the basis for trigonometry.

In geometry, a solid angle is a measure of the amount of the field of view from some particular point that a given object covers. That is, it is a measure of how large the object appears to an observer looking from that point. The point from which the object is viewed is called the apex of the solid angle, and the object is said to subtend its solid angle from that point. In geometry, the incircle or inscribed circle of a triangle is the largest circle contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance, and orientation. Every non-trivial rotation is determined by its axis of rotation and its angle of rotation. Composing two rotations results in another rotation; every rotation has a unique inverse rotation; and the identity map satisfies the definition of a rotation. Owing to the above properties, the set of all rotations is a group under composition. Rotations are not commutative, making it a nonabelian group. Moreover, the rotation group has a natural structure as a manifold for which the group operations are smoothly differentiable; so it is in fact a Lie group. It is compact and has dimension 3. A helix, plural helixes or helices, is a shape like a corkscrew or spiral staircase. It is a type of smooth space curve with tangent lines at a constant angle to a fixed axis. Helices are important in biology, as the DNA molecule is formed as two intertwined helices, and many proteins have helical substructures, known as alpha helices. The word helix comes from the Greek word ἕλιξ, "twisted, curved". A "filled-in" helix – for example, a "spiral" (helical) ramp – is called a helicoid.  In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle. In plane geometry, Morley's trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the first Morley triangle or simply the Morley triangle. The theorem was discovered in 1899 by Anglo-American mathematician Frank Morley. It has various generalizations; in particular, if all of the trisectors are intersected, one obtains four other equilateral triangles. In Euclidean geometry, Ptolemy's theorem is a relation between the four sides and two diagonals of a cyclic quadrilateral. The theorem is named after the Greek astronomer and mathematician Ptolemy. Ptolemy used the theorem as an aid to creating his table of chords, a trigonometric table that he applied to astronomy. In geometry, the Steiner inellipse, midpoint inellipse, or midpoint ellipse of a triangle is the unique ellipse inscribed in the triangle and tangent to the sides at their midpoints. It is an example of an inellipse. By comparison the inscribed circle and Mandart inellipse of a triangle are other inconics that are tangent to the sides, but not at the midpoints unless the triangle is equilateral. The Steiner inellipse is attributed by Dörrie to Jakob Steiner, and a proof of its uniqueness is given by Dan Kalman. In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states

In Euclidean plane geometry, a tangent line to a circle is a line that touches the circle at exactly one point, never entering the circle's interior. Tangent lines to circles form the subject of several theorems, and play an important role in many geometrical constructions and proofs. Since the tangent line to a circle at a point P is perpendicular to the radius to that point, theorems involving tangent lines often involve radial lines and orthogonal circles. In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°. 