cos36sin18=0.25怎么证明啊?