求证:a^4+1≥a^3+a分析法 特别是要转换的过程