两中学生用电脑巧证几何定理 陈顺亭(摘) 1997-01-01   美国康涅狄格州两名中学生最近借助一个简单的“几何学者画图板”电脑软件,成功地证明了线段可以无穷等分这一古老的几何定理。   公元前300年,古希腊科学家欧几里德提出并证明了这一原理,多年来很少有人想过要用其他方法证明它。1年前,15岁的大卫·戈登海姆和16岁的丹尼尔·利奇菲尔德在不知道该定理早已被证明的情况下,用非常简单而又新颖的方法再次证明了这一定理,在数学界引起轰动。