Первое решение. Будем рядом с каждой парой писать какой-нибудь квадратный трёхчлен, корнями которого являются числа этой пары. Пусть в некоторый момент у мальчиков записаны трёхчлены p(x) и q(x). Тогда они решали уравнение вида αp(x)=βq(x), где α,β — какие-то ненулевые числа. Значит, полученные числа — корни трёхчлена αp(x)−βq(x). Если теперь один из мальчиков заменяет свои числа на эти корни, то можно считать, что рядом с ними будет записан трёхчлен αp(x)−βq(x).
Обозначим исходные два трёхчлена p0(x)=(x−1)(x−2) и q0(x)=(x−3)(x−4). Из сказанного выше теперь следует, что на каждом шаге у каждого мальчика написан трёхчлен вида αp0(x)+βq0(x).
Итак, если на Петином листке написано число 5, то у него записан трёхчлен a(x−5)(x−x2)=α(x−1)(x−2)+β(x−3)(x−4). Подставляя x=5, получаем 12α+2β=0, откуда α(x−1)(x−2)+β(x−3)(x−4)=α(−5x2+39x−70)=−α(x−5)(5x−14). Значит, второе число равно x2=514.
Второе решение. Будем вычитать из каждого из чисел в тетрадях по 25. Иначе говоря, мы вводим новую переменную t=x−25. Тогда первоначальные числа в тетрадях станут равны −23, −21 у Пети и 21, 23 у Васи, а трёхчлены f(x) и g(x) заменятся на некоторые трёхчлены F(t) и G(t).
Покажем, что теперь произведение пары чисел в любой тетради будет всегда равно 43. Это выполнено в начальный момент времени. Пусть это верно перед очередной заменой. Согласно теореме Виета, имеем F(t)=a1t2+b1t+c1, где a1c1=43, и G(t)=a2t2+b2t+c2, где a2c2=43. Новая пара чисел t1 и t2 — это пара корней уравнения F(t)=G(t), то есть (a1−a2)t2+(b1−b2)t+(c1−c2)=0. Опять по теореме Виета получаем
t1t2=a1−a2c1−c2=a1−a243a1−43a2=43,
что и требовалось доказать.
Итак, если в некоторый момент одно из Петиных чисел равно t1=5−25=25, то второе есть t2=43:25=103, откуда x2=103+25=514.
Замечание. Описанную ситуацию можно получить даже за один ход, если, например, Петя запишет трёхчлен x2−3x+2, а Вася — трёхчлен 6x2−42x+72.