Разберём задачу пошагово.
Пусть четыре корня приведённого уравнения равны степеням двойки: 2^m, 2^{m+1}, 2^{m+2}, 2^{m+3} (минимальная степень двойки равна m).
Пусть первые два корня образуют первый квадратный многочлённик x^2 − a x + b, а оставшиеся два — второй квадратный многочлённик x^2 − (a+192) x + b. Тогда
- произведение пары корней первого уравнения равно b: pq = b;
- сумма пары корней первого уравнения равна a: p + q = a;
- произведение второй пары корней равно b: rs = b;
- сумма второй пары корней равна a + 192: r + s = a + 192.
Так как корни — powers of two, произведение двух корней равно 2^{i+j}. Чтобы pq = rs, сумма экспонент двух элементов пары должна быть равна сумме экспонент другой пары. Среди чисел m, m+1, m+2, m+3 единственная разби́ка на пары с равной суммой экспонент: (m, m+3) и (m+1, m+2). Значит: b = 2^{m + (m+3)} = 2^{2m+3}.
- Суммы пар:
- для пары (m, m+3): p + q = 2^m + 2^{m+3} = 2^m(1 + 8) = 9·2^m = a;
- для пары (m+1, m+2): r + s = 2^{m+1} + 2^{m+2} = 2^{m+1}(1 + 2) = 3·2^{m+1} = 6·2^m = a + 192.
Следовательно, разница между двумя суммами равна: (a+192) − a = 192 = (6·2^m) − (9·2^m) = −3·2^m. По модулю: 3·2^m = 192, значит 2^m = 64 и m = 6.
- Найдём a и b:
- a = 9·2^m или 6·2^m, но из условия a+192 > a следует, что a = 6·2^m = 6·64 = 384, а a+192 = 576.
- b = 2^{2m+3} = 2^{2·6+3} = 2^{15} = 32768.
- Произведение ab: ab = 384 · 32768 = (3·2^7) · 2^{15} = 3 · 2^{22}.
Значит, наибольшая степень двойки, на которую делится ab, равна 2^{22}. Ответ: ab делится на 2^{22} (то есть максимальная степень двойки — 22).