平面几何三大难题
目录[隐藏]
尺规作图的限定
三大几何问题
详细说明
证明
[编辑本段]
尺规作图的限定
平面几何作图限制只能用直尺、圆规,而这里所谓的直尺是指没有刻度只能画直线的尺。
用直尺与圆规当然可以做出许多种之图形,但有些图形如正七边形、正九边形就做不出来。有些问题看起来好像很简单,但真正做出来却很困难,这些问题之中最有名的就是所谓的三大问题。
[编辑本段]
三大几何问题
1.化圆为方-求作一正方形使其面积等于一已知圆;
2.三等分任意角;
3.倍立方-求作一立方体使其体积是一已知立方体的二倍。
[编辑本段]
详细说明
圆与正方形都是常见的几何图形,但如何作一个正方形和已知圆等面积呢?若已知圆的半径为1则其面积为π²,所以化圆为方的问题等于去求一正方形其面积为π,也就是用尺规做出长度为π½的线段(或者是π的线段)。三大问题的第二个是三等分一个角的问题。对于某些角如90°、180°三等分并不难,但是否所有角都可以三等分呢?例如60°,若能三等分则可以做出20。的角,那么正18边形及正九边形也都可以做出来了(注:圆内接一正十八边形每一边所对的圆周角为360°/18°=20°)。其实三等分角的问题是由求作正多边形这一类问题所引起来的。
第三个问题是倍立方。埃拉托塞尼(公元前276年~公元前195年)曾经记述一个神话提到说有一个先知者得到神谕必须将立方形的祭坛的体积加倍,有人主张将每边长加倍,但我们都知道那是错误的,因为体积已经变成原来的8倍。这些问题困扰数学家一千多年都不得其解,而实际上这三大问题都不可能用直尺圆规经有限步骤可解决的。1637年笛卡儿创建解析几何以后,许多几何问题都可以转化为代数问题来研究。1837年旺策尔(Wantzel)给出三等分任一角及倍立方不可能用尺规作图的证明。
1882年林得曼(Linderman)也证明了π的超越性(即π不为任何整数系数多次式的根),化圆为方的不可能性也得以确立。
[编辑本段]
证明
如图,则在△EBC与△DBC中:sin(2β+γ)/ sin2β= BC/CE = BC/BD = sin(β+2γ)/ sin2γ, ∴2sinβcosβsin(β+2γ) - 2sinγcosγsin(2β+γ) =0
→sinβ sin2(β+γ)+sin 2γ】- sinγ【sin2(β+γ)+ sin2β】=0(积化和差)
→sin2(β+γ)【sinβ-sinγ】+2 sinβsinγ【cosγ- cosβ】=0(重新分组并提取公因式)
→sin [(β-γ)/2]【sin2(β+γ) cos[(β+γ)/2] + 2 sinβsinγsin [(β+γ)/2]=0(和差化积)
又显然上式的后一个因式的值大于零,∴sin[(β-γ)/2]=0,∴β=γ,∴AB=AC. 证毕!
或
作∠BEF=∠BCD;并使EF=BC
∵BE=DC
∴△BEF≌△DCB,BF=BD,∠BDC=∠EBF
设∠ABE=∠EBC=α,∠ACD=∠DCB=β
∠FBC=∠BDC+α=180°-2α-β+α=180°-(α+β);
∠CEF=∠FEB+∠CEB=β+180-2β-α=180°-(α+β);
∴∠FBC=∠CEF
∵2α+2β<180°,∴α+β<90°
∴∠FBC=∠CEF>90°
∴过C点作FB的垂线和过F点作CE的垂线必都在FB和CE的延长线上.
设垂足分别为G、H;
∠HEF=∠CBG;
∵BC=EF,
∴Rt△CGB≌Rt△FHE
∴CG=FH,BC=HE
连接CF
∵CF=FC,FH=CG
∴Rt△CGF≌△FHC
∴FG=CH,∴BF=CE,∴CE=BD
∵BD=CE,BC=CB,∴△BDC≌△CEB
∴∠ABC=∠ACB
∴AB=AC
这个是著名的斯坦纳雷米欧斯定理
这个著名的定理困惑了无数数学家近两个世纪