If a : b :: c : d then which of the following is correct?
b:a :: d:c
If a:b::c:d then ab=cd
which can be written as ba=dc
i.e., b : a :: d : c
Therefore a : b :: c : d can be written as b : a :: d : c
This is called the invertendo property of proportions.