taylor_X_pow

Mathlib.Algebra.Polynomial.Taylor

URI: https://scilib.ai/kg/mathlib#Polynomial.taylor_X_pow

English

Taylor of X^n equals (X + C r)^n.

Русский

Тейлер для X^n равен (X + C r)^n.

LaTeX

$$$$ \operatorname{taylor}(r)(X^n) = (X + C r)^n $$$$

Lean4

@[simp]
theorem taylor_X_pow (n : ℕ) : taylor r (X ^ n) = (X + C r) ^ n :=
  X_pow_comp

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru