Краткий ответ:
а) ;
Тождество доказано.
б) ;
Тождество доказано.
Подробный ответ:
а)
Наша цель — доказать тождество .
Исходное выражение:
Для того чтобы упростить выражение, начнем с представления факториалов в их развернутой форме. Напоминаю, что , это свойство факториала.
Подставим развернутую форму для :
Вынесем общий множитель :
Упростим выражение в скобках:
Теперь получаем окончательную форму:
Заключение:
Мы получили, что , что и требовалось доказать.
Тождество доказано.
б)
Теперь давайте разберем более сложное тождество: .
Исходное выражение:
Как и в предыдущем случае, распишем факториалы. Из свойства факториалов мы знаем, что .
Подставим развернутую форму для :
Теперь раскроем . Заметим, что . Подставим это в выражение:
Вынесем общий множитель :
Упростим выражение в скобках:
Подставляем полученное выражение:
Получаем окончательную форму:
Заключение:
Мы пришли к выражению, которое точно совпадает с правой частью тождества. Таким образом, тождество доказано.
Тождество доказано.