Solving Proportions: Example 18. Given two similar 5-12-13 right triangles, solving a proportion to find the length of an unknown side, when all side lengths are expressed as numbers and variables.