a) (x - 3)(x + 7) - 13 = (x + 8)(x - 4) - 2
x² + 7x - 3x - 21 - 13 = x² - 4x + 8x - 32 - 2
x² + 4x - 34 = x² + 4x - 34
б) 16-(x+3)(x-3) = 7+x².
16 - (x² - 9) = 7 + x²
16 - x² + 9 = 7 + x²
25 - x² = 7 + x² (тождество неверно)
Ответ: тождество а) доказано; тождество б) неверно.