a.
For instance,
The trick is to only adjust the last row. The usual order
7,
8,
9 yields all sums to be multiple of
3, so it's just a matter of rearranging them.
b.
No, it's not possible. First, notice that the sum of three numbers x, y, z is a multiple of 3 iff x≡y≡z(mod3) or x, y, z are 0, 1, 2 mod 3 in some order. Let a, b, c, d be the numbers in the corner modulo 3. So two of them are equal. We can suppose wlog that they are either a=b or a=d. Also, let x be the number in the central cell modulo 3.
If
a=d, then
x=a and
x is equal to either
b or
c. Suppose wlog
x=b=a. Then we have the following situation:
Let
m be the other remainder (that is,
m=a and
m=b). Then
m cannot be in the same line as
a and
b. This leaves only one possibility:
But the remaining
a will necessarily yield a line with all three remainders. Now if
a=b, then both
c and
d are different from
a (otherwise, we reduce the problem to the previous case). If
d=c,
a,
c,
d are the three distinct remainders, and we have no possibility for
x. So
c=d.
But this prevents the other remainder
m to appear in the middle row, leaving only two cells for three numbers, which is not possible.
So, in both cases, one of the sums is a multiple of
3.