Solving for a missing side in a right triangle