( x1p - y1q )2n \(\ge\)0 ; ( x2p - y2q )2n \(\ge\)0 ; ... ; ( xmp - ymq )2n \(\ge\)0
vậy ( x1p - y1q )2n + ( x2p - y2q )2n + ... + ( xmp - ymq )2n \(\ge\) 0
mà ( x1p - y1q )2n + ( x2p - y2q )2n + ... + ( xmp - ymq )2n \(\le\)0
suy ra x1p - y1q = x2p - y2q = ... = xmp - ymq = 0
do đó : \(\frac{x_1}{y_1}=\frac{x_2}{y_2}=...=\frac{x_m}{p_m}=\frac{q}{p}\)hay \(\frac{x_1+x_2+...+x_m}{y_1+y_2+...+y_m}=\frac{q}{p}\)