Обоснуйте, что: а) ad+bc+ac+bd делится на a+b; б) если ad+bc делится

а) Проведём преображения данного выражения:

a * d + b * c + a * c + b * d = (a * d + b * d) + (b * c + a * c) =

= (a + b) * d + (a + b) * c = (a + b) * (c + d).

Как следует, выражение делится на a + b.

б) Если a * d + b * c делится на a + b, то имеем:

a * d + b * c = (a + b) * n, где n - целое число.

Рассмотрим сумму выражений:

(a * c + b * d) + (a * d + b * c) = (a * c + a * d) + (b * d + b * c) =

= a * (c + d) + b * (c + d) = (a + b) * (c + d).

Тогда имеем:

a * c + b * d = a * d + b * c + (a + b) * (c + d) =

= (a + b) * n + (a + b) * (c + d) = (a + b) * (c + d + n).

Как следует, a * c + b * d делится на a + b.

в) Если a * d + b * c не делится на a + b, то имеем:

a * d + b * c = (a + b) * n + r, где n, r - целые числа и r - остаток.

Осмотрим сумму выражений:

(a * c + b * d) + (a * d + b * c) = (a * c + a * d) + (b * d + b * c) =

= a * (c + d) + b * (c + d) = (a + b) * (c + d).

Тогда имеем:

a * c + b * d = a * d + b * c + (a + b) * (c + d) =

= (a + b) * n + r + (a + b) * (c + d) = (a + b) * (c + d + n) + r.

Как следует, a * c + b * d делится на a + b c остатком r, а значит, не делится на a + b.