对任意实数a，b，c，给出下列命题，其中是真命题的有(    )

A．a=b⇒ac=bc，ac=bc⇏a=b，所以“a=b”是“ac=bc”的充分不必要条件，故A不是真命题；
B．a>b⇏a²>b²，a²>b²⇏a>b，所以“a=b”是“ac=bc”的既不充分也不必要条件，故B不是真命题；
C．a<5⇏a<3，a<3⇒a<5，所以“a<5”是“a<3”的必要不充分条件，故C不是真命题；
D．a＋5是无理数⇒a是无理数，a是无理数⇒a＋5是无理数，所以“a＋5是无理数”是“a是无理数”的充要条件，故D是真命题．故选D．

略