为什么直角三角形用HL可以证全等,