有没有这样的直角三角形的定理或公理