[IMO Shortlist 2007] Diberikan segitiga sama kaki dengan
. Titik tengah
adalah
. Misalkan
adalah titik yang berubah-ubah pada busur
dari lingkaran luar segitiga
. Misalkan
adalah sudut di dalam domain sudut
, di mana
dan
. Buktikan
tidak bergantung pada
.
Solusi
Misalkan adalah titik tengah
. Perhatikan bahwa
dan
.
Jadi , yang tidak bergantung pada
.
