Description: The intersection points of a line through two different points and a circle around the origin, using the definition of a line in a two dimensional Euclidean space, expressed as intersection. (Contributed by AV, 7-May-2023) (Revised by AV, 14-May-2023)
Ref | Expression | ||
---|---|---|---|
Hypotheses | itsclinecirc0b.i | |
|
itsclinecirc0b.e | |
||
itsclinecirc0b.p | |
||
itsclinecirc0b.s | |
||
itsclinecirc0b.0 | |
||
itsclinecirc0b.q | |
||
itsclinecirc0b.d | |
||
itsclinecirc0b.l | |
||
itsclinecirc0b.a | |
||
itsclinecirc0b.b | |
||
itsclinecirc0b.c | |
||
Assertion | itsclinecirc0in | |