Collinearity for tangent circles between parallel lines
ID: collinearity-for-tangent-circles-between-parallel-lines
Let two positive-radius circles have external tangency at and lie in the closed strip between two parallel lines, touching opposite boundaries at . Then are collinear. To prove this, choose coordinates with the boundaries , put and , and write the centres as , . The contact point isThe closed line segment is contained in the union of the two closed disks: its portions from to and from to are chords. The strip and external tangency hypotheses are essential to this particular formulation.
New to topics? Read the docs here!