对任意实数 $a$，$b$，$c$ 在下列命题中，真命题是（ ）

\begin{solution} 因为 $ac>bc$ 等价于 $c(a-b)>0$，当 $a>b$ 且 $c=0$ 时，$ac=bc$，所以“$ac>bc$”不是“$a>b$”的必要条件；当 $c<0$ 时，$ac>bc$ 反而推出 $a<b$，所以它也不是“$a>b$”的充分条件.

若 $a=b$，则无论 $c$ 取何值都有 $ac=bc$，所以“$ac=bc$”是“$a=b$”的必要条件. 反过来取 $c=0$ 且 $a\ne b$，仍有 $ac=bc$，故它不是充分条件. 因此正确命题是“$ac=bc$”是“$a=b$”的必要条件，与答案一致. \end{solution}