Poncelet Theorem. Right triangle BAC: ra = rb + r + rc