由严格对角占优和最大性,a11∣x1∣>(∣a12∣+∣a13∣)∣x1∣ge∣a12x2∣+∣a13x3∣a_{11}|x_1|>(|a_{12}|+|a_{13}|)|x_1|\\ge |a_{12}x_2|+|a_{13}x_3|a11∣x1∣>(∣a12∣+∣a13∣)∣x1∣ge∣a12x2∣+∣a13x3∣。因此第一方程不可能相加为零,与其为方程组的解矛盾。