By componendo, if $a:b = x:y$, then —

Componendo adds the denominator to the numerator on each side: from $\frac{a}{b} = \frac{x}{y}$ we get , i.e. . Adding to both equal fractions preserves equality.