vf_borhan_2

إذا كان \(a^2\) زوجيا فإنّ \(a\) زوجي.

إذا كان \(a\) فرديا فإنّ \(a^2\) زوجي.

في برهان صمم \(\sqrt2\) نفترض أنّ \(\sqrt2\) كسري نسبي.

التناقض في البرهان هو أنّ \(a\) و\(b\) زوجيان معا في كسر مختزل.

البرهان يثبت أنّ \(\sqrt2\) غير موجود.