是等价的，也就是说： 由于两边平方，得根据绝对值的定义，
用范数来解释.在formula_9、formula_3、formula_11和formula_12是有理数的情况中，这个等式可以解释为域formula_21的范数是积性的。也就是说：而且所以，这个等式就是说