MathDB
Conditions for collinearity and cyclicity

Source: Kvant Magazine No. 4 2022 M2695

March 8, 2023
geometryKvant

Problem Statement

Let the circle Ω\Omega and the line \ell intersect at two different points AA{} and BB{}. For different and non-points. Let XX and TT be points on \ell and YY and ZZ be points on Ω\Omega, all of them different from AA{} and BB{}. Prove the following statements:
[*]The points X,YX,Y and ZZ lie on the same line if and only if AXBX=±AYBYAZBZ.\frac{\overline{AX}}{\overline{BX}}=\pm\frac{AY}{BY}\cdot\frac{AZ}{BZ}. [*]The points X,Y,ZX,Y,Z and TT lie on the same circle if and only if AXBXATBT=±AYBYAZBZ.\frac{\overline{AX}}{\overline{BX}}\cdot\frac{\overline{AT}}{\overline{BT}}=\pm\frac{AY}{BY}\cdot\frac{AZ}{BZ}.
Note: In both points, the sign ++ is selected in the right parts of the equalities if the points YY{} and ZZ{} lie on the same arc ABAB of the circle Ω\Omega, and the sign - if YY{} and ZZ{} lie on different arcs ABAB. By AX/BX\overline{AX}/\overline{BX}, we indicate the ratio of the lengths of AXAX and BXBX, taken with the sign ++ or - depending on whether the AXAX and BXBX vectors are co-directed or oppositely directed.
Proposed by M. Skopenkov