Solving a right triangle