如何证明cos15°是代数数在下急用,