a3+1因式分解详细一些