等式 |a+at b c+ct d|=|a |b c d |+|at b ct d|成立。