Inradius

Derivation of the formula stated above

Additionally, $${\displaystyle {\overline {IA}}\cdot {\overline {IB}}\cdot {\overline {IC}}=4Rr^{2},}$$ where ${\displaystyle R}$ and ${\displaystyle r}$ are the triangle's circumradius and inradius respectively.