Skip to content

Commit 7bda15a

Browse files
authored
Update index.html
Fix
1 parent eaa2bbf commit 7bda15a

1 file changed

Lines changed: 4 additions & 10 deletions

File tree

index.html

Lines changed: 4 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2599,17 +2599,11 @@ <h4>Archimedes and the Illusion of Limits</h4>
25992599
<br><br>
26002600
is not a deep theorem — it is simply a geometric tautology arising from symmetry.
26012601
<br><br>
2602-
But Euclid stops there.</p>
2603-
<br>
2604-
<p><strong>Euclid gives exact angle bisection as a geometric construction, but he provides no computational framework for evaluating the sine of the bisected angles.</strong>
2602+
The angles 22.5°, 15° and 7.5° can be constructed by subtracting a triangle from a known triangle, but Euclid stops there.
26052603
<br><br>
2606-
The angles 22.5°, 7.5°, and 3.75° can all be constructed with compass and straightedge, yet the numerical values of</p>
2607-
<ul style="margin:6px">
2608-
<li>sin(22.5°)</li>
2609-
<li>sin(7.5°)</li>
2610-
<li>sin(3.75°)</li>
2611-
</ul>
2612-
<p>cannot be derived from Euclid’s axioms or propositions.
2604+
Euclid gives exact angle bisection as a geometric construction, but he provides no computational framework for evaluating the sine of the bisected angles.
2605+
<br>
2606+
Any angle can be bisected with compass and straightedge, yet — with a few exceptions — their numerical values cannot be derived from Euclid’s axioms or propositions.
26132607
<br>
26142608
Any method for computing these values requires additional, non‑Euclidean assumptions, that were added centuries later:</p>
26152609
<ul style="margin:6px">

0 commit comments

Comments
 (0)