(a + b)(a² + b²)(a⁴ + b⁴)(a⁸+ b⁸)(a¹⁶ + b¹⁶) = a³² - b³²
Умножим на (a - b)
(a - b)(a + b)(a² + b²)(a⁴ + b⁴)(a⁸+ b⁸)(a¹⁶ + b¹⁶) = (a³² - b³²)(a - b)
Воспользуемся формулой разности квадратов:
(a² - b²)(a² + b²)(a⁴ + b⁴)(a⁸+ b⁸)(a¹⁶ + b¹⁶) = (a³² - b³²)(a - b)
(a⁴ - b⁴)(a⁴ + b⁴)(a⁸+ b⁸)(a¹⁶ + b¹⁶) = (a³² - b³²)(a - b)
(a⁸ - b⁸)(a⁸+ b⁸)(a¹⁶ + b¹⁶) = (a³² - b³²)(a - b)
(a¹⁶ - b¹⁶)(a¹⁶ + b¹⁶) = (a³² - b³²)(a - b)
a³² - b³² = (a³² - b³²)(a - b) (1)
Из условия a = b + 1 получаем, что a - b = 1. Подставляем в равенство (1):
a³² - b³² = (a³² - b³²)·1
a³² - b³² = a³² - b³² - верное тождество