加法
テンプレート:出典の明記 テンプレート:Expand English
加法（かほう、テンプレート:Lang-en-short）とは、数を合わせることを意味する二項演算あるいは多項演算で、四則演算のひとつ。足し算（たしざん）、加算（かさん）、あるいは寄せ算（よせざん）とも呼ばれる。また、加法の演算結果を和（わ、テンプレート:En）という。記号は「[[プラス記号とマイナス記号|テンプレート:Math]]」。
自然数の加法は、しばしば物の個数を加え合わせることに喩えられる。また数概念の拡張にしたがい、別の意味を持つ加法も考えられる。たとえば実数の加法は、もはや自然数の加法のように物の個数を喩えに出すことは出来ないが、曲線の長さなど別の対象物を見出せられる。
減法とは互いに逆の関係にあり、また例えば、負の数の加法として減法が捉えられるなど、加法と減法の関連は深い。これは代数学において加法群の概念として抽象化される。
無限個の数を加えること（総和法）については総和、級数、極限、ε–δ 論法など参照。
記法
それぞれの項が分かっていて全てを書き表せられるとき、それらの和は記号 "テンプレート:Math" を使い表す。例えば中置記法の場合、テンプレート:Math の和は
と記される。これは テンプレート:Math に等しい。このことは等式として
と表される。
3 項以上の足し算についても、例えば次のように書ける。
これは、テンプレート:Math の結果と テンプレート:Math の間の加法を表す。
また、全ての項を書き表せられない時、暗に何らかの規則性がある場合には間を記号 "…" で省略して表すことがある。例えばテンプレート:Math~テンプレート:Mathまでの自然数の和は、
のように書き表す。ただしこのような場合は、記号 テンプレート:Math を用いて書き表すほうが規則性を陽に表すことができて便利であり紛れがない（総和の項参照）。
注意すべき点として、2 つの数に対する加法を テンプレート:Math と表したときに左の項 テンプレート:Mvar と右の項 テンプレート:Mvar が「元の数」と「加える数」のいずれであるかは加法の定義に含まれない。
性質
数の加法のみに注目してその性質を挙げると以下のようなものがある。
- 対称性（交換法則）: テンプレート:Math
- 有限個の数を足すときは、順番を入れ替えて計算しても和は変わらない（ただし、無限個の数を足す場合は答えが変わってしまう場合があるため、順番を変えてはならない）。
- 例
- テンプレート:Math
- 推移性（結合法則）: テンプレート:Math
- 有限個の数を足すためには、どこから加えていっても結果は同じである。
これらは抽象代数学においては "加法" と呼ぶべきものの満たすべき公理的な性質と見なされる。他にも
- 単位元の存在 : ある数にテンプレート:Mathを加えても数は変わらない。
- 逆元の存在 : ある数と、絶対値が同じで符号の異なる数との和はテンプレート:Mathである。
- テンプレート:Math
- などが加法に関する性質として挙げられる。
素朴な定義
2つの量があり、その2つの量を「合わせた量」を求める時の演算を加法と定義すれば多くの場合に適用できる。単に「数が大きくなる演算が加法」とすれば、正の数でしかその定義は成り立たないが、「合わせた量」で定義すると、負の数でも分数や小数でも定義できる。
また加える順番は結果には関係なく、加える順番を自由に変えたとしても、得られる結果は常に等しくなる。このことは 2 つのコップに水が入っていたとして、どちらの水をどちら側へ注いでも水の量は変わらないことなどから類推できる。
加法の逆の操作として減法を考えたときに、減法の結果として正の数から負の数が得られることがある。減法によって新しい数を作ったとき、
ここで得られた数 テンプレート:Mvar は減法の性質から、次のような関係が成り立つ。
つまり、初めに テンプレート:Math という引き算によって得られた新しい数 テンプレート:Mvar は、テンプレート:Mvar に加えた結果が テンプレート:Mvar に等しくなる性質を持つ。 具体的に テンプレート:Math から テンプレート:Math を引いた数を テンプレート:Mvar としたとき、テンプレート:Math に テンプレート:Mvar を足した数は テンプレート:Math になる。テンプレート:Math は テンプレート:Math より小さいので、これは加法の結果がより小さな数を与えることを示している。
上の式で テンプレート:Mvar を テンプレート:Math としたとき、テンプレート:Mvar は テンプレート:Mvar との和が テンプレート:Math となる数である。この テンプレート:Mvar を テンプレート:Math と書くことにする。テンプレート:Math の足し算は テンプレート:Mvar の引き算と同じ結果を常に与える。したがって、正の数の減法は負の数の加法で置き換えられる。
さらに、スカラー量だけでなく、ベクトル、行列にも加法が定義されるようになるが、いずれも交換法則、結合法則を満たすものである。
ペアノによる定義
テンプレート:See also ジュゼッペ・ペアノは自然数同士の加法を以下のように形式的に定義した。[1]
ただし、 テンプレート:Math は テンプレート:Math の後者として定義されている。後者関数 テンプレート:Math を用いて表現すると以下のように書ける。
正負の数の計算方法
2 数 テンプレート:Math の符号と絶対値に注目すると、和 テンプレート:Math は次のように計算できる。
- 2 数の符号が同じ場合
- テンプレート:Math が共に正の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math と テンプレート:Mvar の絶対値 テンプレート:Math を足し、正の符号を付ける。
- テンプレート:Math が共に負の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math と テンプレート:Mvar の絶対値 テンプレート:Math を足し、負の符号を付ける。
- 2 数の符号が異なる場合
- テンプレート:Mvar の絶対値 テンプレート:Math が テンプレート:Mvar の絶対値 テンプレート:Math より大きい場合
- テンプレート:Mvar が正の数のとき
- テンプレート:Mvar が負の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math から テンプレート:Mvar の絶対値 テンプレート:Math を引き、正の符号を付ける。
- テンプレート:Mvar が負の数のとき
- テンプレート:Mvar が正の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math から テンプレート:Mvar の絶対値 テンプレート:Math を引き、負の符号を付ける。
- テンプレート:Mvar の絶対値 テンプレート:Math が b の絶対値 テンプレート:Math より小さい場合
- テンプレート:Mvar が負の数のとき
- テンプレート:Mvar が正の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math から テンプレート:Mvar の絶対値 テンプレート:Math を引き、負の符号を付ける。
- テンプレート:Mvar が正の数のとき
- テンプレート:Mvar が負の数のとき
- テンプレート:Mvar の絶対値 テンプレート:Math から テンプレート:Mvar の絶対値 テンプレート:Math を引き、正の符号を付ける。
- テンプレート:Mvar の絶対値が等しい場合
- 和は テンプレート:Math である。