According to Cantor–Dedekind axiom, corresponding to every real number, there is a point on the real number line, and corresponding to every point on the number line, there exists a unique real number. I learnt in high school, the method for finding the "exact" position of square-roots of rational numbers in a real number line. It basically uses this result: $$(\sqrt{x})^2 + (\frac{x-1}{2})^2 = (\frac{x+1}{2})^2$$ Is there any generalized way to find "exact" position of other irrational numbers like
- $\text{n}^{th}$ roots of rational numbers
- $\pi$ ?
This seems to be possible according to Cantor–Dedekind axiom but I cannot algebraically deduce it.