[IMO 1983] Jika ,
, dan
adalah panjang sisi-sisi pada segitiga, buktikan bahwa
.
Solusi
Setiap sisi-sisi segitiga dapat ditulis sebagai ,
, dan
(bilangan itu dari hasil titik-titik singgung dengan lingkaran dalam), di mana
,
,
bilangan real positif. Ruas kiri pertidaksamaan pada soal dapat diubah menjadi
.
Dari pertidaksamaan Cauchy-Schwarz,
.
Setelah disederhanakan menjadi
.

waduh sulit banget ya pertidaksamaan cauchy ini.
Komentar oleh Isnaini Zumaroh — 18 Maret 2009 @ 10.29