, defined as the ratio of a circle's circumference to its diameter, is constant. That is, it does not vary given circles of differing size. This claim is equivalent to saying "all circles are proportional" or "all circles are similar."
- Laws of similar triangles
- Laws of limits
Let Circle1 represent a circle of radius r1, and construct it. Let Circle2 represent a circle of radius r2, such that r2 > r1 and Circle2 is concentric with Circle1, and construct it. Choose an integer and let . Construct an isosceles triangle, , such that each equal leg has length r2, the vertex adjacent to both equal legs (v2) lies at the center of Circle2, and the measure of the angle at v2 is equal to . Let s2 represent the length of the side opposite . By this, it can be seen that filling Circle2's interior with n triangles congruent to such that all share a vertex at the center of Circle2, the equal legs extend outward from that vertex, and none overlap, a regular polygon is created whose perimeter approximates the circumference of Circle2.
By the above constructions, a similar isosceles triangle, , is made such that each equal leg has length r1, the vertex adjacent to both equal legs (v1) lies at the center of Circle1, and the measure of the angle at v1 is equal to . Let s1 represent the length of the side opposite in . Let c2 represent the circumference of Circle2, and c1 represent the circumference of Circle1. Then:
Further, let n increase without bound. Then:
(the ratio of Circle2's circumference to its diameter)
(the ratio of Circle1's circumference to its diameter)
To prove the proposition, it suffices to show that:
By the laws of similar triangles: