Напомню, пытаемся доказать, что
(1)

не имеет решений в натуральных числах кроме тривиальных.
В (1) левая часть представляет собой число вида:
(2)

, где

- треугольное число.
Правая часть:
(3)

, где

- треугольное число.
Чтобы выполнялось (1), необходимо, чтобы выполнялось:
(4)

или

Отсюда, используя свойство треугольных чисел, перейдем к квадратам:
(5)
С другой стороны, умножив обе части (1) на

для левой из них получим:
(6)

При этом, разность двух кубов, разность оснований которых равна 2 составляет сумму двух последовательных треугольных чисел и двойки.
Используем ещё одно свойство треугольных чисел - сумма последовательных равна квадрату. Причем квадрат этот будет ровно тот же самый, что и в (5), то есть, равен

. Тогда, для правой части, применяя обычное умножение и добавление для квадрата, можем записать:
(7)

.
Решая совместно (5) и (7) приходим к
(8)

имеющему единственное решение в натуральных числах:
(9)

...
Уважаемый nnosipov, видимо, это и есть то что Вы называете "удачное стечение обстоятельств"?
Все равно, как мне кажется, красиво получилось...