寧々さんがビッチであることの数学的帰納法を用いた簡素な証明

「“私”は、寧々さんの彼氏である。
寧々さんがこれまでに“私”以外に性交渉を持った男性の数をｎとする。
ｎ＝１,２,３,……のとき、寧々さんがビッチであることを証明する。

(１)　ｎ＝１のとき
寧々さんは“私”の彼女なので、“私”と性交渉を持っていることは自明である。
このとき、寧々さんが性交渉を持った男性の数はｎ＋１と表されるが、

　ｎ＝１のとき、　ｎ＋１＝２

寧々さんは複数人の男性と性交渉を持っている。∴寧々さんはビッチである。

(２)　ｎ＝ｋのとき、命題が成り立つと仮定すると、

　ｋ＋１≧２

両辺に１を加えると

　ｋ＋２≧３　⇔　（ｋ＋１）＋１≧３

よって、ｎ＝ｋ＋１のときも　ｎ＋１≧２　は成り立つ。

(１)、(２)より、ｎ＝１,２,３……のとき　ｎ＋１≧２　は常に成り立つ。
ｎが正の性数であるとき、寧々さんはつねに複数人の男性との性交渉を経験している。
∴寧々さんはビッチである。（証明終）」