In geometry, Pitot's theorem describes the relationship between the opposite sides of a tangential quadrilateral. The theorem is a consequence of the fact that two tangent line segments from a point outside the circle to the circle have equal lengths. There are four equal pairs of tangent segments, and both sums of opposite sides can each be decomposed into sums of these four tangent segments. The converse is also true: a circle can be inscribed into every convex quadrilateral in which the lengths of opposite sides sum to the same value.
It was named after the French engineer Henri Pitot who proved it in 1725.
In a tangential quadrilateral (a quadrilateral in which a circle can be inscribed), the two sums of lengths of the opposite sides are equal.
Let be a tangential quadrilateral. Then Pitot's theorem tells us that .
The converse of this is also true, but requires quite a bit more work. It was only proved in 1846 by Jakob Steiner, more than 100 years after Pitot published his proof!
Pitot's theorem is an immediate consequence of a well-known fact that the lengths of the two tangent line segments from a point outside a circle to the circle are equal.
We're going to prove this here.
What we have to prove is .
Note that both triangles and are right angled.
We also have (since they are the radii of the circle).
is a side that is common to both and .
This means that the triangles are congruent and we can say that
Now Pitot's theorem should be obvious. The picture below sums it up quite nicely.
We want to show that in a convex quadrilateral , if , then we can inscribe a semicircle that is tangential to all sides.
Note that we can always draw a circle tangent to , and . The center of that circle is the point the angle bisectors of and intersect at. This point always exists and so does the circle.
All we have to do is to show that this circle is tangent to as well.
We're going to do a proof by contradiction.
Assume that the circle is not tangent to . Now draw a tangent to the circle from and let be the point that it intersects with .
Here's a picture where lies in the interior of .
Since the circle is inscribed in the quadrilateral , from Pitot's theorem we have . Remember that we had or . But that implies , which is impossible since is non-degenerate.
So our previous assumption was wrong and the circle is tangential to all sides of .
The proof would be almost the same even if were not in the interior of .
- Circle lies outside of quadrilateral . If extended are tangential to , show that .
- Prove the converse to the above problem.
- Show that if , then the incircles of and are tangential.
In fact, all 4 incircles of are concurrent at the intersection of and .