Problem 4

Let

R

and

S

be different points on a circle

\Omega

such that

RS

is not a diameter. Let

\ell

be the tangent line to

\Omega

R

. Point

T

is such that

S

is the midpoint of

RT

. Point

J

is chosen on the shorter arc

RS

\Omega

so that the circumcircle

\Gamma

of triangle

JST

intersects

\ell

at two distinct points. Let

A

be the common point of

\Gamma

and

\ell

that is closer to

R

. Line

AJ

meets

\Omega

again at

K

. Prove that line

KT

is tangent to

\Gamma

Step 4 of 6: Use the converse of Reim's theorem

Previous step Next step

T,B,K,S\text{ are concyclic}

Detailed analysis

The converse of Reim's theorem, now using the collinearity just obtained and the parallelogram, yields that T, B, K, S lie on one circle. Thus the quadrilateral TBKS is cyclic.