圆周率是一个无理数,这个结论最早由古希腊数学家皮菲斯特拉托斯提出并证明。圆周率被定义为一个圆的周长与其直径的比值,通常用希腊字母π来表示。
皮菲斯特拉托斯证明圆周率是无理数的思路是通过反证法。假设圆周率是有理数,即可以表示为两个整数的比例,即π = a/b,其中a和b是互质的整数。然后利用圆的性质来推导矛盾。
圆的周长可以表示为2πr,其中r是圆的半径。假设圆的半径为1,那么圆的周长就是2π。由于π被假设为有理数,则存在整数a和b使得2π = 2a/b。进一步变换得到π = a/b。而我们假设a和b是互质的整数,所以a和b没有公因子。
然而,我们知道圆的周长是无限的,而且是无限不循环小数。由于圆周率是圆的周长的比值,所以圆周率也是无限不循环小数。然而,假设π = a/b,则a/b的小数表示必然是有限的或循环的。这与圆周率为无限不循环小数的事实相矛盾。因此,假设圆周率是有理数的假设是错误的,圆周率是无理数。
虽然皮菲斯特拉托斯提出了这个证明,但直到十九世纪才有了更严格和详细的证明。数学家连恩哈德·欧拉和卡尔·维尔斯特拉斯在18世纪和19世纪分别提出了更为完善的证明方法,进一步确认了圆周率是无理数的结论。