已知:cos3α=4 (cosα)^3-3cosα,类似地用sin α/3表示sinα,并证明