查看“︁初等代數”︁的源代码

{{NoteTA
|G1 = Math
}}
'''初等代數'''是一個初等且相對簡單形式的[[代數]]，教導對象為還沒有[[數學]]和[[算術]]方面较深知識的中小学生，大学学习的则称为[[线性代数|高等代数]]。當在算術中只有[[數字]]与其運算（如：[[加]]、[[減法|減]]、[[乘]]、[[除]]）出現時，在[[代數]]中也會使用字母[[符號]]诸如 <math>x</math>、<math>y</math> 或 <math>a</math>、<math>b</math> 等表示[[數字]]，习惯上用前者表示[[未知数]]与[[變數]]，用后者表示任意的已知数。

==概述==
初等代數中还会使用诸如 <math>f(x)</math>、<math>g(x)</math>、<math>f(g(x))</math>、<math>f(x_1, x_2)</math> 等[[映射]]符号来表示关于某个字母符号的[[代數式|代数式]]。

{{or|* 它使得算術[[等式]]（或[[不等|不等式]]）可以被描述成[[命题]]或[[定理]]（如：<math>\forall </math> 实数 <math>a</math> 和 <math>b</math>，<math>a + b = b + a</math>），因此這是系統化學習[[實數]]性質的第一步。
* 它允許涉及未知的數字。在一個問題的內容裡，變數或許代表某一還不確定，但可能可以經由方程的規劃及操縱來解開的數值。
* 它允許探究數量之間的數學關係的可能（如「若你賣了 <math>x</math> 張票，你的收益將有 <math>(3x+10)</math> 元」）。
這三個是初等代數的主要組成部份，以區隔其與目的為教導大學生更高深主題的[[抽象代数|抽象代數]]的不同。}}

在初等代數裡，[[表示式]]包含有數字、變數及運算。它們通常把較高次項（習慣上）寫在表示左邊（參考[[多項式]]），舉幾個例子來說：
:<math>x + 3</math>
:<math>y^{2} + 2x - 3</math>
:<math>z^{7} + a(b + x^{3}) + \frac{42}{y} - \pi</math>。
在更進階的代數裡，表示式也會包含有[[初等函数|初等函數]]。

一個[[等式]]表示其等號兩邊的表示式是相等的。某些等式對於其中變數的所有取值都成立（如 <math>a + b = b + a</math>）；這種等式稱為[[恆等式]]。而其他只有變數在某些值時才正確（如 <math>x^{2} - 1 =4</math>），此一使等式成立的變數值則稱為這等式的'''解'''。

==定理==
=== 与代数运算相关的定理 <ref name="law">Mirsky, Lawrence (1990) An Introduction to Linear Algebra''' ''Library of Congress''. p.72-3. ISBN 0-486-66434-1.'''</ref> ===
* [[加法]]是一[[交換律|可交換]]的運算（兩個數不論順序為何，它加起來的總和都一樣）。
** [[減法]]是加法的逆運算。
** 減去一個數和加上一個此數的[[負數]]是一樣意思的：
::: <math> a - b = a + (-b) </math>
:: 例如：若 <math>5 + x = 3</math> ，則 <math>x = -2</math>。
* [[乘法]]是一可交換的運算。
** [[除法]]是乘法的逆運算。
** 除去一個數和乘上一個此數的[[倒數]]是一樣意思的：
::: <math> {a \over b} = a \cdot {1 \over b}  </math>
::例如：若 <math>3 x = 2</math> ，則 <math>x = \frac{2}{3}</math>。
* [[冪]]不是一可交換的運算。
** 但冪卻有兩個逆運算：[[對數]] 和 [[方根|开方]]（如[[平方根]]）。
*** 例如：若 <math>3^x = 10</math>，則 <math>x = \log_3 10</math>。
***例如：若 <math>x^{2} = 10</math>，則 <math>x = {\sqrt {10}}_\C</math>，'''即''' <math>x_1 = {\sqrt {10}}_\R</math>，<math>x_2= -{\sqrt {10}}_\R</math>。
** 負數的平方根不存在於實數內。（參考：[[复数 (数学)|複數]]）
* 加法的[[結合律]]性質：<math>(a + b) + c = a + (b + c)</math>。
* 乘法的結合律性質：<math>(ab)c = a(bc).</math>。
* 對應加法的乘法[[分配律]]性質：<math>c(a + b) = ca + cb</math>。
* 對應乘法的冪分配律性質：<math>(a b)^c = a^c b^c</math>。
* 冪的乘法：<math> a^b a^c = a^{b+c}</math>。
* 冪的冪：<math> (a^b)^c = a^{bc}</math>。

=== 与“等於”相关的定理 ===
* <math>a = a</math> （等於的[[自反性]]）。
* 若 <math>a = b</math>，則 <math>b = a</math> （等於的[[對稱性]]）。
* 若 <math>a = b</math> 且 <math>b = c</math>，則 <math>a = c</math> （[[等於]]的[[遞移律]]）。
* 若 <math>a - b = n</math>，則 <math>a^2 - b^2 = na+nb</math>。

=== 其他定理 ===
* 若 <math>a = b</math> 且 <math>c = d</math>，則 <math>a + c = b + d</math>。
** 若 <math>a = b</math>，則對任一 ''c''，<math>a + c = b + c</math>（等於的可加性）。
* 若 <math>a = b</math> 且 <math>c = d</math>，則 <math>ac</math> = <math>bd</math>。
** 若 <math>a = b</math>，則對任一 ''c''，<math>ac = bc</math>（等於的可乘性）。
* 若兩個符號相等，則一個總是能替換另一個（替換原理）。
* 若 <math>a > b</math> 且 <math>b > c</math>，則 <math>a > c</math>（[[不等|不等式]]的遞移律）。
* 若 <math>a > b</math>，則對任一 ''c''，<math>a + c > b + c</math>。
* 若 <math>a > b</math> 且 <math>c > 0</math>，則 <math>ac > bc</math>。
* 若 <math>a > b</math> 且 <math>c < 0</math>，則 <math>ac < bc</math>。

== 例子 ==
=== 一元一次方程===
最簡單的方程為一元一次方程，它們是含有一個常數和一沒有冪的變數。例如：
:<math>2x + 4 = 12. \,</math>

其中心解法為在等式的兩邊同時以相同數字做加、減、乘、除，以使變數單獨留在等式的一側。一旦變數獨立了，等式的另一邊即是此變數的值。例如，將上面式子兩邊同時減去4：
:<math>2x + 4 - 4 = 12 - 4 \,</math>，
簡化後即為
:<math>2x = 8. \,</math>

再同時[[除以2]]：
:<math>\frac{2x}{2} = \frac{8}{2} \,</math>
再簡化後即為答案：
:<math>x = 4. \,</math>

一般的情形
:<math>ax+b=c</math>
也可以依同樣的方式得出答案來：
:<math>x=\frac{c-b}{a}</math>
【這就是一元一次方程簡單的說明】

=== 一元二次方程 ===
[[一元二次方程]]可以表現成 <math>ax^{2} + bx + c = 0</math>，在這 <math>a</math> 不等於零（假如 ''<math>a</math>'' 等於零，則此方式為一次方程式，而非二次方程式）。二次方程式必須保持二次的形態，如 <math>ax^{2}</math>，二次方程式可以通過[[因式分解]]求解（[[多項式展開]]的逆過程），或者一般地使用[[一元二次方程|二次方程求根公式]]。因式分解的舉例：

:<math>x^{2} + 3x = 0. \,</math>
這相當於
:<math>x(x + 3) = 0. \,</math>
0 和 -3 是它的解，因爲把 <math>x</math> 置為 0 或 -3 便使上述等式成立。
所有二次方程式在[[复数 (数学)|複數]]體系中都有兩個解，但是在[[實數]]系統中卻不一定，例如：
:<math>x^{2} + 1 = 0 \,</math> 
沒有實數解，因爲沒有實數的平方是 -1。
有時一個二次方程式會有2重根，例如：
:<math>(x + 1)^{2} = 0. \,</math>
在這個方程中，-1是2重根。

=== 線性方程組 ===
{{main|線性方程組}}
在[[線性方程組]]內，如兩個變數的方程組內有兩個方程式的話，通常可以找出可同時滿足兩個方程式的兩個變數。

下面為線性方程組的一個例子，有兩個求解的方法：
:<math>4x + 2y = 14 \,</math>
:<math>2x - y = 1. \,</math>

==== 求解的第一種方法 ====
將第2個等式的左右項各乘以2，

:<math>4x + 2y = 14 \,</math>
:<math>4x - 2y = 2. \,</math>

再將兩式相加，

:<math>\, 8x = 16,</math>
上式可化簡為
:<math>x = 2. \,</math>

因爲已知<math>x=2</math>，於是就可以由兩式中的任意一個推斷出<math>y=3</math>。所以這個問題的完整解為

:<math>\begin{cases} x = 2 \\ y = 3. \end{cases}\,</math>
注意：這並不是解這類特殊情況的唯一方法；<math>y</math> 也可以在 <math>x</math> 之前求得。

==== 求解的第二種方法 ====
另一種求解的方法為替代。

:<math>\begin{cases}4x + 2y = 14 \\ 2x - y = 1.\end{cases} \,</math>

''<math>y</math>'' 的等值可以由兩個方程式中的其中一種推出。我們使用第二個方程：

:<math>2x - y = 1 \,</math>

由方程的兩邊減去 <math>2x</math>：
:<math>2x - 2x - y = 1 - 2x \,</math>
:<math>- y = 1 - 2x \,</math>
再乘上 -1：
:<math> y = 2x - 1. \,</math>

將此 ''<math>y</math>'' 值放入原方程組的第一個方程式：

:<math>4x + 2(2x - 1) = 14 \,</math>
:<math>4x + 4x - 2 = 14 \,</math>
:<math>8x - 2 = 14 \,</math>
在方程的兩端加上 2：
:<math>8x - 2 + 2 = 14 + 2 \,</math>
:<math>8x = 16 \,</math>
此可簡化成
:<math>x = 2 \,</math>。

將此值代回兩個方程式中的一個，可求得和上一個方法所求得的相同解答。
:<math>\begin{cases} x = 2 \\ y = 3. \end{cases}\,</math>


注意：這並不是解這類特殊情況的唯一方法；在這個方法裡也是一樣的，<math>y</math> 也可以在 <math>x</math> 之前求得。

== 另見 ==
* [[等量公理]]
* [[代數]]
* [[算術]]
* [[二元運算]]
* [[高斯消去法]]
* [[數學教育]]
* [[數線]]
* [[多項式]]

== 參考 ==
* Charles Smith, ''[http://mathbooks.library.cornell.edu:8085/Dienst/UIMATH/1.0/Display/cul.math/Smit025 A Treatise on Algebra]{{Wayback|url=http://mathbooks.library.cornell.edu:8085/Dienst/UIMATH/1.0/Display/cul.math/Smit025 |date=20081208185631 }}'', in [http://historical.library.cornell.edu/math Cornell University Library Historical Math Monographs]{{Wayback|url=http://historical.library.cornell.edu/math |date=20061017105117 }}.
* Beginning Algebra Tutorials and Reviews [https://web.archive.org/web/20061006220050/http://home.sprynet.com/~smyrl/MAIN.HTM for basic algebra review and practice.].
* Feferman, Anita Burdman and Solomon Feferman (1990) "Alfred Tarski- Life and Logic." ''Cambridge University Press''. p.74-76. ISBN 0-521-80240-7.
* Algebra lessons in PowerPoint [https://web.archive.org/web/20060901202700/http://mrperezonlinemathtutor.com/ALGEBRA_2.html Algebra 2 in PowerPoint].All lessons introduce mathematical concepts, step by step, with animations of text, points, lines and figures in general. Solution of problems is also given step by step. Colors are used to give hints and clues to follow the concept or the solution of the problems.

== 脚注 ==
<references />

{{数学领域}}

[[Category:初等代数|*]]