Solving right triangles