绝对人性化的等周定理

junawat

任选一个平面图形，把图形用直线填平（方法简单，见cut-the-knot org do_you_know isoperimetric shtmlorg的如何证明fig 1。或者搜索维基百科的等周定理的初级证明，他不是全对，但直线填平是对的。把曲线拉起来可能形成新的凹陷，要回溯填平）
4 }% K/ w2 ~1 u' W; P( @0 [7 B
把新得到图形的周长平分为四段，连接分段时不相邻的两个点，形成线段f，然后连接另外两点分别和线段相连，所形成的两条线段分别垂直于f（有可能这两条线段垂直于f的同一点，有可能不） 。那么图形就被这些线段分为四块，每块的内角相等，都是九十度。取这些块面积最大的块取代其他三块，拼起来的时候内角还是内角。
  R3 `( j1 O* |5 M/ ^2 y/ g
这样得到一个新图形他的四部分对称。把图形四块的对称线的相交点当成直角坐标系的o点，对称线放在横轴和竖轴上（这是为了指明某些方向）
" t; D8 `. i) X% V( n7 R0 t（1，2象限对称，2,4不对称，1，4对称，2,3对称，2,4不对称，1,3不对称。。。）

因为四个象限的图形对称，都可以跟着第一象限变（在我下面证明里可以这样），所以大部分时候我只谈论第一象限。

我所说的周长都是围着整个图形的。

第一象的周长被一个点分为相等的两段，点和o连接成线段，其他象限也这么画。。。。
8 ?3 q  D3 _6 O

junawat

我的思路是调整任意一个平面图形的面积变得更大，周长变得更小，不过也有可能不变，但是最后必须是是平面圆，即任意图形不大于圆。

0 f$ L0 U8 u: m' c  O1 m图1一根线段1穿过图形内部，另一根线段2在图形的周长上（可能存在无数根），两直线都要相互平行，记录下两根垂直距离最长的线段，该线段碰到周长两个点以上都要以该线段取代该部分的周长，然后画另外的线段但是和线段1的夹角不为0，因为两个缺口的角度不同。这样下去遍历了图形的一周后（图形的周长不是无限的），得到的图形没有凹陷。称这个过程叫填平。

6 H9 R0 x4 t1 x* Q) q6 b  \图2和图3显示如何将图形转化成四面对称，没有多余解释。
' o% W: J" N- g/ n1 ]7 r6 _6 v( E
把对称线对准直角坐标系的横轴和竖轴。一个平分点在图形的第一象限的周长上，因为对称，所以其它象限也可以这么做。四个平分点和o点（直角坐标系的中心点）相连。那些线段把图形分成8个部分，就像图4，还要把它们分别标记成红色和灰色。让红色部分和灰色部分分开，红色部分合起来，灰色部分也可以这么做，但是红色和灰色边界上的两条线段必须相同。
7 }* I5 U' n( M, _/ R3 ]( [
2 f0 H  i; k$ D' M将图形在第一象限的周长的中点与直角坐标系的O点相连，其他三个象限也这么做，结果类似图4。图4被横轴枢轴平分线分为8个小扇形，将红色扇形的4个扇形拼一起（类似图5），将灰色拼一起（类似图6），我要将红色和灰色两大部分重新拼起来，为了不增加周长，小扇形拼起来时候红灰交界的腰必须相等，类似图7.
$ \0 e1 B  }- m& E2 Z
将图7红灰两大块在周长上的交界处的两点连接起来，然后比较左右的面积，较大或相等的一块取代另一侧，使得虚线两侧的区域对称。
  `8 p4 ?! i3 p- }/ [8 S( z$ c' O8 f( k
注意我这次得到的可能只是两侧对称而已，但所有小扇形的暴露在外的周长都对称。

# V9 E: ^( X% a0 ~2 X7 P图9证明：扇形的两周长相对于虚线（本来是蓝色的，压缩后有点黑了）对称，连接周长的起点和终点，偏转连线，连线对两腰的角度如果相等（如图11），那么这个扇形的面积起码不可能缩小。扇形的弧线仍然保留在两腰的延长线之内，并且两个小的扇形对称了。

之后，我就讨论单个小扇形了。见图13在左腰上画垂线（很多很多），红色的指代其中之一的垂线，和弧线（弧线指周长好像更明确）有接触点（可能有很多个接触点）。记录下红色的垂线使得腰最长的那一根，用该红线取代被其包住的那一段弧线，这样便使得面积更大，新的弧线更短。另一条腰也可以这么做。至此得到任意两点之间的弧线不内凹（内陷）。

" V9 Q/ U( O, n图12中，如果图8的虚线左侧替换了右侧，他左侧的点分别是13579（无2468），先让1o线和2o线相等，然后让13o线相等，35o线相等。15o线相等了自然也让9o线相等……顺序就像前序遍历二叉树。

" @" n9 R5 J: E  J) |4 Y) S至此一个8块对称的图形生成了，只要照上面的步骤做，o点辐射出来的两线之间的夹角越来越小，夹角之间都没有凹下去，弧线突起越来越小，起码最大的平面图形之一就是圆形。
& ?7 }' {3 `$ D% X
3 u3 d% q% I4 e/ t0 \; K" e3 R$ B