抽象代数:设a,b是群G的两个元,若(ab)^2=a^2b^2,试证ab=ba