diff --git a/notes/inversive.md b/notes/inversive.md index 32bed18..cb3f36c 100644 --- a/notes/inversive.md +++ b/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$. |