Unknown side lengths of a right triangle