证明cos3a = 4cos³3 a - 3cosa