How do you prove 2cos2A1=cos(2A)?