Wetzel's 30-60-90 Triangle Covers Unit Arcs
John E. Wetzel conjectured that the 30-60-90 triangle T obtained by placing a square of side 1/3 on the hypotenuse covers every unit arc in the plane. We give a computer-assisted proof of this conjecture with independently checkable interval certificates. The proof reduces a hypothetical noncovered arc to a finite family of 599 closed second-order cone models, covering all representative and raw tail-order branches, and certifies a polygonal-chain lower bound greater than one in every model by interval validation of stored dual certificates. Since every certified lower endpoint exceeds…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.14625
curl -X POST /api/v1/records/arxiv/2606.14625/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.14625/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'