Formulas involving circles and radii