You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: index.html
+8-14Lines changed: 8 additions & 14 deletions
Original file line number
Diff line number
Diff line change
@@ -5081,20 +5081,14 @@ <h4>Archimedes and the Illusion of Limits</h4>
5081
5081
<br><br>
5082
5082
The bisection procedure guarantees that each new perimeter is smaller than the previous one.
5083
5083
<br>
5084
-
Archimedes assumes tangency and externality persist at every finite step — even when the perimeter has become extremely close to the (unknown) circumference.
5084
+
But whether a polygon produced by angle bisection remains tangent depends on whether its perimeter is still sufficiently greater than the circumference.
5085
5085
<br><br>
5086
-
But whether the new polygon remains tangent depends on whether its perimeter is still sufficiently greater than the circumference.
5087
-
<br><br>
5088
-
In conventional geometry, a line is called tangent to a circle if it touches the circle at exactly one point.
5089
-
<br>
5090
-
However, this definition silently assumes something that is not guaranteed:
5091
-
<br>
5092
-
that a line which touches the circle from the outside must touch it only at one point.</p>
5086
+
In conventional geometry, a polygon is called circumscribed if each side touches the circle at exactly one point.
<li>But as the number of sides increases, each side becomes shorter and shorter, and eventually the straight edges can no longer maintain true tangency. They begin to cut through the circle instead of just touching it.</li>
5089
+
<li>A hexagon can be circumscribed about a circle.</li>
5090
+
<li>An octagon can still be circumscribed.</li>
5091
+
<li>But as the number of sides increases, each side becomes shorter and shorter, and eventually the straight sides can no longer maintain true tangency. They begin to cut through the circle instead of just touching it.</li>
5098
5092
</ul>
5099
5093
<br><br>
5100
5094
<pitemprop="disambiguatingDescription">Think of a honeycomb cell.
@@ -5111,19 +5105,19 @@ <h4>Archimedes and the Illusion of Limits</h4>
5111
5105
<br>
5112
5106
<pitemprop="disambiguatingDescription">This is why Archimedes’ method fails:
5113
5107
<br>
5114
-
it assumes that whenever a line touches the circle from the outside, it must touch it at exactly one point.
5108
+
it assumes that each side of every polygon with a finite side count produced by repeatedly bisecting the circumscribed hexagon must touch the circle at exactly one point.
5115
5109
<br>
5116
5110
But this is never proven — it is simply assumed.
5117
5111
<br>
5118
5112
And the assumption is false once the polygon has too many sides.
5119
5113
<br>
5120
5114
A straight line can always be drawn, but that does not guarantee single-point contact.
5121
5115
<br>
5122
-
When the side becomes too short relative to the curvature of the circle, the line will either touch along a small arc or cut into the circle.
5116
+
When the perimeter of the polygon approaches the circumference, the sides will either touch along a small arc or cut into the circle.
5123
5117
<br>
5124
5118
The failure is not the existence of the line — the failure is the loss of single-point tangency.
5125
5119
<br><br>
5126
-
The standard argument claims the polygons remain outside forever at finite n and only collapse into the circle at infinity. But this is circular reasoning. To know if the polygons are still circumscribed at every finite step, you must already know if the perimeter is large enough that no crossing occurs.
5120
+
The standard argument claims the polygons remain outside forever at a finite side count and only collapse into the circle at infinity. But this is circular reasoning. To know if the polygons are still circumscribed at every finite step, you must already know if the perimeter is large enough that no crossing occurs.
5127
5121
<br>
5128
5122
Yet finding the circumference is the purpose of the method. The method therefore relies on the very assumption it seeks to prove.
0 commit comments