# 第 23775 題：Legendre符號 [返回所在分頁 119](https://ocme.evemisslab.com/zh-Hant/questions/page/119/) [← 逐題詳解目錄](https://ocme.evemisslab.com/zh-Hant/questions/) · [原題批次](https://ocme.evemisslab.com/zh-Hant/practice/batch-20261014-advance-20261112-r06-legendre-symbol-foundations/#q-20261014-advance-20261112-r06-legendre-symbol-0050) 本頁是已完成第二對話 AI 數理與中英語義覆核的教學詳解，只支持本題明示的模型與前提。沒有人工審查或新 Lean 證明，也不提升原題或 MKO 的 Canonical 真值狀態。 R0046-23775 · q-20261014-advance-20261112-r06-legendre-symbol-0050 ## 原題與已知條件 odd prime上的zero/residue/nonresidue三值完整分類。操作=legendre-residue-nonresidue-witness；資料={"prime":101,"a":25}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。 - G001 — odd prime上的zero/residue/nonresidue三值完整分類。操作=legendre-residue-nonresidue-witness；資料={"prime":101,"a":25}。請依 exact_ordered_tuple_declared_by_interface 欄序回答。 ## 定義與適用範圍 沿用原題明示的論域、假設與來源 MKO 定義。本題已完成第二對話數理與中英語義覆核，並由原始參數逐題獨立重算模型、答案與每個算術步驟；原題仍為 candidate。 - [mko-legendre-symbol](https://ocme.evemisslab.com/zh-Hant/mko/mko-legendre-symbol/) ## 逐步推導 S001 · implies操作前 source operation=legendre-residue-nonresidue-witness;original snapshot and mathematics retained 操作後 explicit ordered source output fields=[prime, a, normalized_class, nonzero_roots, Legendre_symbol, certificate] 條件：無 保留原題介面快照，本頁直接列來源欄序，不需JavaScript。radius由原mode選6／11欄，不補欄；No與實際否定依來源責任分清。 步驟識別與依賴規則：source_ordered_interface_explicit_without_javascript · 依賴：G001 S002 · implies操作前 Legendre ORIGINAL odd prime:ORIGINAL modulus=101;ALL possible trial divisors through square root=[2, 3, 4, 5, 6, 7, 8, 9, 10] 操作後 ALL [divisor,remainder] rows=[[2, 1], [3, 2], [4, 1], [5, 1], [6, 5], [7, 3], [8, 5], [9, 2], [10, 1]];prime=是 條件：無 先完整核prime資格，不用Legendre或Euler分類反過來猜prime；這是modulus前提，不是a的平方性。 步驟識別與依賴規則：legendre_complete_prime_trial_not_Euler_classification · 依賴：G001, S001 S003 · calculation操作前 Legendre ORIGINAL nonzero root1 exact square := mul(1, 1) 操作後 Legendre ORIGINAL nonzero root1 exact square = 1 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S002 S004 · implies操作前 ORIGINAL root x=1 in1..100;exact square=1 操作後 square=0*101+1;canonical square class=1;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S003 S005 · calculation操作前 Legendre ORIGINAL nonzero root2 exact square := mul(2, 2) 操作後 Legendre ORIGINAL nonzero root2 exact square = 4 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S004 S006 · implies操作前 ORIGINAL root x=2 in1..100;exact square=4 操作後 square=0*101+4;canonical square class=4;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S005 S007 · calculation操作前 Legendre ORIGINAL nonzero root3 exact square := mul(3, 3) 操作後 Legendre ORIGINAL nonzero root3 exact square = 9 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S006 S008 · implies操作前 ORIGINAL root x=3 in1..100;exact square=9 操作後 square=0*101+9;canonical square class=9;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S007 S009 · calculation操作前 Legendre ORIGINAL nonzero root4 exact square := mul(4, 4) 操作後 Legendre ORIGINAL nonzero root4 exact square = 16 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S008 S010 · implies操作前 ORIGINAL root x=4 in1..100;exact square=16 操作後 square=0*101+16;canonical square class=16;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S009 S011 · calculation操作前 Legendre ORIGINAL nonzero root5 exact square := mul(5, 5) 操作後 Legendre ORIGINAL nonzero root5 exact square = 25 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S010 S012 · implies操作前 ORIGINAL root x=5 in1..100;exact square=25 操作後 square=0*101+25;canonical square class=25;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S011 S013 · calculation操作前 Legendre ORIGINAL nonzero root6 exact square := mul(6, 6) 操作後 Legendre ORIGINAL nonzero root6 exact square = 36 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S012 S014 · implies操作前 ORIGINAL root x=6 in1..100;exact square=36 操作後 square=0*101+36;canonical square class=36;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S013 S015 · calculation操作前 Legendre ORIGINAL nonzero root7 exact square := mul(7, 7) 操作後 Legendre ORIGINAL nonzero root7 exact square = 49 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S014 S016 · implies操作前 ORIGINAL root x=7 in1..100;exact square=49 操作後 square=0*101+49;canonical square class=49;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S015 S017 · calculation操作前 Legendre ORIGINAL nonzero root8 exact square := mul(8, 8) 操作後 Legendre ORIGINAL nonzero root8 exact square = 64 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S016 S018 · implies操作前 ORIGINAL root x=8 in1..100;exact square=64 操作後 square=0*101+64;canonical square class=64;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S017 S019 · calculation操作前 Legendre ORIGINAL nonzero root9 exact square := mul(9, 9) 操作後 Legendre ORIGINAL nonzero root9 exact square = 81 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S018 S020 · implies操作前 ORIGINAL root x=9 in1..100;exact square=81 操作後 square=0*101+81;canonical square class=81;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S019 S021 · calculation操作前 Legendre ORIGINAL nonzero root10 exact square := mul(10, 10) 操作後 Legendre ORIGINAL nonzero root10 exact square = 100 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S020 S022 · implies操作前 ORIGINAL root x=10 in1..100;exact square=100 操作後 square=0*101+100;canonical square class=100;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S021 S023 · calculation操作前 Legendre ORIGINAL nonzero root11 exact square := mul(11, 11) 操作後 Legendre ORIGINAL nonzero root11 exact square = 121 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S022 S024 · implies操作前 ORIGINAL root x=11 in1..100;exact square=121 操作後 square=1*101+20;canonical square class=20;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S023 S025 · calculation操作前 Legendre ORIGINAL nonzero root12 exact square := mul(12, 12) 操作後 Legendre ORIGINAL nonzero root12 exact square = 144 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S024 S026 · implies操作前 ORIGINAL root x=12 in1..100;exact square=144 操作後 square=1*101+43;canonical square class=43;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S025 S027 · calculation操作前 Legendre ORIGINAL nonzero root13 exact square := mul(13, 13) 操作後 Legendre ORIGINAL nonzero root13 exact square = 169 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S026 S028 · implies操作前 ORIGINAL root x=13 in1..100;exact square=169 操作後 square=1*101+68;canonical square class=68;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S027 S029 · calculation操作前 Legendre ORIGINAL nonzero root14 exact square := mul(14, 14) 操作後 Legendre ORIGINAL nonzero root14 exact square = 196 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S028 S030 · implies操作前 ORIGINAL root x=14 in1..100;exact square=196 操作後 square=1*101+95;canonical square class=95;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S029 S031 · calculation操作前 Legendre ORIGINAL nonzero root15 exact square := mul(15, 15) 操作後 Legendre ORIGINAL nonzero root15 exact square = 225 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S030 S032 · implies操作前 ORIGINAL root x=15 in1..100;exact square=225 操作後 square=2*101+23;canonical square class=23;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S031 S033 · calculation操作前 Legendre ORIGINAL nonzero root16 exact square := mul(16, 16) 操作後 Legendre ORIGINAL nonzero root16 exact square = 256 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S032 S034 · implies操作前 ORIGINAL root x=16 in1..100;exact square=256 操作後 square=2*101+54;canonical square class=54;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S033 S035 · calculation操作前 Legendre ORIGINAL nonzero root17 exact square := mul(17, 17) 操作後 Legendre ORIGINAL nonzero root17 exact square = 289 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S034 S036 · implies操作前 ORIGINAL root x=17 in1..100;exact square=289 操作後 square=2*101+87;canonical square class=87;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S035 S037 · calculation操作前 Legendre ORIGINAL nonzero root18 exact square := mul(18, 18) 操作後 Legendre ORIGINAL nonzero root18 exact square = 324 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S036 S038 · implies操作前 ORIGINAL root x=18 in1..100;exact square=324 操作後 square=3*101+21;canonical square class=21;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S037 S039 · calculation操作前 Legendre ORIGINAL nonzero root19 exact square := mul(19, 19) 操作後 Legendre ORIGINAL nonzero root19 exact square = 361 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S038 S040 · implies操作前 ORIGINAL root x=19 in1..100;exact square=361 操作後 square=3*101+58;canonical square class=58;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S039 S041 · calculation操作前 Legendre ORIGINAL nonzero root20 exact square := mul(20, 20) 操作後 Legendre ORIGINAL nonzero root20 exact square = 400 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S040 S042 · implies操作前 ORIGINAL root x=20 in1..100;exact square=400 操作後 square=3*101+97;canonical square class=97;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S041 S043 · calculation操作前 Legendre ORIGINAL nonzero root21 exact square := mul(21, 21) 操作後 Legendre ORIGINAL nonzero root21 exact square = 441 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S042 S044 · implies操作前 ORIGINAL root x=21 in1..100;exact square=441 操作後 square=4*101+37;canonical square class=37;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S043 S045 · calculation操作前 Legendre ORIGINAL nonzero root22 exact square := mul(22, 22) 操作後 Legendre ORIGINAL nonzero root22 exact square = 484 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S044 S046 · implies操作前 ORIGINAL root x=22 in1..100;exact square=484 操作後 square=4*101+80;canonical square class=80;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S045 S047 · calculation操作前 Legendre ORIGINAL nonzero root23 exact square := mul(23, 23) 操作後 Legendre ORIGINAL nonzero root23 exact square = 529 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S046 S048 · implies操作前 ORIGINAL root x=23 in1..100;exact square=529 操作後 square=5*101+24;canonical square class=24;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S047 S049 · calculation操作前 Legendre ORIGINAL nonzero root24 exact square := mul(24, 24) 操作後 Legendre ORIGINAL nonzero root24 exact square = 576 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S048 S050 · implies操作前 ORIGINAL root x=24 in1..100;exact square=576 操作後 square=5*101+71;canonical square class=71;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S049 S051 · calculation操作前 Legendre ORIGINAL nonzero root25 exact square := mul(25, 25) 操作後 Legendre ORIGINAL nonzero root25 exact square = 625 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S050 S052 · implies操作前 ORIGINAL root x=25 in1..100;exact square=625 操作後 square=6*101+19;canonical square class=19;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S051 S053 · calculation操作前 Legendre ORIGINAL nonzero root26 exact square := mul(26, 26) 操作後 Legendre ORIGINAL nonzero root26 exact square = 676 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S052 S054 · implies操作前 ORIGINAL root x=26 in1..100;exact square=676 操作後 square=6*101+70;canonical square class=70;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S053 S055 · calculation操作前 Legendre ORIGINAL nonzero root27 exact square := mul(27, 27) 操作後 Legendre ORIGINAL nonzero root27 exact square = 729 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S054 S056 · implies操作前 ORIGINAL root x=27 in1..100;exact square=729 操作後 square=7*101+22;canonical square class=22;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S055 S057 · calculation操作前 Legendre ORIGINAL nonzero root28 exact square := mul(28, 28) 操作後 Legendre ORIGINAL nonzero root28 exact square = 784 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S056 S058 · implies操作前 ORIGINAL root x=28 in1..100;exact square=784 操作後 square=7*101+77;canonical square class=77;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S057 S059 · calculation操作前 Legendre ORIGINAL nonzero root29 exact square := mul(29, 29) 操作後 Legendre ORIGINAL nonzero root29 exact square = 841 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S058 S060 · implies操作前 ORIGINAL root x=29 in1..100;exact square=841 操作後 square=8*101+33;canonical square class=33;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S059 S061 · calculation操作前 Legendre ORIGINAL nonzero root30 exact square := mul(30, 30) 操作後 Legendre ORIGINAL nonzero root30 exact square = 900 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S060 S062 · implies操作前 ORIGINAL root x=30 in1..100;exact square=900 操作後 square=8*101+92;canonical square class=92;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S061 S063 · calculation操作前 Legendre ORIGINAL nonzero root31 exact square := mul(31, 31) 操作後 Legendre ORIGINAL nonzero root31 exact square = 961 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S062 S064 · implies操作前 ORIGINAL root x=31 in1..100;exact square=961 操作後 square=9*101+52;canonical square class=52;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S063 S065 · calculation操作前 Legendre ORIGINAL nonzero root32 exact square := mul(32, 32) 操作後 Legendre ORIGINAL nonzero root32 exact square = 1024 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S064 S066 · implies操作前 ORIGINAL root x=32 in1..100;exact square=1024 操作後 square=10*101+14;canonical square class=14;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S065 S067 · calculation操作前 Legendre ORIGINAL nonzero root33 exact square := mul(33, 33) 操作後 Legendre ORIGINAL nonzero root33 exact square = 1089 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S066 S068 · implies操作前 ORIGINAL root x=33 in1..100;exact square=1089 操作後 square=10*101+79;canonical square class=79;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S067 S069 · calculation操作前 Legendre ORIGINAL nonzero root34 exact square := mul(34, 34) 操作後 Legendre ORIGINAL nonzero root34 exact square = 1156 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S068 S070 · implies操作前 ORIGINAL root x=34 in1..100;exact square=1156 操作後 square=11*101+45;canonical square class=45;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S069 S071 · calculation操作前 Legendre ORIGINAL nonzero root35 exact square := mul(35, 35) 操作後 Legendre ORIGINAL nonzero root35 exact square = 1225 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S070 S072 · implies操作前 ORIGINAL root x=35 in1..100;exact square=1225 操作後 square=12*101+13;canonical square class=13;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S071 S073 · calculation操作前 Legendre ORIGINAL nonzero root36 exact square := mul(36, 36) 操作後 Legendre ORIGINAL nonzero root36 exact square = 1296 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S072 S074 · implies操作前 ORIGINAL root x=36 in1..100;exact square=1296 操作後 square=12*101+84;canonical square class=84;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S073 S075 · calculation操作前 Legendre ORIGINAL nonzero root37 exact square := mul(37, 37) 操作後 Legendre ORIGINAL nonzero root37 exact square = 1369 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S074 S076 · implies操作前 ORIGINAL root x=37 in1..100;exact square=1369 操作後 square=13*101+56;canonical square class=56;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S075 S077 · calculation操作前 Legendre ORIGINAL nonzero root38 exact square := mul(38, 38) 操作後 Legendre ORIGINAL nonzero root38 exact square = 1444 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S076 S078 · implies操作前 ORIGINAL root x=38 in1..100;exact square=1444 操作後 square=14*101+30;canonical square class=30;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S077 S079 · calculation操作前 Legendre ORIGINAL nonzero root39 exact square := mul(39, 39) 操作後 Legendre ORIGINAL nonzero root39 exact square = 1521 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S078 S080 · implies操作前 ORIGINAL root x=39 in1..100;exact square=1521 操作後 square=15*101+6;canonical square class=6;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S079 S081 · calculation操作前 Legendre ORIGINAL nonzero root40 exact square := mul(40, 40) 操作後 Legendre ORIGINAL nonzero root40 exact square = 1600 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S080 S082 · implies操作前 ORIGINAL root x=40 in1..100;exact square=1600 操作後 square=15*101+85;canonical square class=85;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S081 S083 · calculation操作前 Legendre ORIGINAL nonzero root41 exact square := mul(41, 41) 操作後 Legendre ORIGINAL nonzero root41 exact square = 1681 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S082 S084 · implies操作前 ORIGINAL root x=41 in1..100;exact square=1681 操作後 square=16*101+65;canonical square class=65;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S083 S085 · calculation操作前 Legendre ORIGINAL nonzero root42 exact square := mul(42, 42) 操作後 Legendre ORIGINAL nonzero root42 exact square = 1764 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S084 S086 · implies操作前 ORIGINAL root x=42 in1..100;exact square=1764 操作後 square=17*101+47;canonical square class=47;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S085 S087 · calculation操作前 Legendre ORIGINAL nonzero root43 exact square := mul(43, 43) 操作後 Legendre ORIGINAL nonzero root43 exact square = 1849 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S086 S088 · implies操作前 ORIGINAL root x=43 in1..100;exact square=1849 操作後 square=18*101+31;canonical square class=31;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S087 S089 · calculation操作前 Legendre ORIGINAL nonzero root44 exact square := mul(44, 44) 操作後 Legendre ORIGINAL nonzero root44 exact square = 1936 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S088 S090 · implies操作前 ORIGINAL root x=44 in1..100;exact square=1936 操作後 square=19*101+17;canonical square class=17;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S089 S091 · calculation操作前 Legendre ORIGINAL nonzero root45 exact square := mul(45, 45) 操作後 Legendre ORIGINAL nonzero root45 exact square = 2025 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S090 S092 · implies操作前 ORIGINAL root x=45 in1..100;exact square=2025 操作後 square=20*101+5;canonical square class=5;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S091 S093 · calculation操作前 Legendre ORIGINAL nonzero root46 exact square := mul(46, 46) 操作後 Legendre ORIGINAL nonzero root46 exact square = 2116 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S092 S094 · implies操作前 ORIGINAL root x=46 in1..100;exact square=2116 操作後 square=20*101+96;canonical square class=96;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S093 S095 · calculation操作前 Legendre ORIGINAL nonzero root47 exact square := mul(47, 47) 操作後 Legendre ORIGINAL nonzero root47 exact square = 2209 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S094 S096 · implies操作前 ORIGINAL root x=47 in1..100;exact square=2209 操作後 square=21*101+88;canonical square class=88;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S095 S097 · calculation操作前 Legendre ORIGINAL nonzero root48 exact square := mul(48, 48) 操作後 Legendre ORIGINAL nonzero root48 exact square = 2304 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S096 S098 · implies操作前 ORIGINAL root x=48 in1..100;exact square=2304 操作後 square=22*101+82;canonical square class=82;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S097 S099 · calculation操作前 Legendre ORIGINAL nonzero root49 exact square := mul(49, 49) 操作後 Legendre ORIGINAL nonzero root49 exact square = 2401 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S098 S100 · implies操作前 ORIGINAL root x=49 in1..100;exact square=2401 操作後 square=23*101+78;canonical square class=78;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S099 S101 · calculation操作前 Legendre ORIGINAL nonzero root50 exact square := mul(50, 50) 操作後 Legendre ORIGINAL nonzero root50 exact square = 2500 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S100 S102 · implies操作前 ORIGINAL root x=50 in1..100;exact square=2500 操作後 square=24*101+76;canonical square class=76;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S101 S103 · calculation操作前 Legendre ORIGINAL nonzero root51 exact square := mul(51, 51) 操作後 Legendre ORIGINAL nonzero root51 exact square = 2601 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S102 S104 · implies操作前 ORIGINAL root x=51 in1..100;exact square=2601 操作後 square=25*101+76;canonical square class=76;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S103 S105 · calculation操作前 Legendre ORIGINAL nonzero root52 exact square := mul(52, 52) 操作後 Legendre ORIGINAL nonzero root52 exact square = 2704 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S104 S106 · implies操作前 ORIGINAL root x=52 in1..100;exact square=2704 操作後 square=26*101+78;canonical square class=78;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S105 S107 · calculation操作前 Legendre ORIGINAL nonzero root53 exact square := mul(53, 53) 操作後 Legendre ORIGINAL nonzero root53 exact square = 2809 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S106 S108 · implies操作前 ORIGINAL root x=53 in1..100;exact square=2809 操作後 square=27*101+82;canonical square class=82;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S107 S109 · calculation操作前 Legendre ORIGINAL nonzero root54 exact square := mul(54, 54) 操作後 Legendre ORIGINAL nonzero root54 exact square = 2916 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S108 S110 · implies操作前 ORIGINAL root x=54 in1..100;exact square=2916 操作後 square=28*101+88;canonical square class=88;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S109 S111 · calculation操作前 Legendre ORIGINAL nonzero root55 exact square := mul(55, 55) 操作後 Legendre ORIGINAL nonzero root55 exact square = 3025 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S110 S112 · implies操作前 ORIGINAL root x=55 in1..100;exact square=3025 操作後 square=29*101+96;canonical square class=96;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S111 S113 · calculation操作前 Legendre ORIGINAL nonzero root56 exact square := mul(56, 56) 操作後 Legendre ORIGINAL nonzero root56 exact square = 3136 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S112 S114 · implies操作前 ORIGINAL root x=56 in1..100;exact square=3136 操作後 square=31*101+5;canonical square class=5;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S113 S115 · calculation操作前 Legendre ORIGINAL nonzero root57 exact square := mul(57, 57) 操作後 Legendre ORIGINAL nonzero root57 exact square = 3249 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S114 S116 · implies操作前 ORIGINAL root x=57 in1..100;exact square=3249 操作後 square=32*101+17;canonical square class=17;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S115 S117 · calculation操作前 Legendre ORIGINAL nonzero root58 exact square := mul(58, 58) 操作後 Legendre ORIGINAL nonzero root58 exact square = 3364 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S116 S118 · implies操作前 ORIGINAL root x=58 in1..100;exact square=3364 操作後 square=33*101+31;canonical square class=31;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S117 S119 · calculation操作前 Legendre ORIGINAL nonzero root59 exact square := mul(59, 59) 操作後 Legendre ORIGINAL nonzero root59 exact square = 3481 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S118 S120 · implies操作前 ORIGINAL root x=59 in1..100;exact square=3481 操作後 square=34*101+47;canonical square class=47;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S119 S121 · calculation操作前 Legendre ORIGINAL nonzero root60 exact square := mul(60, 60) 操作後 Legendre ORIGINAL nonzero root60 exact square = 3600 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S120 S122 · implies操作前 ORIGINAL root x=60 in1..100;exact square=3600 操作後 square=35*101+65;canonical square class=65;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S121 S123 · calculation操作前 Legendre ORIGINAL nonzero root61 exact square := mul(61, 61) 操作後 Legendre ORIGINAL nonzero root61 exact square = 3721 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S122 S124 · implies操作前 ORIGINAL root x=61 in1..100;exact square=3721 操作後 square=36*101+85;canonical square class=85;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S123 S125 · calculation操作前 Legendre ORIGINAL nonzero root62 exact square := mul(62, 62) 操作後 Legendre ORIGINAL nonzero root62 exact square = 3844 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S124 S126 · implies操作前 ORIGINAL root x=62 in1..100;exact square=3844 操作後 square=38*101+6;canonical square class=6;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S125 S127 · calculation操作前 Legendre ORIGINAL nonzero root63 exact square := mul(63, 63) 操作後 Legendre ORIGINAL nonzero root63 exact square = 3969 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S126 S128 · implies操作前 ORIGINAL root x=63 in1..100;exact square=3969 操作後 square=39*101+30;canonical square class=30;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S127 S129 · calculation操作前 Legendre ORIGINAL nonzero root64 exact square := mul(64, 64) 操作後 Legendre ORIGINAL nonzero root64 exact square = 4096 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S128 S130 · implies操作前 ORIGINAL root x=64 in1..100;exact square=4096 操作後 square=40*101+56;canonical square class=56;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S129 S131 · calculation操作前 Legendre ORIGINAL nonzero root65 exact square := mul(65, 65) 操作後 Legendre ORIGINAL nonzero root65 exact square = 4225 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S130 S132 · implies操作前 ORIGINAL root x=65 in1..100;exact square=4225 操作後 square=41*101+84;canonical square class=84;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S131 S133 · calculation操作前 Legendre ORIGINAL nonzero root66 exact square := mul(66, 66) 操作後 Legendre ORIGINAL nonzero root66 exact square = 4356 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S132 S134 · implies操作前 ORIGINAL root x=66 in1..100;exact square=4356 操作後 square=43*101+13;canonical square class=13;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S133 S135 · calculation操作前 Legendre ORIGINAL nonzero root67 exact square := mul(67, 67) 操作後 Legendre ORIGINAL nonzero root67 exact square = 4489 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S134 S136 · implies操作前 ORIGINAL root x=67 in1..100;exact square=4489 操作後 square=44*101+45;canonical square class=45;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S135 S137 · calculation操作前 Legendre ORIGINAL nonzero root68 exact square := mul(68, 68) 操作後 Legendre ORIGINAL nonzero root68 exact square = 4624 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S136 S138 · implies操作前 ORIGINAL root x=68 in1..100;exact square=4624 操作後 square=45*101+79;canonical square class=79;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S137 S139 · calculation操作前 Legendre ORIGINAL nonzero root69 exact square := mul(69, 69) 操作後 Legendre ORIGINAL nonzero root69 exact square = 4761 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S138 S140 · implies操作前 ORIGINAL root x=69 in1..100;exact square=4761 操作後 square=47*101+14;canonical square class=14;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S139 S141 · calculation操作前 Legendre ORIGINAL nonzero root70 exact square := mul(70, 70) 操作後 Legendre ORIGINAL nonzero root70 exact square = 4900 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S140 S142 · implies操作前 ORIGINAL root x=70 in1..100;exact square=4900 操作後 square=48*101+52;canonical square class=52;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S141 S143 · calculation操作前 Legendre ORIGINAL nonzero root71 exact square := mul(71, 71) 操作後 Legendre ORIGINAL nonzero root71 exact square = 5041 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S142 S144 · implies操作前 ORIGINAL root x=71 in1..100;exact square=5041 操作後 square=49*101+92;canonical square class=92;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S143 S145 · calculation操作前 Legendre ORIGINAL nonzero root72 exact square := mul(72, 72) 操作後 Legendre ORIGINAL nonzero root72 exact square = 5184 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S144 S146 · implies操作前 ORIGINAL root x=72 in1..100;exact square=5184 操作後 square=51*101+33;canonical square class=33;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S145 S147 · calculation操作前 Legendre ORIGINAL nonzero root73 exact square := mul(73, 73) 操作後 Legendre ORIGINAL nonzero root73 exact square = 5329 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S146 S148 · implies操作前 ORIGINAL root x=73 in1..100;exact square=5329 操作後 square=52*101+77;canonical square class=77;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S147 S149 · calculation操作前 Legendre ORIGINAL nonzero root74 exact square := mul(74, 74) 操作後 Legendre ORIGINAL nonzero root74 exact square = 5476 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S148 S150 · implies操作前 ORIGINAL root x=74 in1..100;exact square=5476 操作後 square=54*101+22;canonical square class=22;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S149 S151 · calculation操作前 Legendre ORIGINAL nonzero root75 exact square := mul(75, 75) 操作後 Legendre ORIGINAL nonzero root75 exact square = 5625 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S150 S152 · implies操作前 ORIGINAL root x=75 in1..100;exact square=5625 操作後 square=55*101+70;canonical square class=70;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S151 S153 · calculation操作前 Legendre ORIGINAL nonzero root76 exact square := mul(76, 76) 操作後 Legendre ORIGINAL nonzero root76 exact square = 5776 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S152 S154 · implies操作前 ORIGINAL root x=76 in1..100;exact square=5776 操作後 square=57*101+19;canonical square class=19;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S153 S155 · calculation操作前 Legendre ORIGINAL nonzero root77 exact square := mul(77, 77) 操作後 Legendre ORIGINAL nonzero root77 exact square = 5929 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S154 S156 · implies操作前 ORIGINAL root x=77 in1..100;exact square=5929 操作後 square=58*101+71;canonical square class=71;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S155 S157 · calculation操作前 Legendre ORIGINAL nonzero root78 exact square := mul(78, 78) 操作後 Legendre ORIGINAL nonzero root78 exact square = 6084 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S156 S158 · implies操作前 ORIGINAL root x=78 in1..100;exact square=6084 操作後 square=60*101+24;canonical square class=24;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S157 S159 · calculation操作前 Legendre ORIGINAL nonzero root79 exact square := mul(79, 79) 操作後 Legendre ORIGINAL nonzero root79 exact square = 6241 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S158 S160 · implies操作前 ORIGINAL root x=79 in1..100;exact square=6241 操作後 square=61*101+80;canonical square class=80;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S159 S161 · calculation操作前 Legendre ORIGINAL nonzero root80 exact square := mul(80, 80) 操作後 Legendre ORIGINAL nonzero root80 exact square = 6400 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S160 S162 · implies操作前 ORIGINAL root x=80 in1..100;exact square=6400 操作後 square=63*101+37;canonical square class=37;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S161 S163 · calculation操作前 Legendre ORIGINAL nonzero root81 exact square := mul(81, 81) 操作後 Legendre ORIGINAL nonzero root81 exact square = 6561 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S162 S164 · implies操作前 ORIGINAL root x=81 in1..100;exact square=6561 操作後 square=64*101+97;canonical square class=97;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S163 S165 · calculation操作前 Legendre ORIGINAL nonzero root82 exact square := mul(82, 82) 操作後 Legendre ORIGINAL nonzero root82 exact square = 6724 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S164 S166 · implies操作前 ORIGINAL root x=82 in1..100;exact square=6724 操作後 square=66*101+58;canonical square class=58;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S165 S167 · calculation操作前 Legendre ORIGINAL nonzero root83 exact square := mul(83, 83) 操作後 Legendre ORIGINAL nonzero root83 exact square = 6889 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S166 S168 · implies操作前 ORIGINAL root x=83 in1..100;exact square=6889 操作後 square=68*101+21;canonical square class=21;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S167 S169 · calculation操作前 Legendre ORIGINAL nonzero root84 exact square := mul(84, 84) 操作後 Legendre ORIGINAL nonzero root84 exact square = 7056 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S168 S170 · implies操作前 ORIGINAL root x=84 in1..100;exact square=7056 操作後 square=69*101+87;canonical square class=87;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S169 S171 · calculation操作前 Legendre ORIGINAL nonzero root85 exact square := mul(85, 85) 操作後 Legendre ORIGINAL nonzero root85 exact square = 7225 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S170 S172 · implies操作前 ORIGINAL root x=85 in1..100;exact square=7225 操作後 square=71*101+54;canonical square class=54;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S171 S173 · calculation操作前 Legendre ORIGINAL nonzero root86 exact square := mul(86, 86) 操作後 Legendre ORIGINAL nonzero root86 exact square = 7396 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S172 S174 · implies操作前 ORIGINAL root x=86 in1..100;exact square=7396 操作後 square=73*101+23;canonical square class=23;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S173 S175 · calculation操作前 Legendre ORIGINAL nonzero root87 exact square := mul(87, 87) 操作後 Legendre ORIGINAL nonzero root87 exact square = 7569 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S174 S176 · implies操作前 ORIGINAL root x=87 in1..100;exact square=7569 操作後 square=74*101+95;canonical square class=95;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S175 S177 · calculation操作前 Legendre ORIGINAL nonzero root88 exact square := mul(88, 88) 操作後 Legendre ORIGINAL nonzero root88 exact square = 7744 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S176 S178 · implies操作前 ORIGINAL root x=88 in1..100;exact square=7744 操作後 square=76*101+68;canonical square class=68;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S177 S179 · calculation操作前 Legendre ORIGINAL nonzero root89 exact square := mul(89, 89) 操作後 Legendre ORIGINAL nonzero root89 exact square = 7921 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S178 S180 · implies操作前 ORIGINAL root x=89 in1..100;exact square=7921 操作後 square=78*101+43;canonical square class=43;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S179 S181 · calculation操作前 Legendre ORIGINAL nonzero root90 exact square := mul(90, 90) 操作後 Legendre ORIGINAL nonzero root90 exact square = 8100 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S180 S182 · implies操作前 ORIGINAL root x=90 in1..100;exact square=8100 操作後 square=80*101+20;canonical square class=20;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S181 S183 · calculation操作前 Legendre ORIGINAL nonzero root91 exact square := mul(91, 91) 操作後 Legendre ORIGINAL nonzero root91 exact square = 8281 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S182 S184 · implies操作前 ORIGINAL root x=91 in1..100;exact square=8281 操作後 square=81*101+100;canonical square class=100;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S183 S185 · calculation操作前 Legendre ORIGINAL nonzero root92 exact square := mul(92, 92) 操作後 Legendre ORIGINAL nonzero root92 exact square = 8464 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S184 S186 · implies操作前 ORIGINAL root x=92 in1..100;exact square=8464 操作後 square=83*101+81;canonical square class=81;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S185 S187 · calculation操作前 Legendre ORIGINAL nonzero root93 exact square := mul(93, 93) 操作後 Legendre ORIGINAL nonzero root93 exact square = 8649 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S186 S188 · implies操作前 ORIGINAL root x=93 in1..100;exact square=8649 操作後 square=85*101+64;canonical square class=64;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S187 S189 · calculation操作前 Legendre ORIGINAL nonzero root94 exact square := mul(94, 94) 操作後 Legendre ORIGINAL nonzero root94 exact square = 8836 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S188 S190 · implies操作前 ORIGINAL root x=94 in1..100;exact square=8836 操作後 square=87*101+49;canonical square class=49;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S189 S191 · calculation操作前 Legendre ORIGINAL nonzero root95 exact square := mul(95, 95) 操作後 Legendre ORIGINAL nonzero root95 exact square = 9025 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S190 S192 · implies操作前 ORIGINAL root x=95 in1..100;exact square=9025 操作後 square=89*101+36;canonical square class=36;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S191 S193 · calculation操作前 Legendre ORIGINAL nonzero root96 exact square := mul(96, 96) 操作後 Legendre ORIGINAL nonzero root96 exact square = 9216 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S192 S194 · implies操作前 ORIGINAL root x=96 in1..100;exact square=9216 操作後 square=91*101+25;canonical square class=25;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S193 S195 · calculation操作前 Legendre ORIGINAL nonzero root97 exact square := mul(97, 97) 操作後 Legendre ORIGINAL nonzero root97 exact square = 9409 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S194 S196 · implies操作前 ORIGINAL root x=97 in1..100;exact square=9409 操作後 square=93*101+16;canonical square class=16;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S195 S197 · calculation操作前 Legendre ORIGINAL nonzero root98 exact square := mul(98, 98) 操作後 Legendre ORIGINAL nonzero root98 exact square = 9604 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S196 S198 · implies操作前 ORIGINAL root x=98 in1..100;exact square=9604 操作後 square=95*101+9;canonical square class=9;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S197 S199 · calculation操作前 Legendre ORIGINAL nonzero root99 exact square := mul(99, 99) 操作後 Legendre ORIGINAL nonzero root99 exact square = 9801 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S198 S200 · implies操作前 ORIGINAL root x=99 in1..100;exact square=9801 操作後 square=97*101+4;canonical square class=4;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S199 S201 · calculation操作前 Legendre ORIGINAL nonzero root100 exact square := mul(100, 100) 操作後 Legendre ORIGINAL nonzero root100 exact square = 10000 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S200 S202 · implies操作前 ORIGINAL root x=100 in1..100;exact square=10000 操作後 square=99*101+1;canonical square class=1;ALL root indices retained 條件：無 每個非零root均列入，不能由少量平方樣本宣稱另一類無root；不預用Euler criterion。 步驟識別與依賴規則：legendre_ALL_nonzero_square_rows_before_symbol_definition · 依賴：G001, S201 S203 · implies操作前 ORIGINAL prime=101;COMPLETE nonzero square table=[[1, 1], [2, 4], [3, 9], [4, 16], [5, 25], [6, 36], [7, 49], [8, 64], [9, 81], [10, 100], [11, 20], [12, 43], [13, 68], [14, 95], [15, 23], [16, 54], [17, 87], [18, 21], [19, 58], [20, 97], [21, 37], [22, 80], [23, 24], [24, 71], [25, 19], [26, 70], [27, 22], [28, 77], [29, 33], [30, 92], [31, 52], [32, 14], [33, 79], [34, 45], [35, 13], [36, 84], [37, 56], [38, 30], [39, 6], [40, 85], [41, 65], [42, 47], [43, 31], [44, 17], [45, 5], [46, 96], [47, 88], [48, 82], [49, 78], [50, 76], [51, 76], [52, 78], [53, 82], [54, 88], [55, 96], [56, 5], [57, 17], [58, 31], [59, 47], [60, 65], [61, 85], [62, 6], [63, 30], [64, 56], [65, 84], [66, 13], [67, 45], [68, 79], [69, 14], [70, 52], [71, 92], [72, 33], [73, 77], [74, 22], [75, 70], [76, 19], [77, 71], [78, 24], [79, 80], [80, 37], [81, 97], [82, 58], [83, 21], [84, 87], [85, 54], [86, 23], [87, 95], [88, 68], [89, 43], [90, 20], [91, 100], [92, 81], [93, 64], [94, 49], [95, 36], [96, 25], [97, 16], [98, 9], [99, 4], [100, 1]];nonzero square classes=[1, 4, 5, 6, 9, 13, 14, 16, 17, 19, 20, 21, 22, 23, 24, 25, 30, 31, 33, 36, 37, 43, 45, 47, 49, 52, 54, 56, 58, 64, 65, 68, 70, 71, 76, 77, 78, 79, 80, 81, 82, 84, 85, 87, 88, 92, 95, 96, 97, 100] 操作後 for EACH normalized class r,first r0 ->symbol0;else square-table member ->symbol1;otherwise ->symbol-1;these cases partition ALL0..p-1 條件：無 先分離zero類，不能因0也是平方便給+1；非零類再依完整square table分residue／nonresidue。這是定義與完整見證，不靠後續乘法性或Euler公式。 步驟識別與依賴規則：legendre_ZERO_then_residue_nonresidue_three_way_definition · 依賴：G001, S202 S204 · calculation操作前 Legendre ORIGINAL candidate class quotient times modulus := mul(0, 101) 操作後 Legendre ORIGINAL candidate class quotient times modulus = 0 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S203 S205 · calculation操作前 Legendre ORIGINAL candidate class ORIGINAL signed value minus multiple := sub(25, 0) 操作後 Legendre ORIGINAL candidate class ORIGINAL signed value minus multiple = 25 條件：無 依原始角色與已證中間量精確代值，不用浮點近似，也不把有限測試冒充全稱極限。 步驟識別與依賴規則：exact_rational_arithmetic · 依賴：G001, S204 S206 · implies操作前 Legendre ORIGINAL candidate class:ORIGINAL a=25,positive modulus=101;actual quotient=0 操作後 normalized class=25;a=quotient*modulus+class;ORIGINAL a retained in output where declared 條件：無 負a亦保同一congruence class，以0到p−1表示；不把負餘數直接當標準類。 步驟識別與依賴規則：legendre_ORIGINAL_signed_class_Euclidean_normalization · 依賴：G001, S205 ## 逐步反向核對 - S206 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S205 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL candidate class ORIGINAL signed value minus multiple，不以小數近似替代。 - S204 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL candidate class quotient times modulus，不以小數近似替代。 - S203 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S202 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S201 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root100 exact square，不以小數近似替代。 - S200 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S199 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root99 exact square，不以小數近似替代。 - S198 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S197 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root98 exact square，不以小數近似替代。 - S196 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S195 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root97 exact square，不以小數近似替代。 - S194 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S193 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root96 exact square，不以小數近似替代。 - S192 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S191 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root95 exact square，不以小數近似替代。 - S190 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S189 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root94 exact square，不以小數近似替代。 - S188 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S187 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root93 exact square，不以小數近似替代。 - S186 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S185 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root92 exact square，不以小數近似替代。 - S184 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S183 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root91 exact square，不以小數近似替代。 - S182 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S181 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root90 exact square，不以小數近似替代。 - S180 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S179 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root89 exact square，不以小數近似替代。 - S178 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S177 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root88 exact square，不以小數近似替代。 - S176 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S175 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root87 exact square，不以小數近似替代。 - S174 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S173 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root86 exact square，不以小數近似替代。 - S172 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S171 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root85 exact square，不以小數近似替代。 - S170 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S169 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root84 exact square，不以小數近似替代。 - S168 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S167 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root83 exact square，不以小數近似替代。 - S166 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S165 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root82 exact square，不以小數近似替代。 - S164 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S163 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root81 exact square，不以小數近似替代。 - S162 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S161 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root80 exact square，不以小數近似替代。 - S160 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S159 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root79 exact square，不以小數近似替代。 - S158 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S157 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root78 exact square，不以小數近似替代。 - S156 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S155 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root77 exact square，不以小數近似替代。 - S154 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S153 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root76 exact square，不以小數近似替代。 - S152 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S151 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root75 exact square，不以小數近似替代。 - S150 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S149 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root74 exact square，不以小數近似替代。 - S148 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S147 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root73 exact square，不以小數近似替代。 - S146 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S145 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root72 exact square，不以小數近似替代。 - S144 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S143 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root71 exact square，不以小數近似替代。 - S142 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S141 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root70 exact square，不以小數近似替代。 - S140 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S139 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root69 exact square，不以小數近似替代。 - S138 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S137 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root68 exact square，不以小數近似替代。 - S136 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S135 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root67 exact square，不以小數近似替代。 - S134 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S133 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root66 exact square，不以小數近似替代。 - S132 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S131 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root65 exact square，不以小數近似替代。 - S130 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S129 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root64 exact square，不以小數近似替代。 - S128 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S127 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root63 exact square，不以小數近似替代。 - S126 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S125 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root62 exact square，不以小數近似替代。 - S124 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S123 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root61 exact square，不以小數近似替代。 - S122 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S121 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root60 exact square，不以小數近似替代。 - S120 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S119 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root59 exact square，不以小數近似替代。 - S118 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S117 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root58 exact square，不以小數近似替代。 - S116 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S115 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root57 exact square，不以小數近似替代。 - S114 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S113 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root56 exact square，不以小數近似替代。 - S112 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S111 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root55 exact square，不以小數近似替代。 - S110 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S109 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root54 exact square，不以小數近似替代。 - S108 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S107 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root53 exact square，不以小數近似替代。 - S106 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S105 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root52 exact square，不以小數近似替代。 - S104 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S103 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root51 exact square，不以小數近似替代。 - S102 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S101 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root50 exact square，不以小數近似替代。 - S100 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S099 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root49 exact square，不以小數近似替代。 - S098 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S097 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root48 exact square，不以小數近似替代。 - S096 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S095 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root47 exact square，不以小數近似替代。 - S094 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S093 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root46 exact square，不以小數近似替代。 - S092 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S091 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root45 exact square，不以小數近似替代。 - S090 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S089 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root44 exact square，不以小數近似替代。 - S088 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S087 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root43 exact square，不以小數近似替代。 - S086 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S085 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root42 exact square，不以小數近似替代。 - S084 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S083 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root41 exact square，不以小數近似替代。 - S082 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S081 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root40 exact square，不以小數近似替代。 - S080 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S079 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root39 exact square，不以小數近似替代。 - S078 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S077 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root38 exact square，不以小數近似替代。 - S076 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S075 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root37 exact square，不以小數近似替代。 - S074 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S073 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root36 exact square，不以小數近似替代。 - S072 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S071 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root35 exact square，不以小數近似替代。 - S070 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S069 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root34 exact square，不以小數近似替代。 - S068 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S067 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root33 exact square，不以小數近似替代。 - S066 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S065 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root32 exact square，不以小數近似替代。 - S064 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S063 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root31 exact square，不以小數近似替代。 - S062 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S061 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root30 exact square，不以小數近似替代。 - S060 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S059 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root29 exact square，不以小數近似替代。 - S058 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S057 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root28 exact square，不以小數近似替代。 - S056 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S055 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root27 exact square，不以小數近似替代。 - S054 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S053 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root26 exact square，不以小數近似替代。 - S052 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S051 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root25 exact square，不以小數近似替代。 - S050 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S049 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root24 exact square，不以小數近似替代。 - S048 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S047 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root23 exact square，不以小數近似替代。 - S046 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S045 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root22 exact square，不以小數近似替代。 - S044 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S043 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root21 exact square，不以小數近似替代。 - S042 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S041 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root20 exact square，不以小數近似替代。 - S040 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S039 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root19 exact square，不以小數近似替代。 - S038 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S037 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root18 exact square，不以小數近似替代。 - S036 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S035 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root17 exact square，不以小數近似替代。 - S034 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S033 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root16 exact square，不以小數近似替代。 - S032 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S031 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root15 exact square，不以小數近似替代。 - S030 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S029 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root14 exact square，不以小數近似替代。 - S028 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S027 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root13 exact square，不以小數近似替代。 - S026 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S025 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root12 exact square，不以小數近似替代。 - S024 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S023 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root11 exact square，不以小數近似替代。 - S022 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S021 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root10 exact square，不以小數近似替代。 - S020 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S019 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root9 exact square，不以小數近似替代。 - S018 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S017 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root8 exact square，不以小數近似替代。 - S016 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S015 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root7 exact square，不以小數近似替代。 - S014 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S013 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root6 exact square，不以小數近似替代。 - S012 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S011 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root5 exact square，不以小數近似替代。 - S010 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S009 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root4 exact square，不以小數近似替代。 - S008 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S007 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root3 exact square，不以小數近似替代。 - S006 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S005 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root2 exact square，不以小數近似替代。 - S004 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S003 · premise_and_result_audit — 以精確有理數重算 Legendre ORIGINAL nonzero root1 exact square，不以小數近似替代。 - S002 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 - S001 · premise_and_result_audit — 回到原始資料與本步條件核對，不把單向推論誤稱等價。 ## 結論 (101, 25, 25, [5, 96], 1, complete_nonzero_square_root_witness) 依上列完整代值及條件核對得到原題答案；原題編號、格式與狀態保持不變。 ## 本題覆核與來源綁定 覆核日期：2026-10-26 原題、答案、步驟表達式、數值 AST 與既有歷史保持原樣；原來的候選狀態屬於來源歷史，不覆寫為形式化證明。 來源雜湊與覆核憑證 - input commit: 0f7be61e2c22317a4075561dc822c87d881a50db - original question SHA-256: f1d57a507b105b65dae058f73c019e81ecab825e98ff5ec912bf14665e20f3c8 - candidate record SHA-256: b474d1bcd20482e6fe8974b715d29bdaad0fac13269b302588042d8f195843ee - semantic review receipt SHA-256: a7c0d888ade6d307703c4222c4137c78c0d2448babdcba2fa3446fe6fdd343c1 - question-first witness SHA-256: c9571f97a37d503ad6a61034cc00108543a05c37ef246d1c4962f55136a3de02 - Lean: NOT_RUN · human review: NOT_PERFORMED [同源完整 JSON](https://ocme.evemisslab.com/data/question-derivations/questions/q-20261014-advance-20261112-r06-legendre-symbol-0050.json)