notes/inversive.md

@@ -12,7 +12,7 @@ These coordinates are of form $I=(c, r, x, y, z)$ where we think of $c$ as the c
 | ∞, the "point at infinity"                                                      | $I_\infty = (1,0,0,0,0)$                                                                                                                                                                                                                                                                                                                                                                                                             | The only solution to $Q(I,I) = 0$ not covered by the above case.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
 | P lies on sphere or plane given by I                                            | $Q(I_P, I) = 0$                                                                                                                                                                                                                                                                                                                                                                                                                      | Actually also works if $I$ is the coordinates of a point, in which case "lies on" simply means "coincides with".                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
 | Sphere/planes represented by I and J are tangent                                | If $I$ and $J$ have the same orientation where they touch, $Q(I,J) = -1$. If they have opposing orientations, $Q(I,J) = 1$.                                                                                                                                                                                                                                                                                                          | For example, the $xy$ plane with normal $-e_z$, represented by $(0,0,0,0,1)$, is tangent with matching orientation to the unit sphere centered at $(0,0,1)$ with outward normals, represented by $(0,1,0,0,1)$. Accordingly, their $Q$-product is $−1$.                                                                                                                                                                                                                                                                                                                                              |
-| Sphere/planes represented by I and J intersect (respectively, don't intersect)  | $\|Q(I,J)\| \leq (\text{resp. }>)\; 1$                                                                                                                                                                                                                                                                                                                                                                                               | Follows from the angle formula, at least conceptually.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
+| Sphere/planes represented by I and J intersect (respectively, don't intersect)  | $\lvert Q(I,J)\rvert \leq (\text{resp. }>)\; 1$                                                                                                                                                                                                                                                                                                                                                                                      | Follows from the angle formula, at least conceptually.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
 | $P$ is center of sphere rep'd by $I$                                            | $Q(I, I_P) = -r/2$, where $1/r = 2Q(I_\infty, I)$ is the signed curvature of the sphere, and $I_P$ is normalized to have $Q(I_\infty, I_P) = 1/2$                                                                                                                                                                                                                                                                                    | This relationship is equivalent to both of the following. (1) The point $P$ has signed distance $-r/2$ from the sphere. (2) Inversion across the sphere maps $\infty$ to $P$.                                                                                                                                                                                                                                                                                                                                                                                                                        |
 | Distance between P and R is d                                                   | $Q(I_P, I_R) = d^2/2$                                                                                                                                                                                                                                                                                                                                                                                                                |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
 | Signed distance between point rep'd by $V$ and sphere/plane rep'd by $I$ is $d$ | $\frac{Q(I, V)}{2Q(I_\infty, V)} = Q(I_\infty, I)\,d^2 - d$                                                                                                                                                                                                                                                                                                                                                                          | We can use a Euclidean motion, represented linearly by a Lorentz transformation that fixes $I_\infty$, to put the point on the $z$ axis and put the nearest point on the sphere/plane at the origin with its normal pointing in the positive $z$ direction. Then the sphere/plane is represented by $I = (0, 1/r, 0, 0, -1)$, and the point can be represented by any multiple of $I_P = (d^2, 1, 0, 0, d)$, giving $Q(I, I_P) = d^2/2r - d$. We turn this into a general expression by writing it in terms of Lorentz-invariant quantities and making it independent of the normalization of $I_P$. |