已知ab不等于0_求证a b=1的