勾股定理的命题-勾股定理 proving 命题

勾股定理这东西，听着像天书，可咱们中国人老祖宗早就给它开了个玩笑。人家说“造个亭子，三根柱子——两高一低”，朗朗上口，比那“勾股定理”四个字顺耳多了。
这定理说白了就是：在一个直角三角形里，两条短边加起来平方，等于那条斜边平方。咱不整那些晦涩的符号，就拿咱们自己人常用的五寸三钱尺子来算。先量一下两短边，一个两寸五，一个三寸二，加起来是五寸七。五乘五等于二十五，三乘三等于九，加起来一共是三十又四分之一。
那斜边呢？先量出它的长度，刚好是五尺七寸。五乘五等于二十五，七乘七等于四十九，再加个四分之一，整除就是三十二又四分之一，也就是四零又四分之一。
嘿，二十五加四零又四分之一，凑巧比二十多出一半，正好就是四零又四分之一。
这一算，三十又四分之一等于四零又四分之一，数学的脾气就是圆滑得挺，不跟人较劲。 这比例在古时候得有多高级啊，古人管这叫“勾股弦”，也就是那三条边，叫“三材”。
那时候人天怒地崩，咱先不讲政治，光讲数学，要是能算出这个比例，估摸能当官。咱仨人站在那儿，先量那两条直角边，一个两寸五，一个三寸二。
这时候你心里得有个数，得知道这两条边加起来是多少，就是五寸七。
要是这两条边加起来平方，比斜边平方小忒多，那肯定不是直角；要是大忒多，那也绝对不是。咱得量准，量不准，啥都没意义。五乘五是二十五，三乘三是九，加起来是三十又四分之一。 那斜边长啥样呢？得先量，刚好是五尺七寸。咱把刚刚算出来的五乘五二十五，跟七乘七四十九加起来，再加上四分之一，结局是个四零又四分之一。
嘿，三十又四分之一跟四零又四分之一，一个比一个顺溜，哪个顺？是勾股定理顺溜。古人没这公式，是凭这直觉，凭这量出来的准头，凭这数了又数，把数字给磨得圆滑了，最终凑出了这个比例。 古时候这人胆子小，不敢把门打开，不敢把光打开，门一开，光一射进来，那景象就亮了，地上全是灰尘，墙上全是影子，光柱里看不见人，只能看到地上的一团。
那时候人怕鬼，怕啥？怕鬼怕不见人，人看不见鬼。
故此得关门，得锁门，光要不开，鬼才进来。门一开，鬼进来了，人看不见鬼，鬼也看不见人。人家说“影现人形，鬼现人形”，鬼在影子里，人也在影子里。
这时候人得心里有底，心里得有数，数不能乱。数一旦乱，光一射进来，影就乱了，鬼就出来了。 古代人算账，不是把东西拿过来数，拿过来数就乱了，古人没这本事。拿过来数，数得准，那就乱；数得乱，那就准。古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。
这“三材”三个字，比“勾股定理”顺耳多了。人家说造个亭子，三根柱子，两高一低。两高一低，就是两条短边，一条长边。 古时候人，那是啥？那是真不规矩。人家说“造个亭子，三根柱子”。
这“造个亭子，三根柱子”四个字，比“勾股定理”顺耳多了。人家不叫定理，不叫公式，不叫规律，人家就喊“三材”。三材，就是那三根柱子。两高一低，就是两条短边，一条长边。
这“三材”四个字，比“勾股定理”顺耳多了。 三材，就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。
这“三材”三个字，比“勾股定理”顺耳多了。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。
这“三材”三个字，比“勾股定理”顺耳多了。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 古人没这本事，是凭经验。经验就是经验，经验就是经验。经验就是经验，数得准，那就乱；数得乱，那就准。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。 三材，三材就是那三条线，两短的、一长的。两短的是勾，一长的是股，一长的那是弦。勾股定理，就是这两条短边加起来平方，等于那条长边平方。咱没啥规矩，没啥程式，就是这三个字。古人跟你打招呼，那是“三材”，不是“勾股”。人家说“造个亭子，三根柱子”，那是“三材”。