T_neg_two

Mathlib.RingTheory.Polynomial.Chebyshev

URI: https://scilib.ai/kg/mathlib#Polynomial.Chebyshev.T_neg_two

English

The formula T(-2) = 2 X^2 − 1 holds for the Chebyshev polynomials.

Русский

Формула T(-2) = 2 X^2 − 1 выполняется для Чебышёвских полиномов.

LaTeX

$$T_R(-2) = 2 X^2 - 1$$

Lean4

theorem T_neg_two : T R (-2) = 2 * X ^ 2 - 1 := by simp [T_two]

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

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

Разделы

Аффилиация

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