1. 一次方程形式有效性
在有理數論域,考慮 0x+(-12)=0。依本 MKO,這是否是一元一次方程?
查看答案與解釋
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
本批已通過 Schema、去重、來源快照與獨立答案重算;仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留;AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20260927-linear-equation-foundations · 2026-09-27 · 100 題
在有理數論域,考慮 0x+(-12)=0。依本 MKO,這是否是一元一次方程?
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -3x+(-11)=0。依本 MKO,這是否是一元一次方程?
是
a=-3≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -2x+(-10)=0。依本 MKO,這是否是一元一次方程?
是
a=-2≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -1x+(-9)=0。依本 MKO,這是否是一元一次方程?
是
a=-1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 1x+(-8)=0。依本 MKO,這是否是一元一次方程?
是
a=1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 0x+(-7)=0。依本 MKO,這是否是一元一次方程?
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 2x+(-6)=0。依本 MKO,這是否是一元一次方程?
是
a=2≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 3x+(-5)=0。依本 MKO,這是否是一元一次方程?
是
a=3≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 4x+(-4)=0。依本 MKO,這是否是一元一次方程?
是
a=4≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -4x+(-3)=0。依本 MKO,這是否是一元一次方程?
是
a=-4≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 0x+(-2)=0。依本 MKO,這是否是一元一次方程?
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -2x+(-1)=0。依本 MKO,這是否是一元一次方程?
是
a=-2≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -1x+(0)=0。依本 MKO,這是否是一元一次方程?
是
a=-1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 1x+(1)=0。依本 MKO,這是否是一元一次方程?
是
a=1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 1x+(2)=0。依本 MKO,這是否是一元一次方程?
是
a=1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 0x+(3)=0。依本 MKO,這是否是一元一次方程?
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 3x+(4)=0。依本 MKO,這是否是一元一次方程?
是
a=3≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 4x+(5)=0。依本 MKO,這是否是一元一次方程?
是
a=4≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -4x+(6)=0。依本 MKO,這是否是一元一次方程?
是
a=-4≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -3x+(7)=0。依本 MKO,這是否是一元一次方程?
是
a=-3≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 0x+(8)=0。依本 MKO,這是否是一元一次方程?
否
a=0,因此只是退化常數等式,不得稱為一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 -1x+(9)=0。依本 MKO,這是否是一元一次方程?
是
a=-1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 1x+(10)=0。依本 MKO,這是否是一元一次方程?
是
a=1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 1x+(11)=0。依本 MKO,這是否是一元一次方程?
是
a=1≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域,考慮 2x+(12)=0。依本 MKO,這是否是一元一次方程?
是
a=2≠0,所以是本 MKO 的一元一次方程。
一元一次方程式 · qf-linear-equation-form-validity · candidate
在有理數論域精確解 -5x+(-15)=0;a=-5 已明示非零。
-3
x=−(-15)/-5=-3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -4x+(-8)=0;a=-4 已明示非零。
-2
x=−(-8)/-4=-2;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -3x+(-1)=0;a=-3 已明示非零。
-1/3
x=−(-1)/-3=-1/3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -2x+(6)=0;a=-2 已明示非零。
3
x=−(6)/-2=3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -1x+(13)=0;a=-1 已明示非零。
13
x=−(13)/-1=13;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 1x+(-11)=0;a=1 已明示非零。
11
x=−(-11)/1=11;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 1x+(-4)=0;a=1 已明示非零。
4
x=−(-4)/1=4;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 2x+(3)=0;a=2 已明示非零。
-3/2
x=−(3)/2=-3/2;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 3x+(10)=0;a=3 已明示非零。
-10/3
x=−(10)/3=-10/3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 4x+(-14)=0;a=4 已明示非零。
7/2
x=−(-14)/4=7/2;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 5x+(-7)=0;a=5 已明示非零。
7/5
x=−(-7)/5=7/5;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -5x+(0)=0;a=-5 已明示非零。
0
x=−(0)/-5=0;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -4x+(7)=0;a=-4 已明示非零。
7/4
x=−(7)/-4=7/4;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -3x+(14)=0;a=-3 已明示非零。
14/3
x=−(14)/-3=14/3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -2x+(-10)=0;a=-2 已明示非零。
-5
x=−(-10)/-2=-5;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -1x+(-3)=0;a=-1 已明示非零。
-3
x=−(-3)/-1=-3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 1x+(4)=0;a=1 已明示非零。
-4
x=−(4)/1=-4;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 1x+(11)=0;a=1 已明示非零。
-11
x=−(11)/1=-11;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 2x+(-13)=0;a=2 已明示非零。
13/2
x=−(-13)/2=13/2;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 3x+(-6)=0;a=3 已明示非零。
2
x=−(-6)/3=2;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 4x+(1)=0;a=4 已明示非零。
-1/4
x=−(1)/4=-1/4;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 5x+(8)=0;a=5 已明示非零。
-8/5
x=−(8)/5=-8/5;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -5x+(15)=0;a=-5 已明示非零。
3
x=−(15)/-5=3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -4x+(-9)=0;a=-4 已明示非零。
-9/4
x=−(-9)/-4=-9/4;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域精確解 -3x+(-2)=0;a=-3 已明示非零。
-2/3
x=−(-2)/-3=-2/3;以 gcd 約成正分母 canonical rational。
一元一次方程式 · qf-linear-equation-exact-solve · candidate
在有理數論域,方程 -4x+(-14)=0;候選 x=-7/2。候選值是否為解?
是
q=2≠0;-4×-7+(-14)×2=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -3x+(-9)=0;候選 x=-2。候選值是否為解?
否
q=1≠0;-3×-2+(-9)×1=-3,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -2x+(-4)=0;候選 x=-2。候選值是否為解?
是
q=1≠0;-2×-2+(-4)×1=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -1x+(1)=0;候選 x=2。候選值是否為解?
否
q=1≠0;-1×2+(1)×1=-1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(6)=0;候選 x=-3。候選值是否為解?
是
q=1≠0;2×-3+(6)×1=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 1x+(11)=0;候選 x=-10。候選值是否為解?
否
q=1≠0;1×-10+(11)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(-13)=0;候選 x=13/2。候選值是否為解?
是
q=2≠0;2×13+(-13)×2=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 3x+(-8)=0;候選 x=3。候選值是否為解?
否
q=1≠0;3×3+(-8)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 4x+(-3)=0;候選 x=3/4。候選值是否為解?
是
q=4≠0;4×3+(-3)×4=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -4x+(2)=0;候選 x=1。候選值是否為解?
否
q=1≠0;-4×1+(2)×1=-2,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -3x+(7)=0;候選 x=7/3。候選值是否為解?
是
q=3≠0;-3×7+(7)×3=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -2x+(12)=0;候選 x=7。候選值是否為解?
否
q=1≠0;-2×7+(12)×1=-2,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -1x+(-12)=0;候選 x=-12。候選值是否為解?
是
q=1≠0;-1×-12+(-12)×1=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(-7)=0;候選 x=4。候選值是否為解?
否
q=1≠0;2×4+(-7)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 1x+(-2)=0;候選 x=2。候選值是否為解?
是
q=1≠0;1×2+(-2)×1=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(3)=0;候選 x=-1。候選值是否為解?
否
q=1≠0;2×-1+(3)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 3x+(8)=0;候選 x=-8/3。候選值是否為解?
是
q=3≠0;3×-8+(8)×3=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 4x+(13)=0;候選 x=-3。候選值是否為解?
否
q=1≠0;4×-3+(13)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -4x+(-11)=0;候選 x=-11/4。候選值是否為解?
是
q=4≠0;-4×-11+(-11)×4=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -3x+(-6)=0;候選 x=-1。候選值是否為解?
否
q=1≠0;-3×-1+(-6)×1=-3,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -2x+(-1)=0;候選 x=-1/2。候選值是否為解?
是
q=2≠0;-2×-1+(-1)×2=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 -1x+(4)=0;候選 x=5。候選值是否為解?
否
q=1≠0;-1×5+(4)×1=-1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(9)=0;候選 x=-9/2。候選值是否為解?
是
q=2≠0;2×-9+(9)×2=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 1x+(14)=0;候選 x=-13。候選值是否為解?
否
q=1≠0;1×-13+(14)×1=1,所以不是解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,方程 2x+(-10)=0;候選 x=5。候選值是否為解?
是
q=1≠0;2×5+(-10)×1=0,所以為解。
一元一次方程式 · qf-linear-equation-solution-verification · candidate
在有理數論域,分類 0x+(0)=0 的解集。
所有有理數皆為解
a=0 且 b=0,等式為 0=0,所以所有有理數皆為解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(1)=0 的解集。
無解
a=0 且 b=1≠0,等式為 1=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(2)=0 的解集。
無解
a=0 且 b=2≠0,等式為 2=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(3)=0 的解集。
無解
a=0 且 b=3≠0,等式為 3=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(4)=0 的解集。
無解
a=0 且 b=4≠0,等式為 4=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(5)=0 的解集。
無解
a=0 且 b=5≠0,等式為 5=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(6)=0 的解集。
無解
a=0 且 b=6≠0,等式為 6=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(7)=0 的解集。
無解
a=0 且 b=7≠0,等式為 7=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 0x+(8)=0 的解集。
無解
a=0 且 b=8≠0,等式為 8=0,所以無解。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 3x+(-3)=0 的解集。
唯一解 x=1
a=3≠0,所以唯一解為 −b/a=1。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 4x+(-2)=0 的解集。
唯一解 x=1/2
a=4≠0,所以唯一解為 −b/a=1/2。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 5x+(-1)=0 的解集。
唯一解 x=1/5
a=5≠0,所以唯一解為 −b/a=1/5。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 6x+(0)=0 的解集。
唯一解 x=0
a=6≠0,所以唯一解為 −b/a=0。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 7x+(1)=0 的解集。
唯一解 x=-1/7
a=7≠0,所以唯一解為 −b/a=-1/7。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 1x+(2)=0 的解集。
唯一解 x=-2
a=1≠0,所以唯一解為 −b/a=-2。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 2x+(3)=0 的解集。
唯一解 x=-3/2
a=2≠0,所以唯一解為 −b/a=-3/2。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 3x+(4)=0 的解集。
唯一解 x=-4/3
a=3≠0,所以唯一解為 −b/a=-4/3。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 4x+(5)=0 的解集。
唯一解 x=-5/4
a=4≠0,所以唯一解為 −b/a=-5/4。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 5x+(6)=0 的解集。
唯一解 x=-6/5
a=5≠0,所以唯一解為 −b/a=-6/5。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 6x+(7)=0 的解集。
唯一解 x=-7/6
a=6≠0,所以唯一解為 −b/a=-7/6。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 7x+(8)=0 的解集。
唯一解 x=-8/7
a=7≠0,所以唯一解為 −b/a=-8/7。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 1x+(9)=0 的解集。
唯一解 x=-9
a=1≠0,所以唯一解為 −b/a=-9。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 2x+(10)=0 的解集。
唯一解 x=-5
a=2≠0,所以唯一解為 −b/a=-5。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 3x+(11)=0 的解集。
唯一解 x=-11/3
a=3≠0,所以唯一解為 −b/a=-11/3。
一元一次方程式 · qf-linear-equation-solution-class · candidate
在有理數論域,分類 4x+(12)=0 的解集。
唯一解 x=-3
a=4≠0,所以唯一解為 −b/a=-3。
一元一次方程式 · qf-linear-equation-solution-class · candidate