sin15x+cos15x=0,求x的最小正数解.