The radius $r$ of the incircle of a right triangle is given by: