证明两个直角三角形全等方法归纳