Description: Lemma for itsclc0 . Solutions of the quadratic equations for the coordinates of the intersection points of a nonhorizontal line and a circle. (Contributed by AV, 8-Feb-2023)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itscnhlc0yqe.q | |
|
itsclc0yqsol.d | |
||
Assertion | itscnhlc0xyqsol | |