Re: [math-fun] What's your proof?

With the additional step, Fred's proof coincides with mine. So, there is no such thing as an equilateral oddgon with rational vertices. Here's a quick application: If a regular polygon has rational vertices, it's a power-of-2-gon.