来自《耶鲁大学开放课程—哲 第4集 第4集》

• 
  
  that are mathematically way over my head.
  令我头大的数学题了
• 
  
  But let's take something simple like the Pythagorean Theorem,
  不过我们还是说些简单的 比如勾股定理
• 
  
  which we all learned in high school.
  我们中学里都学过的
• 
  
  And we learned how to prove
  我们都学习过
• 
  
  the Pythagorean Theorem in Euclidean geometry,
  欧几里得几何中对勾股定理的证明方法
• 
  
  starting with the various axioms in Euclidean geometry,
  从繁杂的欧氏几何的公理开始
• 
  
  ba, ba-ba, ba-ba, ba-ba, ba bum.
  邦 邦邦 邦邦 邦邦
• 
  
  This proves Pythagorean Theorem.
  这就证明了勾股定理
• 
  
  And it turns out there's a variety of proofs of the Pythagorean Theorem.
  其实有很多种证明勾股定理的方法
• 
  
  And, in fact, a computer program has come up with a proof that,
  而实际上 电脑程序的证明方式
• 
  
  as far as was known,
  据目前所知
• 
  
  nobody in the world had ever come up with before.
  是前人们从未曾提出过的