Hacker News new | ask | show | jobs
by gus_massa 3500 days ago
The important point is that

cos(arcos(1/3)) = cos(70.5287794... degrees) = 1/3

that is a rational value.