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