チェビシェフの多項式ってあるじゃん？あれって導出できる？

1 ：以下、＼(^o^)／でVIPがお送りします：2017/02/22(水) 08:03:59.252 ID:U8BXWDEE0.net

x=cost,cos(nt)=T_n(x)とするとT_(n+2)=2xT_(n+1)-T_nが成り立つ
この式を初見で導ける？