proof for cos2x= cos²x-sin²x = 1-tan²x/1+tan²x=1-2sin²x=2cos²-1, Double ...