当a,b为什么有理数时,等式|a*b|=a*b成立