已知：Rt三角形ABC的直角邊BC上的中線為AE,直角邊AC上的中線為BF；
Rt三角形A'B'C'直角邊B'C'上的中線A'E',直角邊A'C'上的中線為B'F'.滿足AE=A'E',BF=B'F'
求證：Rt三角形ABC全等于Rt三角形A'B'C'
證明：設(shè)AC=a,BC=b,A'C'=a',B'C'=b'
由勾股定理,得：AE^2=CE^2+AC^2=(b/2)^2+a^2
BF^2=BC^2+CF^2=b^2+(a/2)^2
同理,A'E'^2=(b'/2)^2+a^2
B'F'^2=b'^2+(a'/2)^2
由AE=A'E'得AE^2=A'E'^2,同理,BF^2=B'F'^2
由此得方程組：
(b/2)^2+a^2=(b'/2)^2+a'^2...(1)
b^2+(a/2)^2=b'^2+(a'/2)^2...(2)
（1）-（2）,得：a^2-b^2+(b^2-a^2)/4=a'^2-b'^2+(b'^2-a'^2)/4
即a^2-b^2=a'^2-b'^2,
即a^2-a'^2=b^2-b'^2...(3)
由(1),得：(b^2-b'^2)/4=a'^2-a^2...(4)
將(3)代入(4),得：(a^2-a'^2)/4=a'^2-a^2,即5(a^2-a'^2)/4=0
所以a^2-a'^2=0,即a=a',代入(3)得:b=b'
綜上,在Rt三角形ABC與Rt三角形A'B'C'中,AC=A'C',BC=B'C',角ACB=角A'C'B'=90度,所以Rt三角形ABC全等于Rt三角形A'B'C'
結(jié)論：一條直角邊和另一直角邊上的中線對應(yīng)相等的兩個直角三角形全等.