solving a right triangle