这个无理数存在的证明，是古希腊的，到现在大学一年级数学分析的课本里还在用。