算術

この項目では、学問分野の算術について説明しています。ディオファントスが著した数学書については「算術 (書物)」をご覧ください。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "算術" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年12月)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2023年10月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Arithmetic|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

算術 (さんじゅつ、英: arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。

「算術」という日本語としては、文明開化前後の「数学」(mathematics) いわゆる西洋数学の本格的な輸入以前は、今日において和算と呼ばれているような、当時の「日本の数学」全般を指していた。なおこの意味では、英語 arithmetic とは必ずしも対応しない場合もある。

また、算術および "Arithmetic" の語は、数論を指し示す場合もある。

加法 (addition)、減法 (subtraction)、乗法 (multiplication)、除法 (division) の4つの演算を、四則（しそく）あるいは四則演算（英: Four arithmetic operations）と称する。

歴史的には四則演算を表す記号として、様々な記号が用いられたが、現在標準的に用いられる記号は以下である。

• 加法:+
• 減法:−
• 乗法:×
• 除法:÷

ただし、コンピュータにおけるプログラミング言語では専ら

• 減法には-（U+002D）-マイナス記号 −（U+2212）ではなくハイフンマイナス
• 乗法には*（U+002A）
• 除法には/（U+002F）

が用いられる。

このうち、加法と乗法は 0 を含む非負の整数の範囲で自由に行うことができるが、減法と除法には制約がある。非負整数の間の減法は、引く数が引かれる数より大きい場合を扱うことができない。また非負整数の除法は、適切な剰余を定義しない限り、割る数が割られる数の約数でない場合を扱うことができない。減法の場合は扱う数を負の数を含んだ整数全体に捉え直すことで制限を解消することができる。たとえば 1 − 2 は非負整数を与えないが、整数全体で演算を扱うなら、

1 − 2 = −1

と負の数を与えることができる。

除法については扱う数を有理数の範囲にすることで互いに素な整数の間でも演算を定義できる。たとえば −4 ÷ 3 は整数を与えないが、

−4 ÷ 3 = −4/3

のように有理数を与える（−4/3 のように表記された数を分数と呼ぶ）。従って、正負の有理数と 0 の数を扱うことで、自由な四則演算が可能になる。ただし、通常は除数を 0 とする除法は定義されない（ゼロ除算を参照）。

四則演算を特徴付ける性質には、交換法則・結合法則・分配法則などがあり、抽象代数学では四則演算が自由にできる集合のことを体という。有理数の全体、実数の全体、複素数の全体などは全て体である。

除法は乗法の逆の演算になっている; a × b = c かつ a ≠ 0, b ≠ 0, c ≠ 0 ならば、a = c/b = c ÷ b, b = c/a = c ÷ a が成り立つ。a × b = 1 となるような乗法の逆元 b を a の逆数といい、1/a と表す。つまり、以下のように表せる。

a × 1/a = 1/a × a = 1.

従って除法は除数の逆数に関する乗法に置き換えられる。

a ÷ b = a × 1/b.

減法は加法の逆の演算になっている; a + b = c ならば a = c − b, b = c − a であるから、乗法 × が加法 + に、除法 ÷ が減法 − に置き代わっただけで、乗法と除法の場合と全く同じことが起こっている。つまり、減法は加法の逆の演算である。ここから自然に、a + b = 0 となるような加法の逆元 b を考えることに導かれる。a の逆元 b は −a と表される（これは a の反数と呼ばれる）。つまり次のような関係が常に成り立つ。

a + (−a) = (−a) + a = 0.

数 a が正ならば −a は負の数であり、a が負ならば −a は正の数となる。また、a が 0 なら −a もまた 0 となる。 従って正の数の減法は負の数の加法に、負の数の減法は正の数の加法に置き換えられる。

a − b = a + (−b).

加法の逆元を与える演算子としての − と、2 数の間の減法を行う演算子としての − とでは、記号は同じだが行う操作と作用する項に違いがあるため、区別を要する場合には前者を単項のマイナス (unary minus operator)、後者を2項のマイナス (binary minus operator) と呼ぶ。

コンピュータの用語として、論理和や論理積など、ブール値やビットを扱う「論理演算」に対して、整数の加減乗除を扱う演算を「算術演算」と呼ぶ。

また、右シフト操作において、その操作で空くビットに、最上位ビットを複製して埋めるシフトを算術シフト、0 で埋めるシフトを論理シフトと言う。これは歴史的にそのように呼ばれているが、符号付き (signed) のシフトと、符号無し (unsigned) のシフト、と呼ぶのが理にかなっている（符号付数値表現#2の補数）。

• 『算術』 - コトバンク

表 話 編 歴 数学
主要分野	数理論理学 集合論 圏論 代数学 初等 線型 多重線型 抽象 算術/数論 解析学/微分積分学 関数解析学 行列解析 幾何学 代数 微分 有限 離散 位相 代数的位相 表現論 リー理論（英語版） 微分方程式 線型微分方程式 複素微分方程式 常微分方程式 偏微分方程式 積分微分方程式 力学系 組合せ数学 数理物理学 ゲーム理論 グラフ理論 最適化問題 数理最適化 計算理論 確率論 数理統計学（英語版） 制御理論 三角法
トピックス	数学史 和算 算道 数理哲学 美 未解決問題 算数・数学教育 算数 教科
主要賞	ド・モルガン・メダル コール賞 フィールズ賞 スティール賞 ウルフ賞 ショウ賞 アーベル賞 数学ブレイクスルー賞
応用	情報理論 折紙の数学 囲碁と数学 数値解析 精度保証付き数値計算 計算機援用証明 数値線形代数 常微分方程式の数値解法 偏微分方程式の数値解法
学会・団体	国際数学者会議 国際数学連合 国際産業数理・応用数理会議 国際産業数理・応用数理評議会（英語版） アメリカ数学会 SIAM ヨーロッパ数学会 ロンドン数学会 日本応用数理学会 日本数学会 数学教育協議会
競技	国際数学オリンピック 日本数学オリンピック 日本ジュニア数学オリンピック 広中杯 近畿大学数学コンテスト 人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所 明治大学先端数理科学インスティテュート 統計数理研究所 アンリ・ポアンカレ研究所 オーバーヴォルファッハ数学研究所 クレイ研究所 CIMAT数学研究センター ステクロフ数学研究所
一覧 数学定数 数 関数 図形 数学記号 数学者 エポニム カテゴリ ポータル

表 話 編 歴 二項演算
四則演算	加法 減法 乗法 除法
ハイパー演算	加法 乗法 冪乗 テトレーション ペンテーション
その他	対数 二項係数 スターリング数 階乗冪 剰余演算 最小公倍数 最大公約数 平方剰余記号
カテゴリ