เรารู้ได้ยังไงว่า Pi เป็นจำนวนอตรรกยะ

ผมถูกสอนมาตั้งแต่เด็ก ๆ ว่า Pi นั้นไม่ได้เท่ากับ 3.14 และไม่ได้เท่ากับ 22/7 ด้วย เพราะมันเป็นจำนวนอตกรรยะ

แต่พอมานึกดูดี ๆ ว่าเอ้ะ ทำไมมันถึงเป็นจำนวนอตรรกยะนะ ไม่ ผมไม่ได้หมายถึงเหตุผลนะ แต่หมายถึงว่า เราแน่ใจได้ยังไงว่ามันเป็นจำนวนอตรรกยะ

นี่คือคณิตศาสตร์ฮะ และวิธีเดียวที่เราจะเชื่อว่าอะไรสักอย่างเป็นอย่างนั้นจริง ๆ คือต้องพิสูจน์มัน