本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261016-r03-linear-transformation-foundations · 2026-10-12 · 100 題
R²到R²列向量，明示2×2矩陣模型。M=[[0, 0], [0, 0]]、v=[0, 0]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([0, 0], [0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0], [0, 0])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 2], [3, 4]]、v=[0, 0]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([1, 3], [2, 4], [0, 0], [0, 0])
有限結構核對=([1, 3], [2, 4], [0, 0], [0, 0])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-10, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-10, 2], [1, -1], [-11, 3], [-11, 3])
有限結構核對=([-10, 2], [1, -1], [-11, 3], [-11, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-9, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-9, 2], [1, -1], [-10, 3], [-10, 3])
有限結構核對=([-9, 2], [1, -1], [-10, 3], [-10, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-8, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-8, 2], [1, -1], [-9, 3], [-9, 3])
有限結構核對=([-8, 2], [1, -1], [-9, 3], [-9, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-7, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-7, 2], [1, -1], [-8, 3], [-8, 3])
有限結構核對=([-7, 2], [1, -1], [-8, 3], [-8, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-6, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-6, 2], [1, -1], [-7, 3], [-7, 3])
有限結構核對=([-6, 2], [1, -1], [-7, 3], [-7, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-5, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-5, 2], [1, -1], [-6, 3], [-6, 3])
有限結構核對=([-5, 2], [1, -1], [-6, 3], [-6, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-4, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-4, 2], [1, -1], [-5, 3], [-5, 3])
有限結構核對=([-4, 2], [1, -1], [-5, 3], [-5, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-3, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-3, 2], [1, -1], [-4, 3], [-4, 3])
有限結構核對=([-3, 2], [1, -1], [-4, 3], [-4, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-2, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-2, 2], [1, -1], [-3, 3], [-3, 3])
有限結構核對=([-2, 2], [1, -1], [-3, 3], [-3, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-1, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([-1, 2], [1, -1], [-2, 3], [-2, 3])
有限結構核對=([-1, 2], [1, -1], [-2, 3], [-2, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[0, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([0, 2], [1, -1], [-1, 3], [-1, 3])
有限結構核對=([0, 2], [1, -1], [-1, 3], [-1, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([1, 2], [1, -1], [0, 3], [0, 3])
有限結構核對=([1, 2], [1, -1], [0, 3], [0, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[2, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([2, 2], [1, -1], [1, 3], [1, 3])
有限結構核對=([2, 2], [1, -1], [1, 3], [1, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[3, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([3, 2], [1, -1], [2, 3], [2, 3])
有限結構核對=([3, 2], [1, -1], [2, 3], [2, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[4, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([4, 2], [1, -1], [3, 3], [3, 3])
有限結構核對=([4, 2], [1, -1], [3, 3], [3, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[5, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([5, 2], [1, -1], [4, 3], [4, 3])
有限結構核對=([5, 2], [1, -1], [4, 3], [4, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[6, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([6, 2], [1, -1], [5, 3], [5, 3])
有限結構核對=([6, 2], [1, -1], [5, 3], [5, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[7, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([7, 2], [1, -1], [6, 3], [6, 3])
有限結構核對=([7, 2], [1, -1], [6, 3], [6, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[8, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([8, 2], [1, -1], [7, 3], [7, 3])
有限結構核對=([8, 2], [1, -1], [7, 3], [7, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[9, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([9, 2], [1, -1], [8, 3], [8, 3])
有限結構核對=([9, 2], [1, -1], [8, 3], [8, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[10, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([10, 2], [1, -1], [9, 3], [9, 3])
有限結構核對=([10, 2], [1, -1], [9, 3], [9, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[11, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([11, 2], [1, -1], [10, 3], [10, 3])
有限結構核對=([11, 2], [1, -1], [10, 3], [10, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[12, 1], [2, -1]]、v=[1, -1]。依序求 (第一列向量M*e1, 第二列向量M*e2, Mv, v1*column1+v2*column2)。
([12, 2], [1, -1], [11, 3], [11, 3])
有限結構核對=([12, 2], [1, -1], [11, 3], [11, 3])。讀出兩個基底像，再以給定分量組合；另按行乘列求Mv。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-basis-column-reconstruction · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[0, 0], [0, 0]]、u=[0, 0]、v=[0, 0]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([0, 0], [0, 0], [0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0], [0, 0], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 1]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([1, 0], [0, 1], [1, 1], [1, 1], [0, 0])
有限結構核對=([1, 0], [0, 1], [1, 1], [1, 1], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-10, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-10, 0], [1, 2], [-9, 2], [-9, 2], [0, 0])
有限結構核對=([-10, 0], [1, 2], [-9, 2], [-9, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-9, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-9, 0], [1, 2], [-8, 2], [-8, 2], [0, 0])
有限結構核對=([-9, 0], [1, 2], [-8, 2], [-8, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-8, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-8, 0], [1, 2], [-7, 2], [-7, 2], [0, 0])
有限結構核對=([-8, 0], [1, 2], [-7, 2], [-7, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-7, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-7, 0], [1, 2], [-6, 2], [-6, 2], [0, 0])
有限結構核對=([-7, 0], [1, 2], [-6, 2], [-6, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-6, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-6, 0], [1, 2], [-5, 2], [-5, 2], [0, 0])
有限結構核對=([-6, 0], [1, 2], [-5, 2], [-5, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-5, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-5, 0], [1, 2], [-4, 2], [-4, 2], [0, 0])
有限結構核對=([-5, 0], [1, 2], [-4, 2], [-4, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-4, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-4, 0], [1, 2], [-3, 2], [-3, 2], [0, 0])
有限結構核對=([-4, 0], [1, 2], [-3, 2], [-3, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-3, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-3, 0], [1, 2], [-2, 2], [-2, 2], [0, 0])
有限結構核對=([-3, 0], [1, 2], [-2, 2], [-2, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-2, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-2, 0], [1, 2], [-1, 2], [-1, 2], [0, 0])
有限結構核對=([-2, 0], [1, 2], [-1, 2], [-1, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[-1, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([-1, 0], [1, 2], [0, 2], [0, 2], [0, 0])
有限結構核對=([-1, 0], [1, 2], [0, 2], [0, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[0, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([0, 0], [1, 2], [1, 2], [1, 2], [0, 0])
有限結構核對=([0, 0], [1, 2], [1, 2], [1, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([1, 0], [1, 2], [2, 2], [2, 2], [0, 0])
有限結構核對=([1, 0], [1, 2], [2, 2], [2, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[2, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([2, 0], [1, 2], [3, 2], [3, 2], [0, 0])
有限結構核對=([2, 0], [1, 2], [3, 2], [3, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[3, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([3, 0], [1, 2], [4, 2], [4, 2], [0, 0])
有限結構核對=([3, 0], [1, 2], [4, 2], [4, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[4, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([4, 0], [1, 2], [5, 2], [5, 2], [0, 0])
有限結構核對=([4, 0], [1, 2], [5, 2], [5, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[5, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([5, 0], [1, 2], [6, 2], [6, 2], [0, 0])
有限結構核對=([5, 0], [1, 2], [6, 2], [6, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[6, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([6, 0], [1, 2], [7, 2], [7, 2], [0, 0])
有限結構核對=([6, 0], [1, 2], [7, 2], [7, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[7, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([7, 0], [1, 2], [8, 2], [8, 2], [0, 0])
有限結構核對=([7, 0], [1, 2], [8, 2], [8, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[8, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([8, 0], [1, 2], [9, 2], [9, 2], [0, 0])
有限結構核對=([8, 0], [1, 2], [9, 2], [9, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[9, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([9, 0], [1, 2], [10, 2], [10, 2], [0, 0])
有限結構核對=([9, 0], [1, 2], [10, 2], [10, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[10, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([10, 0], [1, 2], [11, 2], [11, 2], [0, 0])
有限結構核對=([10, 0], [1, 2], [11, 2], [11, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[11, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([11, 0], [1, 2], [12, 2], [12, 2], [0, 0])
有限結構核對=([11, 0], [1, 2], [12, 2], [12, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[12, 1], [0, 2]]、u=[1, 0]、v=[0, 1]。求 (Mu, Mv, M(u+v), Mu+Mv, 後兩側之差)。
([12, 0], [1, 2], [13, 2], [13, 2], [0, 0])
有限結構核對=([12, 0], [1, 2], [13, 2], [13, 2], [0, 0])。先後兩種求值都逐分量計算，核明示矩陣模型的實際殘差。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-additivity-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[0, 0], [0, 0]]、v=[0, 0]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([0, 0], [0, 0], [0, 0], [0, 0])
有限結構核對=([0, 0], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 1]]、v=[1, -1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([1, -1], [0, 0], [0, 0], [0, 0])
有限結構核對=([1, -1], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-10, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-10, 2], [-10, 2], [-10, 2], [0, 0])
有限結構核對=([-10, 2], [-10, 2], [-10, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-9, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-9, 2], [9, -2], [9, -2], [0, 0])
有限結構核對=([-9, 2], [9, -2], [9, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-8, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([-8, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([-8, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-7, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-7, 2], [-7, 2], [-7, 2], [0, 0])
有限結構核對=([-7, 2], [-7, 2], [-7, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-6, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-6, 2], [6, -2], [6, -2], [0, 0])
有限結構核對=([-6, 2], [6, -2], [6, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-5, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([-5, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([-5, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-4, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-4, 2], [-4, 2], [-4, 2], [0, 0])
有限結構核對=([-4, 2], [-4, 2], [-4, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-3, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-3, 2], [3, -2], [3, -2], [0, 0])
有限結構核對=([-3, 2], [3, -2], [3, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-2, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([-2, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([-2, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[-1, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([-1, 2], [-1, 2], [-1, 2], [0, 0])
有限結構核對=([-1, 2], [-1, 2], [-1, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[0, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([0, 2], [0, -2], [0, -2], [0, 0])
有限結構核對=([0, 2], [0, -2], [0, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[1, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([1, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([1, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[2, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([2, 2], [2, 2], [2, 2], [0, 0])
有限結構核對=([2, 2], [2, 2], [2, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[3, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([3, 2], [-3, -2], [-3, -2], [0, 0])
有限結構核對=([3, 2], [-3, -2], [-3, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[4, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([4, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([4, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[5, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([5, 2], [5, 2], [5, 2], [0, 0])
有限結構核對=([5, 2], [5, 2], [5, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[6, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([6, 2], [-6, -2], [-6, -2], [0, 0])
有限結構核對=([6, 2], [-6, -2], [-6, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[7, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([7, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([7, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[8, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([8, 2], [8, 2], [8, 2], [0, 0])
有限結構核對=([8, 2], [8, 2], [8, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[9, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([9, 2], [-9, -2], [-9, -2], [0, 0])
有限結構核對=([9, 2], [-9, -2], [-9, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[10, 1]、c=0。求 (Mv, M(cv), cMv, 後兩側之差)。
([10, 2], [0, 0], [0, 0], [0, 0])
有限結構核對=([10, 2], [0, 0], [0, 0], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[11, 1]、c=1。求 (Mv, M(cv), cMv, 後兩側之差)。
([11, 2], [11, 2], [11, 2], [0, 0])
有限結構核對=([11, 2], [11, 2], [11, 2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。M=[[1, 0], [0, 2]]、v=[12, 1]、c=-1。求 (Mv, M(cv), cMv, 後兩側之差)。
([12, 2], [-12, -2], [-12, -2], [0, 0])
有限結構核對=([12, 2], [-12, -2], [-12, -2], [0, 0])。一條路先縮放輸入，一條路先映射；兩路以BigInt核分量。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-scalar-values · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[0, 0], [0, 0]]、v=[0, 0]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([0, 0], [0, 0], [0, 0], 是)
有限結構核對=([0, 0], [0, 0], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[0, 0], [0, 0]]、v=[99, 1]、b=[1, -1]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([0, 0], [1, -1], [1, -1], 否)
有限結構核對=([0, 0], [1, -1], [1, -1], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-10, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-10, 2], [-10, 2], [0, 0], 是)
有限結構核對=([-10, 2], [-10, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-9, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-9, 2], [-8, 2], [1, 0], 否)
有限結構核對=([-9, 2], [-8, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-8, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-8, 2], [-8, 2], [0, 0], 是)
有限結構核對=([-8, 2], [-8, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-7, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-7, 2], [-6, 2], [1, 0], 否)
有限結構核對=([-7, 2], [-6, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-6, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-6, 2], [-6, 2], [0, 0], 是)
有限結構核對=([-6, 2], [-6, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-5, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-5, 2], [-4, 2], [1, 0], 否)
有限結構核對=([-5, 2], [-4, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-4, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-4, 2], [-4, 2], [0, 0], 是)
有限結構核對=([-4, 2], [-4, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-3, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-3, 2], [-2, 2], [1, 0], 否)
有限結構核對=([-3, 2], [-2, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-2, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-2, 2], [-2, 2], [0, 0], 是)
有限結構核對=([-2, 2], [-2, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[-1, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([-1, 2], [0, 2], [1, 0], 否)
有限結構核對=([-1, 2], [0, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[0, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([0, 2], [0, 2], [0, 0], 是)
有限結構核對=([0, 2], [0, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[1, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([1, 2], [2, 2], [1, 0], 否)
有限結構核對=([1, 2], [2, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[2, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([2, 2], [2, 2], [0, 0], 是)
有限結構核對=([2, 2], [2, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[3, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([3, 2], [4, 2], [1, 0], 否)
有限結構核對=([3, 2], [4, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[4, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([4, 2], [4, 2], [0, 0], 是)
有限結構核對=([4, 2], [4, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[5, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([5, 2], [6, 2], [1, 0], 否)
有限結構核對=([5, 2], [6, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[6, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([6, 2], [6, 2], [0, 0], 是)
有限結構核對=([6, 2], [6, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[7, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([7, 2], [8, 2], [1, 0], 否)
有限結構核對=([7, 2], [8, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[8, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([8, 2], [8, 2], [0, 0], 是)
有限結構核對=([8, 2], [8, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[9, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([9, 2], [10, 2], [1, 0], 否)
有限結構核對=([9, 2], [10, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[10, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([10, 2], [10, 2], [0, 0], 是)
有限結構核對=([10, 2], [10, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[11, 1]、b=[1, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([11, 2], [12, 2], [1, 0], 否)
有限結構核對=([11, 2], [12, 2], [1, 0], 否)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate
R²到R²列向量，明示2×2矩陣模型。宣告全R²的F(v)=Mv+b，M=[[1, 0], [0, 2]]、v=[12, 1]、b=[0, 0]。求 (Mv, Mv+b, F(0)=b, 此明示仿射模型為線性資格)。
([12, 2], [12, 2], [0, 0], 是)
有限結構核對=([12, 2], [12, 2], [0, 0], 是)。零點像就是b；依此已宣告的矩陣仿射模型核b是否兩分量皆零。有限精確核對不是一般形式證明。有限測值不是任意函數線性證明，零映射可以線性。
矩陣表示的實平面線性映射 · qf-density16-linear-affine-zero-obstruction · candidate