由二元一次不等式组可知M点的轨迹为单位圆在第一象限的部分和A(0,1),B(1,0)两点.
已知直线l:6x-y-4=0,则l垂直于向量a=(6,-1)(可自行验证或证明之).
易得l过点C(0,-4).
设M到l的距离为y,于是:y=|a*MC|/|a|(可证明之,事实上设MC与a的夹角为x,于是:a*MC=|a||MC|*cosx=|a|y).
则:y=|sina-6cosa+4|/√37
=|√37sin(a-t)+4|/√37, 其中:t=arctan6, a∈[0,π/2].
于是:由sin(a-t)在[0,π/2]上单调递增,t在此范围内,则:
y(0)=2/√37,y(π/2)=5/√37, 因此:m=5/√37, n=0.
则:m-2n=m=5√37/37