已知α为锐角,求证1