What is the tangent plane equation on the 3 spheres?

Question

3 spheres are on $z=0$ plane and touch each other as shown in the picture. Coordinates of their centers are $O_1=(0,0,5),O_2=(0,y_2,3),O_3=(x_3,y_3,2)$. What is the tangent plane equation on 3 spheres? ($ax+by+cz=d$)

Thanks for answers.

Answer 1

First solve some quadratic equations to find $y_2$, $x_3$, and $y_3$.

Then, since each of the spheres is tangent to $z=0$ as well as to the mystery plane, its center must lie on the plane that bisects the angle made between these two planes. We can compute an equation for bisecting plane, because that is defined by the centers.

Now reflect the plane $z=0$ about the bisecting plane.

Answer 2

I get: -150.235 x-89.3299 y-128.83 z+1729.87=0 for the tangent plane equation. (Close approximation.)

Tangent points:

Sphere #1: {3.4594896600074643,2.05701926455194,7.966581035101458`}

Sphere #2: {2.0756918905582737,8.980177236680767,4.779953859745328`}

Sphere #3: {5.375454589335715,5.728584817849962,3.1866359029829208`}

Sphere center points:

Sphere #1 center point: {0, 0, 5}

Sphere #2 center point: {0., 7.74597, 3.}

Sphere #3 center point: {3.99166, 4.90578, 2.}

I calculated the tangent plane equation by using a plane thru 3 points. The first 2 points are apexes of 2 cones that envelope sphere #1 and sphere #2, then sphere #1 and sphere #3. Think of the line that connects the apexes as a hinge line that lies in the tangent plane. Select a third point whose x and y coordinates will be close to the tangent point on sphere #1. Reduce or add to the z coordinate as required to lower or raise the tangent plane. Plot each step as a visual aid. Using Mathematica, I used NMinimize to tell me how close the tangent plane was to sphere #1. When I was satisfied with the results, I took the coordinates as the tangent point. Repeat this with the other 2 sphere equations and the tangent plane equation to obtain the other 2 tangent points.

Regards,

Bill W.

Answer 3

There are three methods to get direct solutions without iteration.

1. Use an extended version of Gaussian elimination the results in having to get the fourth root of an equation. This technique is a general solution for geometry problems, with only the equations changed for this problem. You can use the symmetry of the plane-sphere tangent equations to make all but one row linear. The other rows break down to just two variables and a constant. You can then replace one of these with the other and a constant in the nonlinear. You end up with one variable in the for AX^4 +BX^3+CX^2+DX+E=0

2. Another general solution that works. Expand the three spheres until two touch. Consider an inversion sphere where the spheres meet. (I like radius 1.0 since it allows the largest range of inversion.) The two spheres become two parallel planes. This gives you the the radius of the inverted solution and the midplane the center is on. Since you want a plane, the solution sphere must also go through the mirror point. Invert that sphere to get a plane and using the expansion coefficient to move the plane to the unexpanded tangency.

3. Determine vectors from two centers to the center of the largest sphere. Scale (using the sphere radii) the vectors to determine two planes that slice that sphere. The intersection of that sphere and the two planes intersect where the plane is tangent. This gives you a vector from that center to that point that (when normalized) is the normal of the plane. Plugging the tangent point into the plane equation will generate the delta to complete the plane definition.

**I can give you the more details (and my solution) for any one of these if you post a request here. I do want to give a good answer, but each one takes time. **

1. is dull but simple, except for the need for a quartic equation
2. is a bit more interesting.
3. is a bit more complex, but really interesting. It is a general solution for Appolonius' 10th problem in any number of (n) dimensions, as long as one of the tangent entities is a hypersphere. You need another, but simpler, method for a problem with all hyperplanes. You get the tangent plane by using the center of the inversion sphere as the (n+1)th tangency, which assures a plane.