Solving for unknown lengths in right triangles