α,β是asinx bcosx=c,在(0,π)内的两个不同解,求证