Assumptions:
TeX:
T_{n}\!\left(x\right) = \,{}_2F_1\!\left(-n, n, \frac{1}{2}, \frac{1 - x}{2}\right) n \in \mathbb{Z} \,\mathbin{\operatorname{and}}\, x \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
ChebyshevT | Chebyshev polynomial of the first kind | |
Hypergeometric2F1 | Gauss hypergeometric function | |
ZZ | Integers | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("382679"), Formula(Equal(ChebyshevT(n, x), Hypergeometric2F1(Neg(n), n, Div(1, 2), Div(Sub(1, x), 2)))), Variables(n, x), Assumptions(And(Element(n, ZZ), Element(x, CC))))