Solving optimum Bézier approximation of a circle

  • Context: MHB 
  • Thread starter Thread starter Adlibber
  • Start date Start date
  • Tags Tags
    Approximation Circle
Click For Summary
SUMMARY

The discussion centers on determining the optimum length of control vectors for a cubic Bézier approximation of a 90-degree circular arc. The equation presented is a complex quintic in terms of the variable κ, which is generally not solvable exactly. Mathematica was used to approximate the roots, yielding seven solutions, including complex conjugate pairs. The exact value of 0.551915024494 was mentioned as a potential solution, indicating that a clever approach may be necessary to derive it accurately.

PREREQUISITES
  • Cubic Bézier curves
  • Quintic equations and their properties
  • Mathematica software for mathematical computation
  • Complex numbers and their conjugates
NEXT STEPS
  • Explore cubic Bézier curve mathematics in depth
  • Study the methods for solving quintic equations
  • Learn advanced features of Mathematica for root finding
  • Investigate numerical approximation techniques for complex solutions
USEFUL FOR

Mathematicians, computer graphics developers, and anyone involved in geometric modeling or curve approximation techniques.

Adlibber
Messages
2
Reaction score
0
I am trying to determine the optimum length of the control vectors for a cubic Bézier approximation of a $90^\circ$ circular arc. However to my limited mathematical mind the equation cannot be solved algebraically. Wolfram Alpha even finds it too complicated. However I am told that it IS solvable! I remain unconvinced.

Can anyone spot a way of simplifying this monster?

\begin{align*}
&\left(u_\mu^6+(\textstyle\frac{1}{2})^6\right)(18\kappa^2-24\kappa+8)+\left(u_\mu^5+(\textstyle\frac{1}{2})^5\right)(-54\kappa^2+72\kappa-24)+\\
&\left(u_\mu^4+(\textstyle\frac{1}{2})^4\right)(63\kappa^2-66\kappa+18)+\left(u_\mu^3+(\textstyle\frac{1}{2})^3\right)(-36\kappa^2+12\kappa-4)+\\
&\left(u_\mu^2+(\textstyle\frac{1}{2})^2\right)(9\kappa^2+6\kappa-6)=0\\
&\text{where }\;\;u_\mu=\frac{1}{2}-\frac{\sqrt{12-20\kappa-3\kappa^2}}{4-6\kappa}
\end{align*}
 
Last edited:
Physics news on Phys.org
If you look at these equations, you will see that it is at least a quintic in $\kappa$. Quintics are not, in general, solvable exactly. You can solve the quadratic exactly, and the cubic exactly, and even the quartic exactly. But not the quintic. Abel and Galois proved that. However, there are specific quintics that you can solve. I'm going to give this problem to Mathematica, to see if it will solve it. Stay tuned...

...Mathematica chickens out, and gives the answers using the Root function - basically telling you that it couldn't find the roots exactly. Mathematica does give one interesting piece of information: there are at least 7 solutions. Now, if I ask for approximations to these roots, Mathematica gives me the following:
\begin{align*}
\kappa_1&= -3.45296\\
\kappa_2&= 0.366686\\
\kappa_3&= 0.518404\\
\kappa_4&= 0.347233-1.1646i\\
\kappa_5&= 0.347233+1.1646i\\
\kappa_6&= 0.556569-0.00384123i\\
\kappa_7&= 0.556569+0.00384123i.
\end{align*}
The complex solutions come in conjugate pairs, as you'd expect if all the coefficients are real.

If Mathematica can't solve it exactly, I don't think you're going to be able to solve it exactly.
 
Thanks very much for your response and effort, Ackbach. Good to know that simple intuition still has value!

I must assume that whoever found the correct value (0.551915024494) did so using a more clever route than I chose. Although I did find a method that gave a 96% result (but not a 100%!).
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
945
  • · Replies 42 ·
2
Replies
42
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K