矩形对角线性质定理-矩形对角线互相平分

在讲完直角三角形勾股定理之后，大量人脑子里立马蹦出个结论：对角线互相平分且相等。
实际上这玩意儿，底层逻辑比勾股定理更“野”。 矩形这玩意儿，本质上就是个对角线把平面分成了四块全等三角形的图形。你要是把矩形沿着对角线剪一刀，你会发现，不管斜着如何切，只要选中了对角线，你总能拼回那个原来的大矩形。
这就像把一张折好的纸，随意往两头扯，只要别崩断，中间那根“脊梁”——也就是对角线，一辈子稳稳当当。 说到矩形里的对角线，最拿手的两个性质就是：互相平分，还有互相相等。 互相平分？这个好办。想象你拿一把剪刀，从两块矩形拼成的正方形里剪两段对角线，剪刀口对剪刀口，两条线在中心点交汇，往四边一推，发现它们正好把四个小三角形都裁得一样大。
哪怕你把对角线砍断，拿出来比对，长度也是一致的。
这个性质在工程制图里用到绝了。
比如画一个房间的平面图，你知道房间中间有个十字交叉线。
要是你拿一个直角尺去量对角线，发现只要两条对角线长度一样，那这个“十字”交点，就是整个房间最稳重的几何中心。 互相相等就更有趣了。矩形对角线长度的大小，跟它的高矮胖瘦彻底没关系。正倒放着的矩形，哪怕把面一翻，对角线长度毫无二致。
这就好比两个小哥们儿站在舞台两端。一个站在离观众十米的地方（短对角线），另一个站在离观众二十米的地方（长对角线）。甭管他们站成啥姿势，只要他们和观众之间连着的线是直的，那这两条线的长度就是固定的，并且一辈子相等。 为了把这两个概念讲得更接地气，我得插个话：实际上矩形对角线相等这个定理，早在数学刚起步的时候就被证明过了，不是后来才学出来的。 举个具体的例子吧。咱们拿个正方形纸片盖在桌子上。先随意量一下一条边长，假设是 5 厘米。
然后量一条边，也是 5 厘米。
既然边长相等，根据矩形的角都是直角的性质，那四边的长度肯定也是 5 厘米。周长就是 20 厘米。目前，我们拿起一把直尺，从左上角摸到右下角，这就是第一条对角线。从右上角摸到左下角，这就是第二条。
你看着它，会认定这两条线肯定一样长，对吧？出于正方形是特殊的矩形，它知足矩形的所有条件，包含对角线必等。 再换个场景。你拿个长方形计算器，它的屏幕是斜着放的。
这时候，别看屏幕是斜的，看似没那么“直”，但只要你拿尺子量，你会发现那条从屏幕左上角连到右下角的线，和从右上角连到左下角的线，长度依然是一样。
这时候屏幕里的长宽比变了，比如变成了 1:2，就连接近 0:1，但那条贯穿整个屏幕的对角线长度，一直是不变的。
这说明啥？说明矩形的对角线长度，它是一个独立的常量，跟它的位置、角度、就连摆放方式，都没相关系。 这就挺有意思了。勾股定理告诉你的是如何算长度的，它给了你一套尺子，让你能算出任意直角三角形的斜边。但矩形对角线相等的性质，它实际上是在说一件事：只要有了“对边平行且相等”和“四个角直角”这两个条件，那两条斜线，不管你如何凑，长度一辈子一样。好办说，就是“只要符合条件，结局就固定”。 并且，这个性质还能解决大量看似无解的难题。
那会儿有人问，一个矩形里，短对角线和长对角线能不能构成一个三角形？能，自然能。它们俩拼在一起，就形成了一个直角三角形。
那短对角线和长对角线各自平分彼此吗？能。它们相交于一点，这个点把长对角线分成两段，每段都是长对角线的一半；与此同时，这个点也把短对角线分成两段，每段都是短对角线的一半。 再挖一层，矩形对角线互相垂直，这个命题实际上是不成立的。
要不就... 这个矩形是个正方形。
一般/平平的长方形，对角线根本不相交成直角。
只有正方形，它的对角线才会像闪电一样垂直相交。
这一点时常被误传，要么被混淆，大量初学者认定“对角线都相等，那肯定互相垂直”，结局算出来不对。
实际上，正方形的对角线不仅相等，并且互相垂直平分；一般/平平矩形的对角线，只有相等，互不垂直。 故此啊，矩形对角线的性质，实际上就是两条互相平分的线，还是一条长度固定且长度不变的双线。它没有那么多复杂的推导步骤，更多是一种直观的几何直觉。 最终再唠叨两句，矩形对角线还平分对角。说啥的，反正 Rectangle 这个词，英文里都带着"Plane Rect"，就是平面的意思。
对，就是对角线。它俩把矩形分成的四个小三角形，面积都是面积的四分之一。
要是对角线互相平分，根据全等三角形的判定，这四个小三角形就全等了。全等，就是面积一样大，形状一模一样。 有时候在想，为啥我们日常用的矩形，比如书本、画框、办公桌，一定要做成矩形的？出于矩形的对角线相等，意味着不管你如何放，重心都稳。它没有那种想歪的“长对角线”来破坏平衡。
要是是菱形，对角线相等吗？不，菱形是对角线互相垂直，但一般不相等。菱形就是那种四条边都一样的图形，对角线长度不一样。而矩形，就是四条边一样长吗？不一定，是四个角一样直角。 总而言之，矩形对角线性质，就是：平、等、分。平，就是互相平分；等，就是长度相等，跟角度无涉；分，就是分割出四个全等的小三角形。
这就够了，实在多了。 （字数统计：约 1800 字）