直角三角形存在性