本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261006-advance-20261007-r05-congruence-foundations · 2026-10-06 · 100 題
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[1,0],[1,2]]、B=[[3,5],[4,5],[4,3]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[1, 5, 4]；B=[1, 5, 4]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[2,0],[1,3]]、B=[[0,0],[3,0],[1,3]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[4, 10, 10]；B=[9, 10, 13]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[3,0],[1,4]]、B=[[0,0],[3,0],[1,5]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[9, 17, 20]；B=[9, 26, 29]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[4,0],[1,5]]、B=[[0,0],[4,0],[-1,5]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[16, 26, 34]；B=[16, 26, 50]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[5,0],[1,6]]、B=[[3,5],[8,5],[4,-1]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[25, 37, 52]；B=[25, 37, 52]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[6,0],[1,7]]、B=[[0,0],[7,0],[1,7]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[36, 50, 74]；B=[49, 50, 85]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[7,0],[1,8]]、B=[[0,0],[7,0],[1,9]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[49, 65, 100]；B=[49, 82, 117]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[8,0],[1,9]]、B=[[0,0],[8,0],[-1,9]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[64, 82, 130]；B=[64, 82, 162]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[9,0],[1,10]]、B=[[3,5],[12,5],[4,-5]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[81, 101, 164]；B=[81, 101, 164]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[10,0],[1,11]]、B=[[0,0],[11,0],[1,11]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[100, 122, 202]；B=[121, 122, 221]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[11,0],[1,12]]、B=[[0,0],[11,0],[1,13]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[121, 145, 244]；B=[121, 170, 269]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[12,0],[1,13]]、B=[[0,0],[12,0],[-1,13]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[144, 170, 290]；B=[144, 170, 338]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[13,0],[1,14]]、B=[[3,5],[16,5],[4,-9]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[169, 197, 340]；B=[169, 197, 340]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[14,0],[1,15]]、B=[[0,0],[15,0],[1,15]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[196, 226, 394]；B=[225, 226, 421]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[15,0],[1,16]]、B=[[0,0],[15,0],[1,17]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[225, 257, 452]；B=[225, 290, 485]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[16,0],[1,17]]、B=[[0,0],[16,0],[-1,17]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[256, 290, 514]；B=[256, 290, 578]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[17,0],[1,18]]、B=[[3,5],[20,5],[4,-13]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[289, 325, 580]；B=[289, 325, 580]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[18,0],[1,19]]、B=[[0,0],[19,0],[1,19]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[324, 362, 650]；B=[361, 362, 685]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[19,0],[1,20]]、B=[[0,0],[19,0],[1,21]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[361, 401, 724]；B=[361, 442, 765]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[20,0],[1,21]]、B=[[0,0],[20,0],[-1,21]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[400, 442, 802]；B=[400, 442, 882]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[21,0],[1,22]]、B=[[3,5],[24,5],[4,-17]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[441, 485, 884]；B=[441, 485, 884]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[22,0],[1,23]]、B=[[0,0],[23,0],[1,23]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[484, 530, 970]；B=[529, 530, 1013]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[23,0],[1,24]]、B=[[0,0],[23,0],[1,25]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[529, 577, 1060]；B=[529, 626, 1109]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[24,0],[1,25]]、B=[[0,0],[24,0],[-1,25]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
否
對應平方邊：A=[576, 626, 1154]；B=[576, 626, 1250]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[25,0],[1,26]]、B=[[3,5],[28,5],[4,-21]]，兩者明示非退化，明示對應 A1↔B1、A2↔B2、A3↔B3。是否符合標記 SSS 全等？
是
對應平方邊：A=[625, 677, 1252]；B=[625, 677, 1252]。按固定 12、13、23 對應比較，允許反射；否定目前對應不否定其他頂點排列。
明示對應的非退化三角形全等 · qf-congruence-labeled-sss · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[0,1],[-1,0]]、B=[[3,5],[3,4],[2,5]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
1
對應邊12平方=1。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[1,2],[-2,1]]、B=[[3,5],[4,3],[1,4]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
5
對應邊12平方=5。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[2,3],[-3,2]]、B=[[3,5],[5,2],[0,3]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
13
對應邊12平方=13。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[3,4],[-4,3]]、B=[[3,5],[6,1],[-1,2]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
25
對應邊12平方=25。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[4,5],[-5,4]]、B=[[3,5],[7,0],[-2,1]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
41
對應邊12平方=41。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[5,6],[-6,5]]、B=[[3,5],[8,-1],[-3,0]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
61
對應邊12平方=61。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[6,7],[-7,6]]、B=[[3,5],[9,-2],[-4,-1]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
85
對應邊12平方=85。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[7,8],[-8,7]]、B=[[3,5],[10,-3],[-5,-2]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
113
對應邊12平方=113。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[8,9],[-9,8]]、B=[[3,5],[11,-4],[-6,-3]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
145
對應邊12平方=145。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[9,10],[-10,9]]、B=[[3,5],[12,-5],[-7,-4]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
181
對應邊12平方=181。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[10,11],[-11,10]]、B=[[3,5],[13,-6],[-8,-5]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
221
對應邊12平方=221。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[11,12],[-12,11]]、B=[[3,5],[14,-7],[-9,-6]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
265
對應邊12平方=265。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[12,13],[-13,12]]、B=[[3,5],[15,-8],[-10,-7]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
313
對應邊12平方=313。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[13,14],[-14,13]]、B=[[3,5],[16,-9],[-11,-8]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
365
對應邊12平方=365。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[14,15],[-15,14]]、B=[[3,5],[17,-10],[-12,-9]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
421
對應邊12平方=421。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[15,16],[-16,15]]、B=[[3,5],[18,-11],[-13,-10]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
481
對應邊12平方=481。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[16,17],[-17,16]]、B=[[3,5],[19,-12],[-14,-11]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
545
對應邊12平方=545。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[17,18],[-18,17]]、B=[[3,5],[20,-13],[-15,-12]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
613
對應邊12平方=613。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[18,19],[-19,18]]、B=[[3,5],[21,-14],[-16,-13]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
685
對應邊12平方=685。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[19,20],[-20,19]]、B=[[3,5],[22,-15],[-17,-14]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
761
對應邊12平方=761。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[20,21],[-21,20]]、B=[[3,5],[23,-16],[-18,-15]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
841
對應邊12平方=841。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[21,22],[-22,21]]、B=[[3,5],[24,-17],[-19,-16]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
925
對應邊12平方=925。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[22,23],[-23,22]]、B=[[3,5],[25,-18],[-20,-17]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
1013
對應邊12平方=1013。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[23,24],[-24,23]]、B=[[3,5],[26,-19],[-21,-18]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
1105
對應邊12平方=1105。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[24,25],[-25,24]]、B=[[3,5],[27,-20],[-22,-19]]，已確認非退化且全三邊標記全等；明示對應按同索引。求 A1A2 與對應 B1B2 的共同平方長度。
1201
對應邊12平方=1201。先守住完整三邊全等，再讀指定邊；不以只相等一邊冒充全等。
明示對應的非退化三角形全等 · qf-congruence-corresponding-squared-side · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[1,0],[1,2]]、B=[[3,5],[4,5],[4,3]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[1, 5, 4]；B=[1, 5, 4]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[2,0],[1,3]]、B=[[0,0],[3,0],[1,3]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[4, 10, 10]；B=[9, 10, 13]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[3,0],[1,4]]、B=[[0,0],[3,0],[1,5]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[9, 17, 20]；B=[9, 26, 29]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[4,0],[1,5]]、B=[[0,0],[4,0],[-1,5]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[16, 26, 34]；B=[16, 26, 50]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[5,0],[1,6]]、B=[[3,5],[8,5],[4,-1]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[25, 37, 52]；B=[25, 37, 52]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[6,0],[1,7]]、B=[[0,0],[7,0],[1,7]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[36, 50, 74]；B=[49, 50, 85]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[7,0],[1,8]]、B=[[0,0],[7,0],[1,9]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[49, 65, 100]；B=[49, 82, 117]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[8,0],[1,9]]、B=[[0,0],[8,0],[-1,9]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[64, 82, 130]；B=[64, 82, 162]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[9,0],[1,10]]、B=[[3,5],[12,5],[4,-5]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[81, 101, 164]；B=[81, 101, 164]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[10,0],[1,11]]、B=[[0,0],[11,0],[1,11]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[100, 122, 202]；B=[121, 122, 221]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[11,0],[1,12]]、B=[[0,0],[11,0],[1,13]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[121, 145, 244]；B=[121, 170, 269]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[12,0],[1,13]]、B=[[0,0],[12,0],[-1,13]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[144, 170, 290]；B=[144, 170, 338]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[13,0],[1,14]]、B=[[3,5],[16,5],[4,-9]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[169, 197, 340]；B=[169, 197, 340]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[14,0],[1,15]]、B=[[0,0],[15,0],[1,15]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[196, 226, 394]；B=[225, 226, 421]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[15,0],[1,16]]、B=[[0,0],[15,0],[1,17]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[225, 257, 452]；B=[225, 290, 485]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[16,0],[1,17]]、B=[[0,0],[16,0],[-1,17]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[256, 290, 514]；B=[256, 290, 578]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[17,0],[1,18]]、B=[[3,5],[20,5],[4,-13]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[289, 325, 580]；B=[289, 325, 580]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[18,0],[1,19]]、B=[[0,0],[19,0],[1,19]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[324, 362, 650]；B=[361, 362, 685]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[19,0],[1,20]]、B=[[0,0],[19,0],[1,21]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[361, 401, 724]；B=[361, 442, 765]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[20,0],[1,21]]、B=[[0,0],[20,0],[-1,21]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[400, 442, 802]；B=[400, 442, 882]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[21,0],[1,22]]、B=[[3,5],[24,5],[4,-17]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[441, 485, 884]；B=[441, 485, 884]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[22,0],[1,23]]、B=[[0,0],[23,0],[1,23]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
12
對應平方邊：A=[484, 530, 970]；B=[529, 530, 1013]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[23,0],[1,24]]、B=[[0,0],[23,0],[1,25]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
13
對應平方邊：A=[529, 577, 1060]；B=[529, 626, 1109]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[24,0],[1,25]]、B=[[0,0],[24,0],[-1,25]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
23
對應平方邊：A=[576, 626, 1154]；B=[576, 626, 1250]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[25,0],[1,26]]、B=[[3,5],[28,5],[4,-21]]，兩者非退化且明示對應同索引。按 12、13、23 次序求首個平方長度不相等的邊標記，全相等答「無」。
無
對應平方邊：A=[625, 677, 1252]；B=[625, 677, 1252]。「無」恰指本次三邊對應全相等；不偷偷重排頂點以消除不符。
明示對應的非退化三角形全等 · qf-congruence-first-mismatch · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[0,0],[0,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[0,0],[1,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[1,0],[2,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[3,0],[1,4]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=12。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[4,0],[5,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[5,0],[5,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[6,0],[1,7]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=42。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[7,0],[8,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[8,0],[8,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[9,0],[1,10]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=90。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[10,0],[11,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[11,0],[11,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[12,0],[1,13]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=156。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[13,0],[14,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[14,0],[14,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[15,0],[1,16]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=240。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[16,0],[17,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[17,0],[17,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[18,0],[1,19]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=342。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[19,0],[20,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[20,0],[20,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[21,0],[1,22]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=462。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[22,0],[23,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[23,0],[23,0]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
否
共線判別行列式=0。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate
等單位正交座標系，兩軸採同一長度單位。有序頂點 A=[[0,0],[24,0],[1,25]]。是否為相異不共線的非退化三角形？重複或共線資料回答否。
是
共線判別行列式=600。用有序 shoelace 的非零判別式檢查，與圖形目測分開；不把退化資料拿去做 SSS。
明示對應的非退化三角形全等 · qf-congruence-triangle-validity · candidate