Gerretsenin epäyhtälö on kolmioon liittyvä epäyhtälö, joka kuuluu seuraavasti: Olkoon s , R , r {\displaystyle s,R,r} kolmion A B C {\displaystyle ABC} piirin puolikas, ympäri piirretyn ympyrän säde ja sisään piirretyn ympyrän säde tässä järjestyksessä. Tällöin on voimassa s 2 ≤ 4 R 2 + 4 R r + 3 r 2 {\displaystyle s^{2}\leq 4R^{2}+4Rr+3r^{2}} [1]