本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261029-r03-inner-product-induced-norm-foundations · 2026-10-14 · 100 題
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[2,0],[0,1]],"x":[-3,-2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[2, 0], [0, 1]], [-3, -2], 22, sqrt(22), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[2, 0], [0, 1]], [-3, -2], 22, sqrt(22), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[3,1],[1,2]],"x":[-2,-1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[3, 1], [1, 2]], [-2, -1], 18, sqrt(18), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[3, 1], [1, 2]], [-2, -1], 18, sqrt(18), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[4,2],[2,5]],"x":[-1,0]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[4, 2], [2, 5]], [-1, 0], 4, sqrt(4), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[4, 2], [2, 5]], [-1, 0], 4, sqrt(4), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[5,0],[0,1]],"x":[0,1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[5, 0], [0, 1]], [0, 1], 1, sqrt(1), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[5, 0], [0, 1]], [0, 1], 1, sqrt(1), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[6,1],[1,2]],"x":[1,2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[6, 1], [1, 2]], [1, 2], 18, sqrt(18), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[6, 1], [1, 2]], [1, 2], 18, sqrt(18), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[7,2],[2,5]],"x":[2,-2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[7, 2], [2, 5]], [2, -2], 32, sqrt(32), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[7, 2], [2, 5]], [2, -2], 32, sqrt(32), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[8,0],[0,1]],"x":[3,-1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[8, 0], [0, 1]], [3, -1], 73, sqrt(73), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[8, 0], [0, 1]], [3, -1], 73, sqrt(73), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[9,1],[1,2]],"x":[-3,0]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[9, 1], [1, 2]], [-3, 0], 81, sqrt(81), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[9, 1], [1, 2]], [-3, 0], 81, sqrt(81), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[10,2],[2,5]],"x":[-2,1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[10, 2], [2, 5]], [-2, 1], 37, sqrt(37), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[10, 2], [2, 5]], [-2, 1], 37, sqrt(37), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[11,0],[0,1]],"x":[-1,2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[11, 0], [0, 1]], [-1, 2], 15, sqrt(15), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[11, 0], [0, 1]], [-1, 2], 15, sqrt(15), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[12,1],[1,2]],"x":[0,-2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[12, 1], [1, 2]], [0, -2], 8, sqrt(8), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[12, 1], [1, 2]], [0, -2], 8, sqrt(8), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[13,2],[2,5]],"x":[1,-1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[13, 2], [2, 5]], [1, -1], 14, sqrt(14), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[13, 2], [2, 5]], [1, -1], 14, sqrt(14), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[14,0],[0,1]],"x":[2,0]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[14, 0], [0, 1]], [2, 0], 56, sqrt(56), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[14, 0], [0, 1]], [2, 0], 56, sqrt(56), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[15,1],[1,2]],"x":[3,1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[15, 1], [1, 2]], [3, 1], 143, sqrt(143), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[15, 1], [1, 2]], [3, 1], 143, sqrt(143), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[16,2],[2,5]],"x":[-3,2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[16, 2], [2, 5]], [-3, 2], 140, sqrt(140), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[16, 2], [2, 5]], [-3, 2], 140, sqrt(140), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[17,0],[0,1]],"x":[-2,-2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[17, 0], [0, 1]], [-2, -2], 72, sqrt(72), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[17, 0], [0, 1]], [-2, -2], 72, sqrt(72), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[18,1],[1,2]],"x":[-1,-1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[18, 1], [1, 2]], [-1, -1], 22, sqrt(22), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[18, 1], [1, 2]], [-1, -1], 22, sqrt(22), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[19,2],[2,5]],"x":[0,0]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[19, 2], [2, 5]], [0, 0], 0, sqrt(0), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[19, 2], [2, 5]], [0, 0], 0, sqrt(0), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[20,0],[0,1]],"x":[1,1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[20, 0], [0, 1]], [1, 1], 21, sqrt(21), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[20, 0], [0, 1]], [1, 1], 21, sqrt(21), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[21,1],[1,2]],"x":[2,2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[21, 1], [1, 2]], [2, 2], 100, sqrt(100), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[21, 1], [1, 2]], [2, 2], 100, sqrt(100), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[22,2],[2,5]],"x":[3,-2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[22, 2], [2, 5]], [3, -2], 194, sqrt(194), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[22, 2], [2, 5]], [3, -2], 194, sqrt(194), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[23,0],[0,1]],"x":[-3,-1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[23, 0], [0, 1]], [-3, -1], 208, sqrt(208), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[23, 0], [0, 1]], [-3, -1], 208, sqrt(208), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[24,1],[1,2]],"x":[-2,0]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[24, 1], [1, 2]], [-2, 0], 96, sqrt(96), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[24, 1], [1, 2]], [-2, 0], 96, sqrt(96), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[25,2],[2,5]],"x":[-1,1]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[25, 2], [2, 5]], [-1, 1], 26, sqrt(26), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[25, 2], [2, 5]], [-1, 1], 26, sqrt(26), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-square；資料={"matrix":[[26,0],[0,1]],"x":[0,2]}。請依 [matrix,x,norm_square,exact_norm,certificate] 欄序回答。
([[26, 0], [0, 1]], [0, 2], 4, sqrt(4), same_inner_product_universal_norm_certificate)
Wave4第三層核對=([[26, 0], [0, 1]], [0, 2], 4, sqrt(4), same_inner_product_universal_norm_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[2,0],[0,1]],"x":[-3,-2],"y":[-5,12]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-3, -2], [-5, 12], [2, -14], 204, sqrt(204))
Wave4第三層核對=([-3, -2], [-5, 12], [2, -14], 204, sqrt(204))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[3,1],[1,2]],"x":[-2,-1],"y":[-4,11]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-2, -1], [-4, 11], [2, -12], 252, sqrt(252))
Wave4第三層核對=([-2, -1], [-4, 11], [2, -12], 252, sqrt(252))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[4,2],[2,5]],"x":[-1,0],"y":[-3,10]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-1, 0], [-3, 10], [2, -10], 436, sqrt(436))
Wave4第三層核對=([-1, 0], [-3, 10], [2, -10], 436, sqrt(436))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[5,0],[0,1]],"x":[0,1],"y":[-2,9]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([0, 1], [-2, 9], [2, -8], 84, sqrt(84))
Wave4第三層核對=([0, 1], [-2, 9], [2, -8], 84, sqrt(84))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[6,1],[1,2]],"x":[1,2],"y":[-1,8]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([1, 2], [-1, 8], [2, -6], 72, sqrt(72))
Wave4第三層核對=([1, 2], [-1, 8], [2, -6], 72, sqrt(72))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[7,2],[2,5]],"x":[2,-2],"y":[0,7]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([2, -2], [0, 7], [2, -9], 361, sqrt(361))
Wave4第三層核對=([2, -2], [0, 7], [2, -9], 361, sqrt(361))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[8,0],[0,1]],"x":[3,-1],"y":[1,6]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([3, -1], [1, 6], [2, -7], 81, sqrt(81))
Wave4第三層核對=([3, -1], [1, 6], [2, -7], 81, sqrt(81))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[9,1],[1,2]],"x":[-3,0],"y":[2,5]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-3, 0], [2, 5], [-5, -5], 325, sqrt(325))
Wave4第三層核對=([-3, 0], [2, 5], [-5, -5], 325, sqrt(325))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[10,2],[2,5]],"x":[-2,1],"y":[3,4]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-2, 1], [3, 4], [-5, -3], 355, sqrt(355))
Wave4第三層核對=([-2, 1], [3, 4], [-5, -3], 355, sqrt(355))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[11,0],[0,1]],"x":[-1,2],"y":[4,3]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-1, 2], [4, 3], [-5, -1], 276, sqrt(276))
Wave4第三層核對=([-1, 2], [4, 3], [-5, -1], 276, sqrt(276))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[12,1],[1,2]],"x":[0,-2],"y":[5,2]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([0, -2], [5, 2], [-5, -4], 372, sqrt(372))
Wave4第三層核對=([0, -2], [5, 2], [-5, -4], 372, sqrt(372))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[13,2],[2,5]],"x":[1,-1],"y":[-5,1]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([1, -1], [-5, 1], [6, -2], 440, sqrt(440))
Wave4第三層核對=([1, -1], [-5, 1], [6, -2], 440, sqrt(440))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[14,0],[0,1]],"x":[2,0],"y":[-4,0]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([2, 0], [-4, 0], [6, 0], 504, sqrt(504))
Wave4第三層核對=([2, 0], [-4, 0], [6, 0], 504, sqrt(504))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[15,1],[1,2]],"x":[3,1],"y":[-3,-1]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([3, 1], [-3, -1], [6, 2], 572, sqrt(572))
Wave4第三層核對=([3, 1], [-3, -1], [6, 2], 572, sqrt(572))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[16,2],[2,5]],"x":[-3,2],"y":[-2,-2]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-3, 2], [-2, -2], [-1, 4], 80, sqrt(80))
Wave4第三層核對=([-3, 2], [-2, -2], [-1, 4], 80, sqrt(80))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[17,0],[0,1]],"x":[-2,-2],"y":[-1,-3]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-2, -2], [-1, -3], [-1, 1], 18, sqrt(18))
Wave4第三層核對=([-2, -2], [-1, -3], [-1, 1], 18, sqrt(18))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[18,1],[1,2]],"x":[-1,-1],"y":[0,-4]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-1, -1], [0, -4], [-1, 3], 30, sqrt(30))
Wave4第三層核對=([-1, -1], [0, -4], [-1, 3], 30, sqrt(30))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[19,2],[2,5]],"x":[0,0],"y":[1,-5]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([0, 0], [1, -5], [-1, 5], 124, sqrt(124))
Wave4第三層核對=([0, 0], [1, -5], [-1, 5], 124, sqrt(124))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[20,0],[0,1]],"x":[1,1],"y":[2,-6]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([1, 1], [2, -6], [-1, 7], 69, sqrt(69))
Wave4第三層核對=([1, 1], [2, -6], [-1, 7], 69, sqrt(69))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[21,1],[1,2]],"x":[2,2],"y":[3,-7]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([2, 2], [3, -7], [-1, 9], 165, sqrt(165))
Wave4第三層核對=([2, 2], [3, -7], [-1, 9], 165, sqrt(165))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[22,2],[2,5]],"x":[3,-2],"y":[4,-8]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([3, -2], [4, -8], [-1, 6], 178, sqrt(178))
Wave4第三層核對=([3, -2], [4, -8], [-1, 6], 178, sqrt(178))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[23,0],[0,1]],"x":[-3,-1],"y":[5,-9]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-3, -1], [5, -9], [-8, 8], 1536, sqrt(1536))
Wave4第三層核對=([-3, -1], [5, -9], [-8, 8], 1536, sqrt(1536))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[24,1],[1,2]],"x":[-2,0],"y":[-5,-10]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-2, 0], [-5, -10], [3, 10], 476, sqrt(476))
Wave4第三層核對=([-2, 0], [-5, -10], [3, 10], 476, sqrt(476))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[25,2],[2,5]],"x":[-1,1],"y":[-4,-11]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([-1, 1], [-4, -11], [3, 12], 1089, sqrt(1089))
Wave4第三層核對=([-1, 1], [-4, -11], [3, 12], 1089, sqrt(1089))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-distance-square；資料={"matrix":[[26,0],[0,1]],"x":[0,2],"y":[-3,-12]}。請依 [x,y,difference,distance_square,exact_distance] 欄序回答。
([0, 2], [-3, -12], [3, 14], 430, sqrt(430))
Wave4第三層核對=([0, 2], [-3, -12], [3, 14], 430, sqrt(430))；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-distance-square · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[2,0],[0,1]],"x":[-3,-2],"y":[-5,12]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(6, 22, 194, 36, 4268, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(6, 22, 194, 36, 4268, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[3,1],[1,2]],"x":[-2,-1],"y":[-4,11]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-16, 18, 202, 256, 3636, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-16, 18, 202, 256, 3636, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[4,2],[2,5]],"x":[-1,0],"y":[-3,10]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-8, 4, 416, 64, 1664, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-8, 4, 416, 64, 1664, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[5,0],[0,1]],"x":[0,1],"y":[-2,9]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(9, 1, 101, 81, 101, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(9, 1, 101, 81, 101, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[6,1],[1,2]],"x":[1,2],"y":[-1,8]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(32, 18, 118, 1024, 2124, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(32, 18, 118, 1024, 2124, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[7,2],[2,5]],"x":[2,-2],"y":[0,7]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-42, 32, 245, 1764, 7840, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-42, 32, 245, 1764, 7840, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[8,0],[0,1]],"x":[3,-1],"y":[1,6]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(18, 73, 44, 324, 3212, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(18, 73, 44, 324, 3212, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[9,1],[1,2]],"x":[-3,0],"y":[2,5]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-69, 81, 106, 4761, 8586, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-69, 81, 106, 4761, 8586, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[10,2],[2,5]],"x":[-2,1],"y":[3,4]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-50, 37, 218, 2500, 8066, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-50, 37, 218, 2500, 8066, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[11,0],[0,1]],"x":[-1,2],"y":[4,3]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-38, 15, 185, 1444, 2775, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-38, 15, 185, 1444, 2775, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[12,1],[1,2]],"x":[0,-2],"y":[5,2]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-18, 8, 328, 324, 2624, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-18, 8, 328, 324, 2624, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[13,2],[2,5]],"x":[1,-1],"y":[-5,1]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-58, 14, 310, 3364, 4340, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-58, 14, 310, 3364, 4340, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[14,0],[0,1]],"x":[2,0],"y":[-4,0]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-112, 56, 224, 12544, 12544, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-112, 56, 224, 12544, 12544, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[15,1],[1,2]],"x":[3,1],"y":[-3,-1]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-143, 143, 143, 20449, 20449, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-143, 143, 143, 20449, 20449, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[16,2],[2,5]],"x":[-3,2],"y":[-2,-2]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(80, 140, 100, 6400, 14000, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(80, 140, 100, 6400, 14000, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[17,0],[0,1]],"x":[-2,-2],"y":[-1,-3]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(40, 72, 26, 1600, 1872, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(40, 72, 26, 1600, 1872, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[18,1],[1,2]],"x":[-1,-1],"y":[0,-4]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(12, 22, 32, 144, 704, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(12, 22, 32, 144, 704, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[19,2],[2,5]],"x":[0,0],"y":[1,-5]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(0, 0, 124, 0, 0, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(0, 0, 124, 0, 0, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[20,0],[0,1]],"x":[1,1],"y":[2,-6]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(34, 21, 116, 1156, 2436, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(34, 21, 116, 1156, 2436, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[21,1],[1,2]],"x":[2,2],"y":[3,-7]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(90, 100, 245, 8100, 24500, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(90, 100, 245, 8100, 24500, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[22,2],[2,5]],"x":[3,-2],"y":[4,-8]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(280, 194, 544, 78400, 105536, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(280, 194, 544, 78400, 105536, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[23,0],[0,1]],"x":[-3,-1],"y":[5,-9]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-336, 208, 656, 112896, 136448, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-336, 208, 656, 112896, 136448, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[24,1],[1,2]],"x":[-2,0],"y":[-5,-10]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(260, 96, 900, 67600, 86400, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(260, 96, 900, 67600, 86400, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[25,2],[2,5]],"x":[-1,1],"y":[-4,-11]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(59, 26, 1181, 3481, 30706, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(59, 26, 1181, 3481, 30706, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-cauchy-schwarz；資料={"matrix":[[26,0],[0,1]],"x":[0,2],"y":[-3,-12]}。請依 [inner_xy,norm_x_square,norm_y_square,lhs_square,rhs,pass,certificate] 欄序回答。
(-24, 4, 378, 576, 1512, 是, Cauchy_Schwarz_universal_certificate)
Wave4第三層核對=(-24, 4, 378, 576, 1512, 是, Cauchy_Schwarz_universal_certificate)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-cauchy-schwarz · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[2,0],[0,1]],"x":[-3,-2],"y":[-5,12]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-3, -2], [-5, 12], 432, 432, 是)
Wave4第三層核對=([-3, -2], [-5, 12], 432, 432, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[3,1],[1,2]],"x":[-2,-1],"y":[-4,11]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-2, -1], [-4, 11], 440, 440, 是)
Wave4第三層核對=([-2, -1], [-4, 11], 440, 440, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[4,2],[2,5]],"x":[-1,0],"y":[-3,10]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-1, 0], [-3, 10], 840, 840, 是)
Wave4第三層核對=([-1, 0], [-3, 10], 840, 840, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[5,0],[0,1]],"x":[0,1],"y":[-2,9]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([0, 1], [-2, 9], 204, 204, 是)
Wave4第三層核對=([0, 1], [-2, 9], 204, 204, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[6,1],[1,2]],"x":[1,2],"y":[-1,8]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([1, 2], [-1, 8], 272, 272, 是)
Wave4第三層核對=([1, 2], [-1, 8], 272, 272, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[7,2],[2,5]],"x":[2,-2],"y":[0,7]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([2, -2], [0, 7], 554, 554, 是)
Wave4第三層核對=([2, -2], [0, 7], 554, 554, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[8,0],[0,1]],"x":[3,-1],"y":[1,6]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([3, -1], [1, 6], 234, 234, 是)
Wave4第三層核對=([3, -1], [1, 6], 234, 234, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[9,1],[1,2]],"x":[-3,0],"y":[2,5]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-3, 0], [2, 5], 374, 374, 是)
Wave4第三層核對=([-3, 0], [2, 5], 374, 374, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[10,2],[2,5]],"x":[-2,1],"y":[3,4]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-2, 1], [3, 4], 510, 510, 是)
Wave4第三層核對=([-2, 1], [3, 4], 510, 510, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[11,0],[0,1]],"x":[-1,2],"y":[4,3]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-1, 2], [4, 3], 400, 400, 是)
Wave4第三層核對=([-1, 2], [4, 3], 400, 400, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[12,1],[1,2]],"x":[0,-2],"y":[5,2]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([0, -2], [5, 2], 672, 672, 是)
Wave4第三層核對=([0, -2], [5, 2], 672, 672, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[13,2],[2,5]],"x":[1,-1],"y":[-5,1]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([1, -1], [-5, 1], 648, 648, 是)
Wave4第三層核對=([1, -1], [-5, 1], 648, 648, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[14,0],[0,1]],"x":[2,0],"y":[-4,0]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([2, 0], [-4, 0], 560, 560, 是)
Wave4第三層核對=([2, 0], [-4, 0], 560, 560, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[15,1],[1,2]],"x":[3,1],"y":[-3,-1]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([3, 1], [-3, -1], 572, 572, 是)
Wave4第三層核對=([3, 1], [-3, -1], 572, 572, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[16,2],[2,5]],"x":[-3,2],"y":[-2,-2]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-3, 2], [-2, -2], 480, 480, 是)
Wave4第三層核對=([-3, 2], [-2, -2], 480, 480, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[17,0],[0,1]],"x":[-2,-2],"y":[-1,-3]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-2, -2], [-1, -3], 196, 196, 是)
Wave4第三層核對=([-2, -2], [-1, -3], 196, 196, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[18,1],[1,2]],"x":[-1,-1],"y":[0,-4]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-1, -1], [0, -4], 108, 108, 是)
Wave4第三層核對=([-1, -1], [0, -4], 108, 108, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[19,2],[2,5]],"x":[0,0],"y":[1,-5]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([0, 0], [1, -5], 248, 248, 是)
Wave4第三層核對=([0, 0], [1, -5], 248, 248, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[20,0],[0,1]],"x":[1,1],"y":[2,-6]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([1, 1], [2, -6], 274, 274, 是)
Wave4第三層核對=([1, 1], [2, -6], 274, 274, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[21,1],[1,2]],"x":[2,2],"y":[3,-7]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([2, 2], [3, -7], 690, 690, 是)
Wave4第三層核對=([2, 2], [3, -7], 690, 690, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[22,2],[2,5]],"x":[3,-2],"y":[4,-8]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([3, -2], [4, -8], 1476, 1476, 是)
Wave4第三層核對=([3, -2], [4, -8], 1476, 1476, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[23,0],[0,1]],"x":[-3,-1],"y":[5,-9]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-3, -1], [5, -9], 1728, 1728, 是)
Wave4第三層核對=([-3, -1], [5, -9], 1728, 1728, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[24,1],[1,2]],"x":[-2,0],"y":[-5,-10]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-2, 0], [-5, -10], 1992, 1992, 是)
Wave4第三層核對=([-2, 0], [-5, -10], 1992, 1992, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[25,2],[2,5]],"x":[-1,1],"y":[-4,-11]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([-1, 1], [-4, -11], 2414, 2414, 是)
Wave4第三層核對=([-1, 1], [-4, -11], 2414, 2414, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate
向量與已認證內積綁定同一實空間。操作=innernorm-parallelogram；資料={"matrix":[[26,0],[0,1]],"x":[0,2],"y":[-3,-12]}。請依 [x,y,lhs,rhs,equal] 欄序回答。
([0, 2], [-3, -12], 764, 764, 是)
Wave4第三層核對=([0, 2], [-3, -12], 764, 764, 是)；依完整明示資料重算；完整有限／symbolic certificate不自動升格為未聲明的一般定理；範數為自內積非負平方根且三角責任依Cauchy–Schwarz；精確instances不替全稱證書且不推出完備。
內積誘導範數 · qf-mod29-innernorm-parallelogram · candidate