Why does the following equation draw a circle ?
$$\left(\frac{t^4-6t^2+1}{t^4+2t^2+1},\frac{4t-4t^3}{t^4+2t^2+1}\right),|t|\le1$$
Does it draw a perfect circle, or an approximation ? On Desmos, it looks like a perfect circle.
(Added by edit) If it is an exact equation, how does one find such an equation ? Where does it come from ?
On
Hint: check that the quantity $x(t)^2 + y(t)^2$ is constant. This proves that the image of your curve is contained in a circumference of radius $r = \sqrt{ x(t)^2 + y(t)^2}$ centered at the origin.
On
As the previous posters noticed, it is easy to check that $x(t)^2+y(t)^2=1.$ That is if we choose a point $(a,b)$ of the unit circle there is some $t$ such that $x(t)=a,y(t)=b.$
Assume that all the candidates $t$ has $|t|>1.$ Then the same holds for $$(t^4-6t^2+1)=a(t^2+1)^2,-4t(t^2-1)=b(t^2+1)^2.$$ If we eliminate $t^2+1 $(assume $b\not=0)$ then the equation $f(t)=(t^4-6t^2+1)b+4t(t^2-1)a=0$ is satisfied only for $t>1.$ But this leads to a contradiction since $f(t)=0$ has a solution in $[0,1]$ (and [-1,0]) since $f(0)f(1)=-4b^2<0.$ So always we can find $t$ with $|t|\leq 1$ such that, given $(a,b)$ on the circle we have $x(t)=a,y(t)=b.$ Now for the case $b=0$ we can choose $t=0$ if $a=1$ and $t=1$ if $a=-1$.
The rational parametrization of the unit circle that’s most often seen is $$ x=\frac{2t}{t^2+1}\,,\quad y=\frac{t^2-1}{t^2+1}\,. $$ You can get this, as I recall, by drawing the line through $(0,-1)$ with slope $t$ and seeing where it intersects the unit circle. It’s a nice exercise.