逆数

以下に具体例をいくつか挙げる。ここで e はネイピア数、i は虚数単位、r は複素数の絶対値、θ は複素数の偏角を表す。また、z は複素数 z の共役複素数、|a| は数 a の絶対値を表す。

• 9 の逆数は 1/9。同様に 1/9 の逆数は 9。
• 2/3 の逆数は 3/2。同様に 3/2 の逆数は 2/3。
• 0.3 の逆数は 1/0.3 = 10/3。同様に 10/3 の逆数は 3/10 = 0.3。
• −5 の逆数は 1/−5 = −1/5 = −0.2。
• −|a| の逆数は 1/−|a| = −1/|a|。
• i の逆数は 1/i = i⁻¹ = −i。
• 3 + 4i の逆数は 1/3 + 4i = 3 − 4i/25。
• x + yi の逆数は 1/ x + yi = x − yi/x ² + y ²。
• re^iθ の逆数は (re^iθ)⁻¹ = 1/re^−iθ。
• 複素数 z の逆数は 1/z = 1/|z|²z。

合同式において逆数を考えることができる。a × b を m で割ると 1 余るとき、b を a の m を法とする逆数と呼ぶ。合同式で表すと以下のようになる。

${\displaystyle a\times b\equiv 1{\pmod {m}}.}$ 

例えば、4 × 2 ≡ 1 (mod 7) となるので、法 7 において 2 は 4 の逆数である。通常の逆数と同様、逆数の逆数は同じ数であり、0 の逆数は存在せず、1 や −1 の逆数はそれ自身である。合同式の性質から、m の倍数の逆数は存在せず、(km ± 1) の逆数はそれ自身になる。

定義上、a は m と互いに素である必要がある。つまり、一般に合同式での逆数は存在するとは限らない。例えば、7 × b ≡ 1 (mod 42) や 12 × b ≡ 1 (mod 4) を満たす b は存在しない。

素数 p を法とする場合、0 以外の全ての元が逆数を持つ。法 17 を例とすると次のようになる。

合同式での逆数はオイラーの定理によって計算できる。a に逆数 b が存在するならば

${\displaystyle a\times b\equiv 1\equiv a^{\varphi (m)}=a\times a^{\varphi (m)-1}{\pmod {m}}}$ 

なので、

${\displaystyle b\equiv a^{\varphi (m)-1}{\pmod {m}}}$ 

（ここで φ はオイラーのφ関数）であり、逆に a と m が互いに素であれば、この式によって逆数が与えられる。特に、m が素数の場合以下のようになる（フェルマーの小定理から直接導かれる）。

${\displaystyle b\equiv a^{m-2}{\pmod {m}}.}$ 

また、ユークリッドの互除法によっても効率的に求めることができる。定義式は、以下のベズーの等式（ディオファントス方程式の一種）が b と n について整数解を持つことと同値である。

${\displaystyle a\times b+m\times n=1.}$ 

この式の解は、a と m が互いに素である場合、かつその場合に限り存在する。

日本の小学校では、小学6年生で分数の掛け算・割り算について学習する際に、逆数について学習し、x（実際には具体的な数を用いる）で割ることと 1/x を掛けることが同じ結果を得ることなどを学ぶ。この事は中学校の課程で、加法における逆元、つまり負の数について学ぶ準備になっている。

• 反比例
• 単位分数
• エジプト式分数
• 反数
• 逆元
• 単位元
• 吸収元
• 逆行列
• 群 (数学)
• 準群#ループ