In this article, we present a synthetic proof of Theorem 1, which is different
from Vonk’s proof, and one for Theorem 2. We use (O), I(r), (XY Z) to denote
respectively the circle with center O, the circle with center I and radius r, and the
circumcircle of triangle XY Z. As in [2, p.12], the directed angle from the line