直角三角形的定义