In the figure below, BAC is
a right triangle with the incircle of radius r and the excircles
relatives to the legs or catheti (singular: cathetus). If s is
the semiperimeter and D, E, F, G, H, and M are the points of
tangency, prove that r = s - a = AD = AE = BF = BH = CG = CM.