zijn de lengtes van de zijden van een driehoek. Bewijs dat
Linkerongelijkheid is equivalent met . Na Ravi-substitutie , , , is dit equivalent met , hetgeen vrij evident is.
Rechterongelijkheid is equivalent met , hetgeen Schur is.
Oplossing
Linkerongelijkheid is equivalent met
. Na Ravi-substitutie
,
,
, is dit equivalent met
, hetgeen vrij evident is.
Rechterongelijkheid is equivalent met
, hetgeen Schur is.