Solve Geometric Problems as Polynomial Systems 

Find the diameter of a solid in given by a polynomial inequality.

In[1]:=
Click for copyable input
X
Out[1]=

Visualize the region.

In[2]:=
Click for copyable input
X
Out[2]=

Formulate a necessary condition for a local maximum of the distance between two points on the boundary of .

In[3]:=
Click for copyable input
X
Out[3]=

Use NSolve to find pairs satisfying the condition.

In[4]:=
Click for copyable input
X

Find the diameter of .

In[5]:=
Click for copyable input
X
Out[5]=

Find the distinct pairs realizing the maximum distance.

In[6]:=
Click for copyable input
X
Out[6]=

Visualize the result.

show complete Wolfram Language input
Out[7]=