Если массивы содержат неотрицательные числа, вы просто сортируете и A, и B в порядке убывания. Чтобы увидеть, что это дает максимальный продукт, рассмотрим, как только A и B отсортированы в этом порядке, вы можете попробовать поменять местами два элемента A, скажем, A [i] и A [j] s.t. я
B[j] B[i]
A[i] A[j]
------------------
B[i] B[j]
A[i] A[j]
т.е. A [i] B [j] -B [i] A [j] B [i] -B [j] , что равно (A [i] / A [j ]) (B [j] -B [i]) где показатель степени равен нулю или отрицателен, поскольку B [i] & geq; В [J]. По предположению A [i] & geq; A [j], так что A [i] / A [j] & geq; 1. Следовательно, отношение равно 1 или меньше, поскольку показатель степени равен 0 или отрицателен. Это показывает, что новый продукт имеет меньшую стоимость, чем старый. Примечание: это просто иллюстрация, а не формальное доказательство, потому что она рассматривает только обмен двух элементов.