Function Repository Resource:

Calculate the radical hyperplane of two hyperspheres

Contributed by: Jan Mangaldan

## Details

The radical hyperplane is the locus of all points with the same tangential distance from the two given hyperspheres.
In 2D, the ci can be Point, Circle or Disk objects.
In 3D, the ci can be Point, Sphere or Ball objects.

## Examples

### Basic Examples (2)

Compute the radical line of two circles:

 In[1]:=
 Out[3]=

Show the radical line and the two circles:

 In[4]:=
 Out[4]=

Visualize the radical plane of two spheres:

 In[5]:=
 Out[5]=

### Scope (3)

The radical line of a circle and a disk:

 In[6]:=
 Out[6]=

The radical plane of a sphere and a ball:

 In[7]:=
 Out[7]=

A point is treated as a hypersphere with zero radius:

 In[8]:=
 Out[8]=

### Applications (2)

Find the tangent through a given point of a circle:

 In[9]:=
 Out[9]=

The radical lines of three circles with noncollinear centers and no two of them concentric, taken two at a time, coincide at the radical center:

 In[10]:=
 Out[10]=

### Properties and Relations (2)

If two hyperspheres intersect, the radical hyperplane passes through their intersection:

 In[11]:=
 Out[11]=

Again in three dimensions:

 In[12]:=
 Out[12]=

The power diagram of two circles is comprised of two half-planes separated by the radical line of the two circles:

 In[13]:=
 Out[13]=

### Possible Issues (1)

RadicalHyperplane is left unevaluated for concentric hyperspheres:

 In[14]:=
 Out[14]=

### Neat Examples (1)

The pairwise radical hyperplanes of four three-dimensional, nonconcentric spheres, with all centers noncoplanar, intersect at a point:

 In[15]:=
 Out[15]=

## Version History

• 1.0.1 – 27 October 2021