Solving Proportions: Example 19. 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.