三国时期魏国数学家刘徽为古籍《九章算术》作注释时提出"出入相补法"验证勾股定理,如图所示,请加以说明
\u4e09\u56fd\u65f6\u671f.\u9b4f\u56fd\u6570\u5b66\u5bb6\u5218\u5fbd\u4e3a\u53e4\u7c4d\u4e5d\u7ae0\u7b97\u672f\u4f5c\u6ce8\u91ca\u65f6\uff0c\u63d0\u51fa \u51fa\u5165\u76f8\u8865\u6cd5\u9a8c\u8bc1\u52fe\u80a1\u5b9a\u7406\uff0c\u5982\u56fe\u6240\u793a\u8bf7\u52a0\u4ee5\u8bc1\u660e
\u5982\u56fe\uff1a
\u6b63\u65b9\u5f62ABCD\u8fb9\u957f\u4e3aa \uff0c\u70b9B\u5728AG\u4e0a\uff0c
\u6b63\u65b9\u5f62EFGB\u8fb9\u957f\u4e3ab \uff0c\u70b9C\u5728EB\u4e0a\uff0c
\u6b63\u65b9\u5f62EHIA\u8fb9\u957f\u4e3ac \uff0c\u70b9H\u5728FG\u4e0a\uff0c
\u8bbeIJ\u22a5AG\u4ea4\u4e8eJ\uff0cHI\u4ea4AG\u4e8eK\uff0cAE\u4ea4CD\u4e8eL \uff1b
\u2235 EA=EH=a\uff0cEB=EF=b\uff0c\u2220EBA=\u2220EFH=90\u00b0\uff0c
\u2234 Rt\u25b3EFH\u224cRt\u25b3EBA\uff0c\u22201=\u22202, FH=BA=a ,
\u2234 Rt\u25b3EFH\u4e2d\uff0c
\u76f4\u89d2\u8fb9FH=a\uff0c\u76f4\u89d2\u8fb9EF=b\uff0c\u659c\u8fb9EH=c \uff0c
\u2235 \u22202=\u22203=\u22204=90\u00b0-\u2220EAB\uff0c\u22201=\u22202,
\u2234 \u22201=\u22203\uff0c\u53c8EH=AI=a\uff0c\u2220EFH=\u2220AJI=90\u00b0\uff0c
\u2234 Rt\u25b3EFH\u224cRt\u25b3AJI\uff0cJI=FH=a \uff0c
\u2235 \u22205=\u22203=90\u00b0-\u2220AIJ\uff0c\u22203=\u22204 ,
\u2234 \u22204=\u22205\uff0c\u53c8DA=JI=a\uff0c\u2220ADL=\u2220IJK=90\u00b0\uff0c
\u2234 Rt\u25b3ADL\u224cRt\u25b3IJK\uff0c
\u2235 \u22206=\u22201=90\u00b0-\u2220EHF\uff0c\u22201=\u22202 ,
\u2234 \u22202=\u22206\uff0c\u53c8EC=HB=b-a\uff0c\u2220LCE=\u2220KGH=90\u00b0
\u2234 Rt\u25b3LCE\u224cRt\u25b3KGH \uff1b
\u2234\u7efc\u4e0a\u6240\u8ff0\uff1a\u6b63\u65b9\u5f62ABCD\u9762\u79ef+\u6b63\u65b9\u5f62EFGB\u9762\u79ef
=\u6b63\u65b9\u5f62EHIA\u9762\u79ef\uff1b
\u5373\uff1aa²+b²=c² \uff1b
\u2234 \u76f4\u89d2\u4e09\u89d2\u5f62\u4e2d\uff0c\u4e24\u6761\u76f4\u89d2\u8fb9\u7684\u5e73\u65b9\u548c\u7b49\u4e8e\u659c\u8fb9\u7684\u5e73\u65b9\u3002
\u6b63\u65b9\u5f62ABCD\u8fb9\u957f\u4e3aa \uff0c\u70b9B\u5728AG\u4e0a\uff0c
\u6b63\u65b9\u5f62EFGB\u8fb9\u957f\u4e3ab \uff0c\u70b9C\u5728EB\u4e0a\uff0c
\u6b63\u65b9\u5f62EHIA\u8fb9\u957f\u4e3ac \uff0c\u70b9H\u5728FG\u4e0a\uff0c
\u8bbeIJ\u22a5AG\u4ea4\u4e8eJ\uff0cHI\u4ea4AG\u4e8eK\uff0cAE\u4ea4CD\u4e8eL \uff1b
\u2235 EA=EH=a\uff0cEB=EF=b\uff0c\u2220EBA=\u2220EFH=90\u00b0\uff0c
\u2234 Rt\u25b3EFH\u224cRt\u25b3EBA\uff0c\u22201=\u22202, FH=BA=a ,
\u2234 Rt\u25b3EFH\u4e2d\uff0c
\u76f4\u89d2\u8fb9FH=a\uff0c\u76f4\u89d2\u8fb9EF=b\uff0c\u659c\u8fb9EH=c \uff0c
\u2235 \u22202=\u22203=\u22204=90\u00b0-\u2220EAB\uff0c\u22201=\u22202,
\u2234 \u22201=\u22203\uff0c\u53c8EH=AI=a\uff0c\u2220EFH=\u2220AJI=90\u00b0\uff0c
\u2234 Rt\u25b3EFH\u224cRt\u25b3AJI\uff0cJI=FH=a \uff0c
\u2235 \u22205=\u22203=90\u00b0-\u2220AIJ\uff0c\u22203=\u22204 ,
\u2234 \u22204=\u22205\uff0c\u53c8DA=JI=a\uff0c\u2220ADL=\u2220IJK=90\u00b0\uff0c
\u2234 Rt\u25b3ADL\u224cRt\u25b3IJK\uff0c
\u2235 \u22206=\u22201=90\u00b0-\u2220EHF\uff0c\u22201=\u22202 ,
\u2234 \u22202=\u22206\uff0c\u53c8EC=HB=b-a\uff0c\u2220LCE=\u2220KGH=90\u00b0
\u2234 Rt\u25b3LCE\u224cRt\u25b3KGH \uff1b
\u2234\u7efc\u4e0a\u6240\u8ff0\uff1a\u6b63\u65b9\u5f62ABCD\u9762\u79ef+\u6b63\u65b9\u5f62EFGB\u9762\u79ef
=\u6b63\u65b9\u5f62EHIA\u9762\u79ef\uff1b
\u5373\uff1aa²+b²=c² \uff1b
\u2234 \u76f4\u89d2\u4e09\u89d2\u5f62\u4e2d\uff0c\u4e24\u6761\u76f4\u89d2\u8fb9\u7684\u5e73\u65b9\u548c\u7b49\u4e8e\u659c\u8fb9\u7684\u5e73\u65b9\u3002
假设现在给定一个正方形BEGF。这道题目本身并没有难度，关键在于楼主不允许使用全等。
即便如此，可以把题目看成以H为动点在GF上移动，HE为边长，做一个正方形AEHI，因为H点是移动的，相应的A点也会跟着移动，但我可以和楼主保证，当H点移动到G点时，此刻AG=2BG或AB=BG，因为他们满足了各自之间的垂直关系。当H点移动到F点时，A点与B点重合。
根据以上的观点，得知正方形ABCD的边长是变化的。这样就满足了a^2+b^2=c^2前提，即我给你一个定量（假设是b），那么a的取值就随c的变化而变化。因为H点在GF上移动这个限制，所以也导致了AB的变化范围必须是在（0-b）之间。
如果楼主只是认为a、b、c是相较于边长，那么此题就显得毫无意义。关键是刘徽采用拓补的思路，即正方形AEHI=正方形ABCD+正方形BEFG。
在达成以上共识后，我们再来讨论拓补对于勾股定理的意义。我们假设AG与IH的交点为O
思路：
首先楼主限定了我不能用全等，那根据平行线之间成比例的关系。我们将三角形HEF旋转90度。使得，点A、E、H在同一直线上。此时，点B、E、F也在同一直线上，并且HF//AB，这样我们就能得到HF=AB=a（这个不是全等，这个是平行线之间，线段成比例的概念）你也可以认为这是将三角形HEF拓补到整个图形的右侧。
其实只要证明出AB=HF=a，那么GH=b-a，此题几乎已经破解。我们假设AG与IH的交点为O，那么根据平行线之间线段成比例的概念，我们可以将线段OG，GH，OH分别表示用a和b表示出来。
此时正方形AEHI的面积相当于三角形AIO，三角形ABE，三角形BOE，三角形EOH面积之和，且这些三角形都是直角三角形，个边长都可以用代数a和b表示出来，而正方形AEHI本身的面积就是c^2，所以不用担心会出现恒等式的情况。（注意只要将4个直角三角形的面积相加，不要列出等式，因为这本来就是相等的，肯定会是恒等式的概念，即A-B=0）
证闭
关键我们要从这个问题中看见本质，其实就是H点在GF上移动，问你正方形边长AB与HF之间的关系，我们一但抓住本质，就很容易把这个问题想清楚。
这和我们生活中遇到很多情况都是一样的，为人处事但求一个明确的思路，看清问题的本质很有利于提升我们自己的效率，从而脱颖而出。
绛旓細鍒樺窘鍦ㄨ瘉鏄庡嬀鑲″畾鐞嗘椂 涔熸槸鐢ㄧ殑浠ュ舰璇佹暟鐨勬柟娉曞彧瑕佹妸鍥句腑鏈辨柟锛坅2锛夌殑I绉昏嚦I鈥诧紝闈掓柟鐨処I绉昏嚦II鈥诧紝III绉昏嚦III鈥诧紝鍒欏垰濂芥嫾濂戒竴涓互寮︿负杈归暱鐨勬鏂瑰舰锛坈2 锛夛紟鐢辨渚垮彲璇佸緱a2+b2=c2杩欎釜璇佹槑鏄敱涓夊浗鏃朵唬榄忓浗鐨鏁板瀹跺垬寰鎵鎻愬嚭鐨勩傚湪榄忔櫙鍏冨洓骞达紙鍗冲叕鍏 263 骞达級锛鍒樺窘涓哄彜绫嶃涔濈珷绠楁湳銆嬩綔...
绛旓細涓浗鐨勯潚鏈卞嚭鍏ュ浘杩欎釜璇佹槑鏄敱涓夊浗鏃朵唬榄忓浗鐨鏁板瀹跺垬寰鎵鎻愬嚭鐨勩傚湪榄忔櫙鍏冨洓骞达紙鍗冲叕鍏 263 骞达級锛鍒樺窘涓哄彜绫嶃涔濈珷绠楁湳銆嬩綔娉ㄩ噴銆傚嵃搴︽暟瀛﹀鍏煎ぉ鏂囧瀹跺﹩浠杩︾綏锛圔haskara锛屾椿璺冧簬1150骞村墠鍚庯級瀵瑰嬀鑲″畾鐞嗙粰鍑轰竴绉嶅濡欑殑璇佹槑锛屼篃鏄竴绉嶅垎鍓插瀷鐨勮瘉鏄庛傛剰澶у埄钁楀悕鐢诲杈韭疯姮濂囩殑璇佹硶锛氬浘鐗囪鏈笂鏈夈傝В...
绛旓細杩欎釜瑕佸亣璁続G鍜孒I鐨勪氦鐐逛负K銆傚悓鏃惰娉ㄦ剰涓夎褰BE\AIK\HGK涓変釜鍏跺疄閮芥槸绛夎涓夎褰備簬鏄彲浠ュ緱鍑轰互涓嬬粨璁 AE/AK=BE/AI,杩欐牱鍙互寰楀嚭AK锛堢敤a锛宐锛宑涓変釜瀛楁瘝锛夈傚張鏈塀E/GH=AB/GK锛堟敞锛欸H=b-a锛,鍙堣兘寰楀嚭GK锛屾渶鍚庣敤AK+GK=a+b 鍙互寰楀埌鍏充簬a锛宐锛宑涓変釜瀛楀箷鐨勪竴涓叕寮忥紝鏈鍚庤兘楠岃瘉鍒癮*a+b...
绛旓細濡傛灉妤间富鍙槸璁や负a銆乥銆乧鏄浉杈冧簬杈归暱锛岄偅涔堟棰樺氨鏄惧緱姣棤鎰忎箟銆傚叧閿槸鍒樺窘閲囩敤鎷撹ˉ鐨勬濊矾锛屽嵆姝ｆ柟褰EHI=姝ｆ柟褰BCD+姝ｆ柟褰EFG銆傚湪杈炬垚浠ヤ笂鍏辫瘑鍚庯紝鎴戜滑鍐嶆潵璁ㄨ鎷撹ˉ瀵逛簬鍕捐偂瀹氱悊鐨勬剰涔夈傛垜浠亣璁続G涓嶪H鐨勪氦鐐逛负O 鎬濊矾锛氶鍏堟ゼ涓婚檺瀹氫簡鎴戜笉鑳界敤鍏ㄧ瓑锛岄偅鏍规嵁骞宠绾夸箣闂存垚姣斾緥鐨勫叧绯汇傛垜浠皢涓夎褰EF鏃...
绛旓細闈掓湵鍑哄叆鍥炬槸鐢辨垜鍥藉彜浠ｆ暟瀛﹀鍙戞槑锛岀敤鏉ヨ瘉鏄庡嬀鑲″畾鐞嗙殑涓绉嶅伐鍏枫傝繖涓瘉鏄庢槸鐢涓夊浗鏃朵唬榄忓浗鐨鏁板瀹跺垬寰鎵鎻愬嚭鐨勩傚湪榄忔櫙鍏冨洓骞达紙鍗冲叕鍏 263 骞达級锛鍒樺窘涓哄彜绫嶃涔濈珷绠楁湳銆嬩綔娉ㄩ噴銆傚湪娉ㄩ噴涓紝浠栫敾浜嗕竴骞呭浘鐨勫浘褰㈡潵璇佹槑鍕捐偂瀹氱悊銆傜敱鏂间粬鍦ㄥ浘涓互銆岄潚鍑恒嶃併屾湵鍑恒嶈〃绀洪粍銆佺传銆佺豢涓変釜閮ㄥ垎锛屽張浠ャ...
绛旓細涓夊浗鏃舵湡,榄忓浗鏁板瀹跺垬寰戒负鍙ょ睄(涔濈珷绠楁湳)鍋氭敞閲婃椂,鎻愬嚭鐢"鍑哄叆鐩歌ˉ娉"楠岃瘉鍕捐偂瀹氱悊,濡傚浘鎵绀,璇 涓夊浗鏃舵湡,榄忓浗鏁板瀹跺垬寰戒负鍙ょ睄(涔濈珷绠楁湳)鍋氭敞閲婃椂,鎻愬嚭鐢"鍑哄叆鐩歌ˉ娉"楠岃瘉鍕捐偂瀹氱悊,濡傚浘鎵绀,璇峰姞浠ヨ鏄庛傚垵浜屾暟瀛﹂,鍕捐偂瀹氱悊浠ュ瀹屻... 涓夊浗鏃舵湡,榄忓浗鏁板瀹跺垬寰戒负鍙ょ睄(涔濈珷绠楁湳)鍋氭敞閲婃椂,鎻愬嚭鐢"鍑哄叆鐩歌ˉ...
绛旓細姝ｆ柟褰FGB杈归暱涓篵 锛岀偣C鍦‥B涓婏紝姝ｆ柟褰HIA杈归暱涓篶 锛岀偣H鍦‵G涓婏紝璁綢J鈯G浜や簬J锛孒I浜G浜嶬锛孉E浜D浜嶭 锛涒埖 EA=EH=a锛孍B=EF=b锛屸垹EBA=鈭燛FH=90掳锛屸埓 Rt鈻矱FH鈮孯t鈻矱BA锛屸垹1=鈭2, FH=BA=a ,鈭 Rt鈻矱FH涓紝鐩磋杈笷H=a锛岀洿瑙掕竟EF=b锛屾枩杈笶H=c 锛屸埖 鈭2=鈭3=鈭4=90掳...
绛旓細鍙鎶婂浘涓湵鏂癸紙a2锛夌殑I绉昏嚦I鈥诧紝闈掓柟鐨処I绉昏嚦II鈥诧紝III绉昏嚦III鈥诧紝鍒欏垰濂芥嫾濂戒竴涓互寮︿负杈归暱鐨勬鏂瑰舰锛坈2 锛夈傜敱姝や究鍙瘉寰梐2+b2=c2 杩欎釜璇佹槑鏄敱涓夊浗鏃朵唬榄忓浗鐨鏁板瀹跺垬寰鎵鎻愬嚭鐨勩傚湪榄忔櫙鍏冨洓骞达紙鍗冲叕鍏 263 骞达級锛鍒樺窘涓哄彜绫嶃涔濈珷绠楁湳銆嬩綔娉ㄩ噴銆傚湪娉ㄩ噴涓紝浠栫敾浜嗕竴骞呭儚鍥句簲(b)涓殑...
绛旓細姹変唬涔嬪墠锛屽氨鏈変簡銆婁節绔犵畻鏈嬨涓夊浗鏃舵湡 榄忓浗鏁板瀹跺垬寰戒负鍙ょ睄銆涔濈珷绠楁暟銆嬩綔娉ㄩ噴鎻愬嚭鈥滃嚭鍏ョ浉琛ユ硶鈥濋獙璇佸嬀鑲″畾鐞嗭紒鎵浠ヨ锛屽綋鏃剁殑绠楁湳涓嶇畻寰堝樊鍟婏紒
绛旓細姝ｆ柟褰BCD杈归暱涓篴锛 鐐笲鍦ˋG涓婏紝姝ｆ柟褰FGB杈归暱涓篵锛 鐐笴鍦‥B涓婃鏂瑰舰EHIA杈归暱涓篶 鐐笻鍦‵G涓婏紝璁綢J鈯G浜や簬J锛孒I浜G浜嶬锛孉E浜D浜嶭 锛涒埖 EA=EH=a锛孍B=EF=b锛屸垹EBA=鈭燛FH=90掳鈭 Rt鈻矱FH鈮孯t鈻矱BA锛屸垹1=鈭2, FH=BA=a ,鈭 Rt鈻矱FH涓紝鐩磋杈笷H=a锛岀洿瑙掕竟EF=b锛 ...
