数学では、2による除算は、ある数を2で割ることである。古代エジプト人のように、これを割り算とは別の操作と考える文化もあった。16世紀（1500-1599年）までの数学者の中にもこのように考えていた人がいた。今日、2による除算は、現代のコンピュータ・プログラミングで特別に扱われている。

数学的な定義と性質

任意の数 x に対して「x を 2 で割る」とは、数学的には x/2 を求めることであり、これは 1/2 を掛けることと同値である。実数や有理数では結果は明確に定義され、例えば 8/2 = 4、9/2 = 4.5 となる。整数環では商と余りの観点から考えることが多く、9 を 2 で割ると商が 4、余りが 1 になる。

  • 偶数は 2 で割ると必ず整数になる（例: 6 → 3）。
  • 奇数を 2 で割ると整数にはならず、余り（または小数部分）が出る（例: 7 → 3 余り 1、あるいは 3.5）。
  • 2 の累乗に関わる数（dyadic rational）は、分母が 2 の冪の有理数で、二進法表示が有限になる。

歴史的背景

古代の計算法では、掛け算と割り算の関係が今日のように一元化されていないことが多かった。たとえば古代の計算法の一つであるエジプト式乗算法では、掛け算を「二倍（doubling）と半分（halving）」の繰り返しで扱い、2 で割る（半減）操作が独立した基本操作として使われていた。こうした考え方は一部の文化や時代に残り、16世紀までの一部の数学者の著作にもその名残が見られる。

コンピュータでの扱い

コンピュータでは「2で割る」操作が特別に効率よく扱えることが多く、アルゴリズム設計や最適化で重要な役割を持つ。

  • 二進法とビットシフト: 整数を二進数で表したとき、右へ1ビットシフトする操作（例: 1000₂ → 100₂）は概念的に 2 で割ることに対応する（8 → 4）。CPU 命令としてのシフトは一般に除算よりも高速である。
  • 符号付き整数の扱い: 符号付き整数を右シフトする場合、論理シフト（空いた上位ビットに 0 を入れる）と算術シフト（符号ビットを複製する）があり、言語や実装で動作が異なる。整数除算における負の数の丸め（切り捨て、切り上げ、零方向への丸めなど）も言語仕様によって違うため注意が必要である（例えば C 言語では最近の標準で 0 方向への丸めが採用されている）。
  • 最適化: コンパイラは定数で割る場合、2 のべき乗ならシフトに置き換えたり、べき乗でない場合でも乗法による定数倍（逆数を固定小数点で掛ける）や他の手法に置き換えて高速化することがある。
  • 浮動小数点: 浮動小数点数では 2 で割ることは指数を 1 減らすだけで表現上非常に単純かつ正確に扱える（ただし丸め誤差の影響は有限精度に依存する）。

実用上の注意点

  • 整数除算と小数除算は振る舞いが異なる。プログラミングでは型（整数型か浮動小数点型か）に注意する。
  • ビット演算でのシフトは多くの言語で負の数やシフト量が型幅以上の場合に未定義または実装依存となるので安全性を考慮する必要がある。
  • コンパイラ最適化に頼らずに手でビット演算に書き換えると可読性や移植性が落ちることがあるため、必要に応じてプロファイルを取り最適化を行うのがよい。

応用例

  • 二分探索（binary search）は探索範囲を半分にするアルゴリズムで、O(log n) の計算量を持つ基本手法である。
  • バイナリツリーやヒープなどのデータ構造では、添字計算や親子関係の計算に 2 の性質が活かされる。
  • 数値解析では二分法（bisection method）で区間を半分に分けて根を求める。
  • 幾何学では中点（線分の半分）が 2 で割る操作に対応し、対称性や分割に使われる。

まとめると、2で割るという単純な操作は数学的にも歴史的にも重要であり、特にコンピュータでは二進法と密接に結びつくため高速化や特殊扱いの対象になっている。

2で割ることを半減、調停、二分と呼ぶこともある。これは文脈によって用語や丸め規則が変わるため、数学的・計算機的に扱う際は定義を明確にすることが大切である。