Formulas for special right triangles