二次函数存在性——直角三角形