如果以AB所在的边为X轴，AB方向为正方向，AB中点为原点做出平面直角坐标系。所以A（-m，0）B（m，0）令C(x,y),则有：BC中点H((a+x)/2, y/2)，y不等于0（因为ABC是三角形）而HA=m,得到：[(a+x)/2+a]^2+(y/2)^2=m^2（y≠0）
