Друг попросил помочь, очень срочно, а я уже не помню этих тем. Поможете?

Мне кажется, что тут не хватает условий. Например, предположений о натуральности чисел a, b, c, d, впрочем, это следует из самой постановки задачи. Можно попробовать так: a*c+b*d= =a*c+b*c-b*c+b*d+a*d-a*d= =(a*c+b*c)+(b*d+a*d)-a*d-b*c= =c*(a+b)+d*(a+b)-(a*d+b*c)= =(a+b)*(c+d)-(a*d+b*c) (a+b)*(c+d) очевидно делится на a+b (a*d+b*c) делится на a+b по условию, следовательно a*c+b*d тоже делится на a+b