البرهان التقليدي على أن √2 عدد لاجذري ينطلق من افتراض √2 = p/q (كسر غير قابل للاختزال) ثم يصل إلى تناقض. نوع هذا البرهان:

الجواب الصحيح: (أ) برهان بالخلف

نفترض نقيض المطلوب (√2 جذري) فنستنتج أن p و q زوجيان معا، وهو ما يناقض عدم قابلية الكسر للاختزال.

المصدر: ديداكتيك الرياضيات