Solving proportions or similar triangles