(a) Misalkan
. Misalkan juga
. Tanpa mengurangi keumuman, asumsikan
.
Perhatikan bahwa:
dan
Perhatikan bahwa:
membuat
sebuah segiempat tali busur. Akibatnya,
. Terbukti. Selanjutnya akan dibuktikan
.
Perhatikan bahwa:
dan
Karena
, jelas bahwa
adalah segiempat tali busur. Akibatnya,
. Terbukti.
(b) Pertama-tama, soal ini akan dipecah menjadi 2 kasus:
(i)
. Maka, perhatikan bahwa karena
dan
segiempat tali busur,
, dan
. Akibatnya,
. Akibatnya, karena
, maka
. Jika
, maka titik
adalah satu titik, yang jelas siklis. Terbukti.
(ii)
.
Kita gunakan lemma untuk membuktikan kasus ini:
Lemma:
Bukti 1.
Misalkan
adalah titik potong
dengan
(atau perpanjangannya), dan
adalah titik potong
dengan
(atau perpanjangannya).
Jelas bahwa
, dan
. Karena
titik tengah
, maka
dan
. Perhatikan juga, dengan simetri,
adalah trapesium sama kaki, sehingga
. Maka,
Terbukti.
Bukti 2.
Misalkan
memotong
di
.
Karena
, dan
, maka
. Akibatnya,
.
Perhatikan bahwa karena
, dan
adalah titik tengah
, maka jelas bahwa
. Terbukti.
Bukti 3.
Buat titik
dan
, sehingga
terletak pada segmen
,
kolinear dan
kolinear, sehingga
tegak lurus
dan
.
Akan dibuktikan
, yang ekivalen dengan
terletak pada garis sumbu
. Karena
, maka
. Karena
, cukup dibuktikan
. Tapi, ini jelas, karena
, dan
, membuat
, dan akibatnya,
, yang ekivalen dengan
. Terbukti.
Bukti 4.
Perhatikan bahwa
, dan
. Perhatikan juga:
dan
Selanjutnya, perhatikan bahwa:
Identitas ini akan dibuktikan. Perhatikan bahwa:
Identitas terbukti.
Berdasarkan lemma di atas, akibatnya,
. Akibatnya,
terletak pada garis sumbu
.
Selanjutnya, perhatikan bahwa
. Akibatnya,
garis bagi
.
Misalkan garis bagi
memotong lingkaran luar
di
. Diketahui bahwa
adalah segiempat tali busur. Maka,
, membuat
, atau
ada pada garis sumbu
.
Karena perpotongan garis sumbu
dan garis bagi
hanya 1 (ini disebabkan
), maka
. Kesimpulannya,
merupakan segiempat tali busur.
Dari kedua kasus, dapat disimpulkan bahwa
merupakan segiempat tali busur. Terbukti.