例2 定義:若實數x,y滿足x2=2y+t,y2=2x+t,且x≠y,t為常數,則稱點M(x,y)為“線點”.例如,點(0,-2)和(-2,0)是“線點”.在直角坐標系xOy中,點P(m,n)是“線點”,試用含t的代數式表示mn.
錯解 因為點P(m,n)是“線點”,
所以m2=2n+t,①
n2=2m+t.②
①-②,得 (m+n)(m-n)=2(n-m),
由題意知m≠n,
所以m+n=-2.
①×②,并整理得
m2n2=4mn-4t+t2,
解得mn=t或mn=-t+4.
正確解法
因為點P(m,n)是“線點”,
所以m2=2n+t,①
n2=2m+t.②
①-②,得
(m+n)(m-n)=2(n-m),
由題意知m≠n,
所以m+n=-2.
①+②,得
m2+n2=2(m+n)+2t,
(m+n)2-2mn=2(m+n)+2t,
即(-2)2-2mn=2×(-2)+2t.
解得mn=4-t.
剖析 上述兩種解法在推理論證中似乎都正確無誤,但為什么答案不同呢?mn究竟有幾個結果呢?
錯解產生了一個不易察覺的不合題意的解(增解).
當mn=t,m+n=-2時,代入①得
m2=-n(m+n)+mn,
m2+n2=0.
所以m=n=0.
所以m+n=0,這與m+n=-2相矛盾,
所以滿足m2=2n+t,n2=2m+t,mn=t的實數m,n不存在,mn=t不合題意,舍去.
喜歡刨根究底的讀者可能會想:為什么正確解法沒有出現增解,錯解卻產生增解,增解從何而來?
原來,由m2=2n+t,n2=2m+t可以推得
m2-n2=2n-2m,m2+n2=2m+2n+2t,
反過來,由m2-n2=2n-2m,m2+n2=2m+2n+2t,也可以推得
m2=2n+t,n2=2m+t.
因此m2-n2=2n-2m,m2+n2=2m+2n+2t與m2=2n+t,n2=2m+t等價,
故正確解法不會出現增解.
由m2=2n+t,n2=2m+t可以推得
m2-n2=2n-2m,m2n2=(2m+t)(2n+t),
反過來,由m2-n2=2n-2m,m2n2=(2m+t)(2n+t),可以推得
m2=2n+t,n2=2m+t或m2=-2m-t,n2=-2n-t(請讀者自己推導).
因此m2-n2=2n-2m,m2n2=(2m+t)(2n+t)與m2=2n+t,n2=2m+t不等價.
當兩個不等實數m,n滿足m2=-2m-t,n2=-2n-t時,可知m,n是方程z2=-2z-t的兩個實數根,于是有mn=t,這正是錯解產生的增解.