求证:a^k+b^k能被a+b整除