cos(arcos(1/3)) = cos(70.5287794... degrees) = 1/3
that is a rational value.
Reply on news.ycombinator.com