Supporting line

In geometry, a supporting line L of a curve C in the plane is a line that contains a point of C, but does not separate any two points of C.[1] In other words, C lies completely in one of the two closed half-planes defined by L and has at least one point on L.

Properties

There can be many supporting lines for a curve at a given point. When a tangent exists at a given point, then it is the unique supporting line at this point, if it does not separate the curve.

Generalizations

The notion of supporting line is also discussed for planar shapes. In this case a supporting line may be defined as a line which has common points with the boundary of the shape, but not with its interior.[2]

The notion of a supporting line to a planar curve or convex shape can be generalized to n dimension as a supporting hyperplane.

Critical support lines

If two bounded connected planar shapes have disjoint convex hulls that are separated by a positive distance, then they necessarily have exactly four common lines of support, the bitangents of the two convex hulls. Two of these lines of support separate the two shapes, and are called critical support lines.[2] Otherwise there may be more or fewer than four lines of support, even if the shapes themselves are disjoint. For instance, if one shape is an annulus that contains the other, then there are no common lines of support, while if each of two shapes consists of a pair of small disks at opposite corners of a square then there may be as many as 16 common lines of support.

gollark: And *another* Lua quirk more particular to CC is a heavy emphasis on event-driven I/O via coroutines.
gollark: The FS layer is actually fine, probably, apart from insufficiently flexible filesystem virtualization; the issue is that since this is really easy, many other potatOS features interact this way.
gollark: I *also* had to patch over a bunch of debug stuff to make sure that unprivileged code can't read environments out of those too.
gollark: And can thus do actual IO when permitted.
gollark: They were defined in the out of sandbox environment, so quirkiness means that they get the unmodified global scope to see.

References

  1. "The geometry of geodesics", Herbert Busemann, p. 158
  2. "Encyclopedia of Distances", by Michel M. Deza, Elena Deza, p. 179
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.