Power of a point P intersects the circle at A and B, the endpoints of the diameter. Their respective products of distances are equal to each other and to the power of point P in that circle This equality is sometimes known as the ""secant-tangent theorem"", ""intersecting chords theorem"", or the ""power-of-a-point theorem"". The power of a point is used in many geometrical definitions and proofs. For example, the radical axis of two given circles is the straight line consisting of points that have equal power to both circles. For each point on this line, there is a unique circle centered on that point
Dividing a circle into areas where two of the old lines intersect. For each "O" and "I", the line "OI" crosses the circle in one point other than "O". Since the circle has infinitely many points, it has a point "A" which will be on none of the lines "OI". Then, for this point "A" and all of the old points "O", case "b" will be true. This lemma means that, if there are "k" lines crossing "AO", then each of them crosses "AO" at a different point and "k+1" new areas are created by the line "AO". The lemma establishes an important property for