Proportions in right triangles