|
给爱好三等分角的送一杯热茶
一,在绝对抽象的抽象欧氏平面上,使用绝对抽象的作图工具,能够作出符合尺规作图规则的平面图形。
二,在上面条件下,可以作直线、垂线、角、园,并且可以对线段和角进行二等份分割。
三,构造一次三元方程组:
3x=A
x+ay+bz=B
2x+cy+dz=C
在上面这个方程组里[a,b,c]是系数属于有理数整,[x,y,z]是未知数。可以看出,关于x的解的表达式有多种样式,并且是有分数样式的。经过计算[是经过计算],这些分数的分母[用f表示]的一个子集属于集合[2∧n]。
四,当f属于[2∧n]时,把[A,B,C,x,y,z]带上角度量纲,并把上面方程组放到绝对抽象的抽象欧氏平面上,那么――分母f的子集合[2∧n]表示是能够且只能够对角度进行二等份分割。
五,暂停,先用茶,用热茶。 |
|