“若实数a、b满足ab=0,则a、b中至少有一个是0.”
第一步应假设:a、b都不等于0.
故答案是:a、b都不等于0.