A=[cosθsinθ−sinθcosθ]. Let P(n):An=[cosnθsinnθ−sinnθcosnθ].
Base case (n=1): RHS =[cosθsinθ−sinθcosθ]=A. P(1) holds.
Inductive step: Assume P(k): Ak=[coskθsinkθ−sinkθcoskθ].
Ak+1=Ak⋅A: entry(1,1) =coskθcosθ−sinkθsinθ=cos((k+1)θ).
entry(1,2) =coskθ(−sinθ)+(−sinkθ)cosθ=−[sinkθcosθ+coskθsinθ]=−sin((k+1)θ).
entry(2,1) =sinkθcosθ+coskθsinθ=sin((k+1)θ). …