三角形的三个顶点是A(4,0),B(6,7),C(0,3),求BC边的垂直平分线的方程