一次函数三角形全等存在性