本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261016-r01-vector-foundations · 2026-10-12 · 100 題
固定標準基底的整數二分量向量。u=[0, 0]、v=[0, 0]、a=0、b=0。依序求 (a*u, b*v, a*u+b*v)。
([0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[99, 1]、v=[1, 2]、a=0、b=1。依序求 (a*u, b*v, a*u+b*v)。
([0, 0], [1, 2], [1, 2])
有限結構核對=([0, 0], [1, 2], [1, 2])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[1, 2]、v=[1, 2]、a=2、b=-2。依序求 (a*u, b*v, a*u+b*v)。
([2, 4], [-2, -4], [0, 0])
有限結構核對=([2, 4], [-2, -4], [0, 0])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[2, -3]、v=[1, 4]、a=9007199254740991、b=-9007199254740991。依序求 (a*u, b*v, a*u+b*v)。
([18014398509481982, -27021597764222973], [-9007199254740991, -36028797018963964], [9007199254740991, -63050394783186937])
有限結構核對=([18014398509481982, -27021597764222973], [-9007199254740991, -36028797018963964], [9007199254740991, -63050394783186937])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-8, 1]、v=[1, 2]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-16, 2], [-1, -2], [-17, 0])
有限結構核對=([-16, 2], [-1, -2], [-17, 0])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-7, 1]、v=[1, 3]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-14, 2], [-1, -3], [-15, -1])
有限結構核對=([-14, 2], [-1, -3], [-15, -1])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-6, 1]、v=[1, 4]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-12, 2], [-1, -4], [-13, -2])
有限結構核對=([-12, 2], [-1, -4], [-13, -2])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-5, 1]、v=[1, 5]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-10, 2], [-1, -5], [-11, -3])
有限結構核對=([-10, 2], [-1, -5], [-11, -3])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-4, 1]、v=[1, 6]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-8, 2], [-1, -6], [-9, -4])
有限結構核對=([-8, 2], [-1, -6], [-9, -4])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-3, 1]、v=[1, 7]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-6, 2], [-1, -7], [-7, -5])
有限結構核對=([-6, 2], [-1, -7], [-7, -5])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-2, 1]、v=[1, 8]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-4, 2], [-1, -8], [-5, -6])
有限結構核對=([-4, 2], [-1, -8], [-5, -6])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[-1, 1]、v=[1, 9]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([-2, 2], [-1, -9], [-3, -7])
有限結構核對=([-2, 2], [-1, -9], [-3, -7])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[0, 1]、v=[1, 10]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([0, 2], [-1, -10], [-1, -8])
有限結構核對=([0, 2], [-1, -10], [-1, -8])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[1, 1]、v=[1, 11]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([2, 2], [-1, -11], [1, -9])
有限結構核對=([2, 2], [-1, -11], [1, -9])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[2, 1]、v=[1, 12]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([4, 2], [-1, -12], [3, -10])
有限結構核對=([4, 2], [-1, -12], [3, -10])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[3, 1]、v=[1, 13]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([6, 2], [-1, -13], [5, -11])
有限結構核對=([6, 2], [-1, -13], [5, -11])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[4, 1]、v=[1, 14]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([8, 2], [-1, -14], [7, -12])
有限結構核對=([8, 2], [-1, -14], [7, -12])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[5, 1]、v=[1, 15]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([10, 2], [-1, -15], [9, -13])
有限結構核對=([10, 2], [-1, -15], [9, -13])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[6, 1]、v=[1, 16]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([12, 2], [-1, -16], [11, -14])
有限結構核對=([12, 2], [-1, -16], [11, -14])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[7, 1]、v=[1, 17]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([14, 2], [-1, -17], [13, -15])
有限結構核對=([14, 2], [-1, -17], [13, -15])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[8, 1]、v=[1, 18]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([16, 2], [-1, -18], [15, -16])
有限結構核對=([16, 2], [-1, -18], [15, -16])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[9, 1]、v=[1, 19]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([18, 2], [-1, -19], [17, -17])
有限結構核對=([18, 2], [-1, -19], [17, -17])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[10, 1]、v=[1, 20]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([20, 2], [-1, -20], [19, -18])
有限結構核對=([20, 2], [-1, -20], [19, -18])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[11, 1]、v=[1, 21]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([22, 2], [-1, -21], [21, -19])
有限結構核對=([22, 2], [-1, -21], [21, -19])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[12, 1]、v=[1, 22]、a=2、b=-1。依序求 (a*u, b*v, a*u+b*v)。
([24, 2], [-1, -22], [23, -20])
有限結構核對=([24, 2], [-1, -22], [23, -20])。分別把純量乘到每個分量，再逐分量相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-weighted-combination · candidate
固定標準基底的整數二分量向量。u=[0, 0]、v=[0, 0]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([0, 0], [0, 0], [0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0], [0, 0], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[1, -1]、v=[1, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([1, -1], [1, -1], [0, 0], [0, 0], [0, 0])
有限結構核對=([1, -1], [1, -1], [0, 0], [0, 0], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-10, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-10, 1], [0, -1], [-10, 2], [10, -2], [0, 0])
有限結構核對=([-10, 1], [0, -1], [-10, 2], [10, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-9, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-9, 1], [0, -1], [-9, 2], [9, -2], [0, 0])
有限結構核對=([-9, 1], [0, -1], [-9, 2], [9, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-8, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-8, 1], [0, -1], [-8, 2], [8, -2], [0, 0])
有限結構核對=([-8, 1], [0, -1], [-8, 2], [8, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-7, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-7, 1], [0, -1], [-7, 2], [7, -2], [0, 0])
有限結構核對=([-7, 1], [0, -1], [-7, 2], [7, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-6, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-6, 1], [0, -1], [-6, 2], [6, -2], [0, 0])
有限結構核對=([-6, 1], [0, -1], [-6, 2], [6, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-5, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-5, 1], [0, -1], [-5, 2], [5, -2], [0, 0])
有限結構核對=([-5, 1], [0, -1], [-5, 2], [5, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-4, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-4, 1], [0, -1], [-4, 2], [4, -2], [0, 0])
有限結構核對=([-4, 1], [0, -1], [-4, 2], [4, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-3, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-3, 1], [0, -1], [-3, 2], [3, -2], [0, 0])
有限結構核對=([-3, 1], [0, -1], [-3, 2], [3, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-2, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-2, 1], [0, -1], [-2, 2], [2, -2], [0, 0])
有限結構核對=([-2, 1], [0, -1], [-2, 2], [2, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[-1, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([-1, 1], [0, -1], [-1, 2], [1, -2], [0, 0])
有限結構核對=([-1, 1], [0, -1], [-1, 2], [1, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[0, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([0, 1], [0, -1], [0, 2], [0, -2], [0, 0])
有限結構核對=([0, 1], [0, -1], [0, 2], [0, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[1, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([1, 1], [0, -1], [1, 2], [-1, -2], [0, 0])
有限結構核對=([1, 1], [0, -1], [1, 2], [-1, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[2, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([2, 1], [0, -1], [2, 2], [-2, -2], [0, 0])
有限結構核對=([2, 1], [0, -1], [2, 2], [-2, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[3, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([3, 1], [0, -1], [3, 2], [-3, -2], [0, 0])
有限結構核對=([3, 1], [0, -1], [3, 2], [-3, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[4, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([4, 1], [0, -1], [4, 2], [-4, -2], [0, 0])
有限結構核對=([4, 1], [0, -1], [4, 2], [-4, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[5, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([5, 1], [0, -1], [5, 2], [-5, -2], [0, 0])
有限結構核對=([5, 1], [0, -1], [5, 2], [-5, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[6, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([6, 1], [0, -1], [6, 2], [-6, -2], [0, 0])
有限結構核對=([6, 1], [0, -1], [6, 2], [-6, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[7, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([7, 1], [0, -1], [7, 2], [-7, -2], [0, 0])
有限結構核對=([7, 1], [0, -1], [7, 2], [-7, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[8, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([8, 1], [0, -1], [8, 2], [-8, -2], [0, 0])
有限結構核對=([8, 1], [0, -1], [8, 2], [-8, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[9, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([9, 1], [0, -1], [9, 2], [-9, -2], [0, 0])
有限結構核對=([9, 1], [0, -1], [9, 2], [-9, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[10, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([10, 1], [0, -1], [10, 2], [-10, -2], [0, 0])
有限結構核對=([10, 1], [0, -1], [10, 2], [-10, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[11, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([11, 1], [0, -1], [11, 2], [-11, -2], [0, 0])
有限結構核對=([11, 1], [0, -1], [11, 2], [-11, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[12, 1]、v=[0, -1]。依序答 (u, v, u−v, v−u, 兩個差的和)。
([12, 1], [0, -1], [12, 2], [-12, -2], [0, 0])
有限結構核對=([12, 1], [0, -1], [12, 2], [-12, -2], [0, 0])。保留有序二分量，兩種減法各算一次再相加。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-difference-reversal · candidate
固定標準基底的整數二分量向量。u=[0, 0]、a=0、b=0。求 (u, (a+b)u, au+bu, 後兩路之差)。
([0, 0], [0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[1, 2]、a=2、b=-2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([1, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([1, 2], [0, 0], [0, 0], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[1, -1]、a=-1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([1, -1], [1, -1], [1, -1], [0, 0])
有限結構核對=([1, -1], [1, -1], [1, -1], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-9, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-9, 2], [-27, 6], [-27, 6], [0, 0])
有限結構核對=([-9, 2], [-27, 6], [-27, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-8, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-8, 2], [-24, 6], [-24, 6], [0, 0])
有限結構核對=([-8, 2], [-24, 6], [-24, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-7, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-7, 2], [-21, 6], [-21, 6], [0, 0])
有限結構核對=([-7, 2], [-21, 6], [-21, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-6, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-6, 2], [-18, 6], [-18, 6], [0, 0])
有限結構核對=([-6, 2], [-18, 6], [-18, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-5, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-5, 2], [-15, 6], [-15, 6], [0, 0])
有限結構核對=([-5, 2], [-15, 6], [-15, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-4, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-4, 2], [-12, 6], [-12, 6], [0, 0])
有限結構核對=([-4, 2], [-12, 6], [-12, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-3, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-3, 2], [-9, 6], [-9, 6], [0, 0])
有限結構核對=([-3, 2], [-9, 6], [-9, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-2, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-2, 2], [-6, 6], [-6, 6], [0, 0])
有限結構核對=([-2, 2], [-6, 6], [-6, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[-1, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([-1, 2], [-3, 6], [-3, 6], [0, 0])
有限結構核對=([-1, 2], [-3, 6], [-3, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[0, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([0, 2], [0, 6], [0, 6], [0, 0])
有限結構核對=([0, 2], [0, 6], [0, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[1, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([1, 2], [3, 6], [3, 6], [0, 0])
有限結構核對=([1, 2], [3, 6], [3, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[2, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([2, 2], [6, 6], [6, 6], [0, 0])
有限結構核對=([2, 2], [6, 6], [6, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[3, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([3, 2], [9, 6], [9, 6], [0, 0])
有限結構核對=([3, 2], [9, 6], [9, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[4, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([4, 2], [12, 6], [12, 6], [0, 0])
有限結構核對=([4, 2], [12, 6], [12, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[5, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([5, 2], [15, 6], [15, 6], [0, 0])
有限結構核對=([5, 2], [15, 6], [15, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[6, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([6, 2], [18, 6], [18, 6], [0, 0])
有限結構核對=([6, 2], [18, 6], [18, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[7, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([7, 2], [21, 6], [21, 6], [0, 0])
有限結構核對=([7, 2], [21, 6], [21, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[8, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([8, 2], [24, 6], [24, 6], [0, 0])
有限結構核對=([8, 2], [24, 6], [24, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[9, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([9, 2], [27, 6], [27, 6], [0, 0])
有限結構核對=([9, 2], [27, 6], [27, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[10, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([10, 2], [30, 6], [30, 6], [0, 0])
有限結構核對=([10, 2], [30, 6], [30, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[11, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([11, 2], [33, 6], [33, 6], [0, 0])
有限結構核對=([11, 2], [33, 6], [33, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[12, 2]、a=1、b=2。求 (u, (a+b)u, au+bu, 後兩路之差)。
([12, 2], [36, 6], [36, 6], [0, 0])
有限結構核對=([12, 2], [36, 6], [36, 6], [0, 0])。一條路先加純量，另一條路先乘分量再加，核對實際兩路向量。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-two-scalar-additivity · candidate
固定標準基底的整數二分量向量。u=[0, 0]、v=[0, 0]、a=0、b=0、候選=[0, 0]。求 (au+bv, 候選減真值, 候選相等資格)。
([0, 0], [0, 0], 是)
有限結構核對=([0, 0], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[1, 0]、v=[0, 1]、a=1、b=1、候選=[1, 0]。求 (au+bv, 候選減真值, 候選相等資格)。
([1, 1], [0, -1], 否)
有限結構核對=([1, 1], [0, -1], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[1, 2]、v=[1, 2]、a=2、b=-1、候選=[1, 2]。求 (au+bv, 候選減真值, 候選相等資格)。
([1, 2], [0, 0], 是)
有限結構核對=([1, 2], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-9, 1]、v=[1, 2]、a=2、b=1、候選=[-17, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-17, 4], [0, 0], 是)
有限結構核對=([-17, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-8, 1]、v=[1, 2]、a=2、b=1、候選=[-14, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-15, 4], [1, 0], 否)
有限結構核對=([-15, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-7, 1]、v=[1, 2]、a=2、b=1、候選=[-12, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-13, 4], [1, 0], 否)
有限結構核對=([-13, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-6, 1]、v=[1, 2]、a=2、b=1、候選=[-11, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-11, 4], [0, 0], 是)
有限結構核對=([-11, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-5, 1]、v=[1, 2]、a=2、b=1、候選=[-8, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-9, 4], [1, 0], 否)
有限結構核對=([-9, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-4, 1]、v=[1, 2]、a=2、b=1、候選=[-6, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-7, 4], [1, 0], 否)
有限結構核對=([-7, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-3, 1]、v=[1, 2]、a=2、b=1、候選=[-5, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-5, 4], [0, 0], 是)
有限結構核對=([-5, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-2, 1]、v=[1, 2]、a=2、b=1、候選=[-2, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-3, 4], [1, 0], 否)
有限結構核對=([-3, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[-1, 1]、v=[1, 2]、a=2、b=1、候選=[0, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([-1, 4], [1, 0], 否)
有限結構核對=([-1, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[0, 1]、v=[1, 2]、a=2、b=1、候選=[1, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([1, 4], [0, 0], 是)
有限結構核對=([1, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[1, 1]、v=[1, 2]、a=2、b=1、候選=[4, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([3, 4], [1, 0], 否)
有限結構核對=([3, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[2, 1]、v=[1, 2]、a=2、b=1、候選=[6, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([5, 4], [1, 0], 否)
有限結構核對=([5, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[3, 1]、v=[1, 2]、a=2、b=1、候選=[7, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([7, 4], [0, 0], 是)
有限結構核對=([7, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[4, 1]、v=[1, 2]、a=2、b=1、候選=[10, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([9, 4], [1, 0], 否)
有限結構核對=([9, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[5, 1]、v=[1, 2]、a=2、b=1、候選=[12, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([11, 4], [1, 0], 否)
有限結構核對=([11, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[6, 1]、v=[1, 2]、a=2、b=1、候選=[13, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([13, 4], [0, 0], 是)
有限結構核對=([13, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[7, 1]、v=[1, 2]、a=2、b=1、候選=[16, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([15, 4], [1, 0], 否)
有限結構核對=([15, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[8, 1]、v=[1, 2]、a=2、b=1、候選=[18, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([17, 4], [1, 0], 否)
有限結構核對=([17, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[9, 1]、v=[1, 2]、a=2、b=1、候選=[19, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([19, 4], [0, 0], 是)
有限結構核對=([19, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[10, 1]、v=[1, 2]、a=2、b=1、候選=[22, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([21, 4], [1, 0], 否)
有限結構核對=([21, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[11, 1]、v=[1, 2]、a=2、b=1、候選=[24, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([23, 4], [1, 0], 否)
有限結構核對=([23, 4], [1, 0], 否)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate
固定標準基底的整數二分量向量。u=[12, 1]、v=[1, 2]、a=2、b=1、候選=[25, 4]。求 (au+bv, 候選減真值, 候選相等資格)。
([25, 4], [0, 0], 是)
有限結構核對=([25, 4], [0, 0], 是)。先算兩個真值分量，候選的兩個殘差都零才相等。有限精確核對不是一般形式證明。逐分量不當內積或長度。
固定基底下的平面向量 · qf-density16-vector-candidate-residual · candidate