Xét tổng : (ax - by) + (ay - bx) = ax - by + ay - bx = (ax + ay) - (by + bx) = a(x + y) - b(x + y) = (a - b)(x + y) chia hết cho x + y .
Vậy (ax - by) + (ay - bx) chia hết cho x + y (1)
Mà ax - by chia hết cho x + y (2)
Từ (1) và (2) suy ra ay - bx chia hết cho x + y (đpcm)