当a,b是非零实数时,以下四个命题都成立: