توضيح أم برهانِ
مجموع مساحتي المربعين المقامين على ضلعي القائمة في مثلث قائم الزاوية يساوي مساحة المربع المقام على الوتر.
نظرية فيثاغورس هي أول حقيقةً غير بديهية تصادفنا في الهندسة. القرص الدائري يوضح النظرية لكنه لا يُبرهنها، وبالتحديد للأبعادِ التي إختيرتْ في هذا النموذجِ. فلماذا تنطبق على أبعاد أخرى؟
من ناحية أخرى، فإنّ الأحجية تعتبر أساساً لبرهان رياضيّ. ويُمْكِنُ أَنْ نُبَيِّنَ بالمنطق أنها سَتَنْطَبِقُ دائماً.
