Hatena::ブログ(Diary)

辺境パリンクロン

2010-07-10

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

「“私”は、寧々さんの彼氏である。

寧々さんがこれまでに“私”以外に性交渉を持った男性の数をnとする。

n=1,2,3,……のとき、寧々さんがビッチであることを証明する。


(1) n=1のとき

寧々さんは“私”の彼女なので、“私”と性交渉を持っていることは自明である。

このとき、寧々さんが性交渉を持った男性の数はn+1と表されるが、

 n=1のとき、 n+1=2

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


(2) n=kのとき、命題が成り立つと仮定すると、

 k+1≧2

両辺に1を加えると

 k+2≧3 ⇔ (k+1)+1≧3

よって、n=k+1のときも n+1≧2 は成り立つ。


(1)、(2)より、n=1,2,3……のとき n+1≧2 は常に成り立つ。

nが正の性数であるとき、寧々さんはつねに複数人の男性との性交渉を経験している。

∴寧々さんはビッチである。(証明終)」


ラブプラスの寧々さんが公式でビッチ

Connection: close