これらを元の方程式に代入すると、多項式方程式 c2+(2c2−1)2+(4c3−3c)2=1c^2+(2c^2-1)^2+(4c^3-3c)^2=1c2+(2c2−1)2+(4c3−3c)2=1 になる。