「0は偶数か奇数か、どっちなのか」という問いに対する数学の回答は極めて明快です。0は間違いなく偶数です。奇数でもなければ、「偶数でも奇数でもない中立の数」でもありません。
数学において、ある整数が偶数であるかどうかは「感覚」や「物の個数」ではなく、厳密な偶数の定義 数学に基づいて判定されます。偶数の定義は極めてシンプルです。
【数学における偶数の定義】
整数 $n$ を用いて $2n$（2の整数倍）の形で表すことができる整数。または「2で割り切ったときに余りが0になる整数」。
この定義を0に当てはめてみましょう。まず、0は整数です（$n = 0$）。そして、$2 \times 0 = 0$ が成り立ちます。つまり、0は「2 × 整数」の形で完璧に表すことができます。
割り算の観点から0は偶数 証明を行う場合も同様です。$0 \div 2 = 0$ であり、余りは正真正銘の「0」です。なんの矛盾もなく2で割り切れる数の条件を満たしています。「0個のリンゴを2人で平等に分けると、1人あたり0個で余りは0個」という現実の配分モデルでも完全に整合します。
さらに、数論における「パリティ（偶奇性）」の法則からも、0が偶数であることは必然となります。
- 交互性の法則：数直線上の整数は「…奇数、偶数、奇数、偶数…」と交互に並びます。$-3$（奇）、$-2$（偶）、$-1$（奇）、$0$（偶）、$1$（奇）、$2$（偶）、$3$（奇）となり、0を偶数としなければ数直線の周期性が崩壊します。
- 加法の法則：「偶数 ＋ 偶数 ＝ 偶数」および「奇数 ＋ 奇数 ＝ 偶数」が成り立ちます。例えば $2 + 0 = 2$（偶数＋偶数＝偶数）、$1 + (-1) = 0$（奇数＋奇数＝偶数）となり、0が偶数でなければ初等代数学の基本ルールが破綻します。
