小修改

知识点/除法.md

@@ -1,7 +1,9 @@
 # 除法
 
-$\forall (a,b,x,y)\in\mathbb{Z} \land x\neq0, y={a}{x}+b \iff {y}\div{x}={a}\cdots{b}$
+$\forall (a,b,y)\in\mathbb{N}, x\in \Bbb{Z^+}, {y}\div{x}={a}\cdots{b} \iff y={a}{x}+b$
 
 $y$称为<u>被除数</u>，$x$称为<u>除数</u>，$a$称为<u>商</u>，$b$称为<u>余数</u>
 
 当$b=0$时称$y$整除$x$，或称$y$是$x$的倍数。此时有$y\div{x}=a \Longrightarrow y\div{a}=x$。
+
+**如何实现MathJax输入除法竖式？**

问题/均贫富.md

@@ -9,7 +9,11 @@
 $
 \begin{aligned}
 a - x &= b + x &({a}\in\Bbb{N},{b}\in\Bbb{N},a>b) \\\\
-2x &= a - b  &(移项并交换等式两侧) \\\\
+a - x + x &= b + 2x &(等式两侧同加x) \\\\
+a &= b + 2x  \\\\
+a - b &= b -b+ 2x &(等式两侧同减b) \\\\
+a -b &= 2x  \\\\
+2x &= a - b  &(交换等式两侧) \\\\
  x &= \dfrac{a-b}{2}  &(等式两侧同除以2)
 \end{aligned}
 $
@@ -17,3 +21,7 @@ $
 ## 解法2
 
 $ x = \dfrac{a+b}{2} - b $
+
+## 其实两个解法的结果是一样的
+
+$\dfrac{a+b}{2} - b= \dfrac{a+b}{2}-\dfrac{2b}{2} = \dfrac{a+b-2b}{2} = \dfrac{a-b}{2}$