
Boki trójkąta
Jeśli w nierówności, którą chcemy uzasadnić, występują długości boków pewnego trójkąta, często przydaje się podstawienie Raviego:
gdzie
Takie liczby
zawsze istnieją, są to bowiem długości odcinków stycznych do okręgu wpisanego w trójkąt.