已知整数a、b、c、A、B、C满足条件a+A=b+B=c+C=k,求证:aB+bC+cA