一个二次函数和一个正比例函数的交点向y=2引垂线,如何证明两垂线相加等于两交点距离?