Page 285 - DMTH402_COMPLEX_ANALYSIS_AND_DIFFERENTIAL_GEOMETRY
P. 285

Complex Analysis and Differential Geometry




                    Notes          23.2.2 Tangency of Sphere and Plane

                                   Let S be the oriented sphere with center m and signed radius r, S : (x – m)  – r  = 0. The tangent
                                                                                              2
                                                                                                 2
                                   planes T  of S are exactly those planes, whose signed distance from m equals r. Therefore, they
                                         S
                                   satisfy
                                                   T  : n m  + n m  + n m  + d = n . m + d = r.             (10)
                                                       1
                                                     S
                                                          1
                                                                   3
                                                                     3
                                                             2
                                                               2
                                       Figure 23.1:  Blaschke Images  of a  Pencil of  Lines and  of Lines  Tangent to  an or.  Circle












                                   Their Blaschke image points b(TS) thus lie in the three-space

                                                    H : m u  + m u  + m u  + u  – r = 0,                    (11)
                                                              2
                                                        1
                                                               2
                                                                         4
                                                          1
                                                                     3
                                                                    3
                                   and b(T ) are the points of the intersection H  B, which is again an ellipsoid.
                                         S
                                   This also follows from the fact that S is the offset surface of m at signed distance r. The offset
                                   operation, which maps a surface F    (as set of tangent planes) to its offset F  at distance r,
                                                                   3
                                                                                                   r
                                   appears in the Blaschke image B as translation by the vector (0, 0, 0, r), see Fig. 23.1.
                                   Conversely, if points q = (q , q , q , q )  B satisfy a linear relation
                                                         1
                                                                4
                                                              3
                                                           2
                                                    H : a  + u a  + u a  + u a  + u a  = 0,
                                                                          4 4
                                                                     3 3
                                                                2 2
                                                       0
                                                           1 1
                                   q = b(T) are Blaschke images of planes T which are tangent to a sphere in case a   0. Center and
                                                                                                  4
                                   radius are determined by
                                                                 1               a
                                                              m=   (a ,a ,a ),  r   0 .
                                                                 a 4  1  2  3    a 4
                                   If a  = 0, the planes b(T) pass through the fixed point m. If a  = 0, the planes T form a constant
                                                                                   4
                                     0
                                   angle with the direction vector a = (a , a , a ) because of a . n = –a , with n = (u , u , u ).
                                                                     3
                                                                                                      3
                                                                                       0
                                                                   2
                                                                1
                                                                                                    2
                                                                                                 1
                                   Here it would lead to far to explain more about Laguerre geometry, the geometry of oriented
                                   planes and spheres in  .
                                                      3
                                   23.2.3 The Tangent Planes of a Developable Surface
                                   Let T(u) be a one-parameter family of planes
                                                  T(u) : n (u) + n (u)x + n (u)y + n (u)z = 0
                                                                    2
                                                       4
                                                                           3
                                                             1
                                   with arbitrary functions ni, i = 1, . . . , 4. The vector n(u) = (n , n , n )(u) is a normal vector of T(u).
                                                                                       3
                                                                                  1
                                                                                    2
                                   Excluding degenerate cases, the envelope of T(u) is a developable surface D, whose generating
                                   lines L(u) are
                                                            
                                                 L(u) = T(u)   T(u),
          278                               LOVELY PROFESSIONAL UNIVERSITY
   280   281   282   283   284   285   286   287   288   289   290