题主所问的问题如果在2500多年前,我们牛B的毕达哥拉斯同学都要给跪了!没错,就是发现勾股定理的那个神人。当然神人也会犯错误。从几何直观上讲,这个斜边必然是一个确定的值,但是没办法用有限小数或循环小数表示。毕达哥拉斯认为,凡是数都可以表示成两个整数的比(有理数,rational number,说到这个英文很多同学认为“有理”和有道理有关系,其实这个词的词根是ratio,意为可比的),也就可以表示为有限或循环小数。那么问题来了,边长为1的正方形对角线的长度是多少呢?毕同学没有答案,是他的弟子希帕索斯发现这个数并不能表示成两个整数之比,后来这种数被称为无理数,由此拉开了第一次数学危机的序幕。这个发现让毕达哥拉斯学派十分紧张,他们开除了毕达哥拉斯,并且对这个问题置之不理。后来希帕索斯在流亡的一艘船上遇到了毕氏学派的门徒,他就这样被当成异端被丢到了海里。
那么我们来看一下为什么题主问题中的斜边不是一个有理数,假设它能表示成两个整数的比,即p/q,p、q互质,否则可约分而达到互质。由勾股定理可知,(p/q)^2=5即p^2=5q^2;可知p中必含有因子5,否则p^2中不可能含有因子5;可设p=5n,则q^2=5n^2;可知q含有因子5,而这和p、q互质矛盾,所以斜边不是有理数。虽然其不是一个有理数,但是这不意味着它不是一个确定的值。
无理数的公理化定义在1872年由戴德金完成,他通过对有理数域的分割,由分割点对两个集合造成的影响而定义无理数和有理数,也就是著名的“戴德金分割”。至此,第一次数学危机才算是圆满解决。关于戴德金分割就不展开说了,有兴趣的同学可以看看这本书《数学悖论与三次数学危机》。