已知角α为锐角,求证1