{"id":"arxiv/2606.14625","url":"https://arxiv.org/abs/2606.14625","tags":["math.MG"],"score":0,"title":"Wetzel's 30-60-90 Triangle Covers Unit Arcs","domain":"math.MG","source":"arxiv","authors":["Wacharin Wichiramala","Chatchawan Panraksa"],"reviews":0,"subject":"math.MG","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-12","reactions":{}}