巧用偏導(dǎo)數(shù)求解不定方程

顧玲鳳??

摘要：從古時(shí)候開(kāi)始，在數(shù)論中，不定方程就是一個(gè)古老而普及的分支。早在3世紀(jì)，丟番圖就開(kāi)始研究不定方程，后來(lái)人們?yōu)榱思o(jì)念丟番圖，常常將不定方程稱(chēng)之為丟番圖方程。不定方程是數(shù)論中相當(dāng)重要的組成部分，定義為方程中的未知數(shù)的個(gè)數(shù)多于方程的個(gè)數(shù)。針對(duì)不定方程的特點(diǎn)，本文指出兩種求解不定方程的方法，通過(guò)分別比較和驗(yàn)證，得出使用偏導(dǎo)數(shù)求解的方法更優(yōu)于使用根判別式求解不定方程，更加準(zhǔn)確可靠。

關(guān)鍵詞：不定方程；根判別式；偏導(dǎo)數(shù)

一、 不定方程

不定方程，指的是方程的個(gè)數(shù)少于未知數(shù)的個(gè)數(shù)，并且未知數(shù)受到某些限制（如要求是有理數(shù)、整數(shù)或正整數(shù)等等）的方程或方程組。不定方程是指解的范圍為整數(shù)、正整數(shù)、有理數(shù)或代數(shù)整數(shù)的方程或方程組，其未知數(shù)的個(gè)數(shù)通常多于方程的個(gè)數(shù)。

1969年，L. J. Mordel的專(zhuān)著《丟番圖方程》，對(duì)前人有關(guān)不定方程的研究進(jìn)行了較為全面的回顧，并且更加系統(tǒng)化地總結(jié)了這方面的研究成果。由于該領(lǐng)域涉及到各行各業(yè)的發(fā)展，因此近十多年來(lái)，這方面的研究受到眾多數(shù)學(xué)愛(ài)好者與專(zhuān)家學(xué)者的高度關(guān)注，使得該領(lǐng)域獲得了飛速的發(fā)展。雖然如此，但是從整體來(lái)考慮還是存在部分需要加強(qiáng)的地方，比如說(shuō)對(duì)于高于二次的多元不定方程（組），人們其實(shí)知道得不多。另一方面，不定方程與數(shù)學(xué)很多領(lǐng)域都有緊密的聯(lián)系，例如組合數(shù)學(xué)、微分幾何等，在有限群論和最優(yōu)設(shè)計(jì)中也常常提出不定方程的問(wèn)題，這就使得不定方程這一古老的分支仍然并將繼續(xù)吸引著許多數(shù)學(xué)家的注意，成為數(shù)論中重要的研究課題之一。常見(jiàn)的不定方程分為線性不定方程（組）和高次不定方程（組）。其中，最普及的為二元一次不定方程。在此以二元一次不定方程為例來(lái)舉例講述這個(gè)方面。

ax+by=c（1）

式（1）中a，b，c是給定的整數(shù)，且ab≠0。（1）有整數(shù)解的充要條件是a、b的最大公約數(shù)能夠整除n。因此假設(shè)x1、y1為該方程的一組整數(shù)解，那么該方程的所有整數(shù)解可以表示為x=x1+a（a，b）*t，y=y1-a（a，b）*t。其中t為任意整數(shù)。

二、 偏導(dǎo)數(shù)

一個(gè)n元函數(shù)z=f（x1，x2，…，xn）對(duì)它的某個(gè)變?cè)獂k作為唯一自變量（固定其余變?cè)┒缘淖兓剩▽?dǎo)數(shù)），稱(chēng)為該函數(shù)關(guān)于變?cè)獂k的偏導(dǎo)數(shù)。給定一個(gè)二元函數(shù)z=f（x，y）。若函數(shù)z=f（x，y）在（x0，y0）的兩個(gè)偏導(dǎo)數(shù)fx（x0，y0）與fy（x0，y0）都存在時(shí)，稱(chēng)f（x，y）在（x0，y0）處可導(dǎo)。如果函數(shù)f（x，y））在函數(shù)域D的每一點(diǎn)均可導(dǎo)，那么稱(chēng)函數(shù)f（x，y）在域D可導(dǎo)。

偏導(dǎo)數(shù)的記號(hào)有很多種，如：f′x，fx，fx，dfdx等。例如二元函數(shù)

z=f（x，y）=x2+y2+xy（2）

那么有：

zx=2x+y，zy=2y+x，zx（1，1）=3，zy（1，1）=3。函數(shù)z=f（x，y）的圖像如下：

一般的，一個(gè)多元函數(shù)的所有一階偏導(dǎo)數(shù)構(gòu)成的向量稱(chēng)為函數(shù)的梯度，即

SymbolQC@ f（a1，a2，…，an）=（f1（a），f2（a），…，fn（a））T，其中fi（a）=fxi（a1，a2，…，an）對(duì)所有i=1，2，…，n。

梯度函數(shù)反映了多元函數(shù)函數(shù)值隨著自變量變化的快慢。例如，利用梯度函數(shù)為零的條件，我們可以求出二元函數(shù)值下降最快的方向，稱(chēng)為最速下降速度。在這里我們只學(xué)習(xí)函數(shù)f（x，y）沿著平行于x軸和平行于y軸兩個(gè)特殊方位變動(dòng)時(shí)，f（x，y）的變化率。

一個(gè)n元函數(shù)在各個(gè)偏導(dǎo)數(shù)存在的情況下，可以通過(guò)以下形式來(lái)表示：

fxk（a1，…，ak-1，ak，ak+1，…，an）=limh->0f（a1，…，ak+h…，an）-f（a1，…，ak…，an）h

它可以表述為函數(shù)值關(guān)于第k個(gè)變量的單位變化率。如果此極限存在，則稱(chēng)此極限為該函數(shù)函數(shù)在點(diǎn)（x0，y0）處對(duì)x的偏導(dǎo)數(shù)。

三、 不定方程樣例求解思路分析比較

在同一個(gè)樣例的基礎(chǔ)上，通過(guò)采用兩種方法進(jìn)行比較驗(yàn)證，從而更加有針對(duì)性。

1. 不定方程樣例

樣例：若實(shí)數(shù)y，x滿足y=4y-x+2x，則y的最大值是多少。

2. 使用根判別式求解

不定方程最常用的方法就是根判別式方法求解，通過(guò)兩邊平方進(jìn)行函數(shù)的化簡(jiǎn)，從而簡(jiǎn)化成類(lèi)似于二元一次方程的類(lèi)型，再通過(guò)根判別式的公式求解函數(shù)的根，接著通過(guò)x，y的限制條件，從而得到最終想要的y的極值。這種方法是最常用且普遍的慣性思維，接下來(lái)我們就以給出的樣例進(jìn)行分析、推導(dǎo)。

（1） 樣例分析

由于函數(shù)隱含的兩個(gè)條件分別為y？=14x且x？=0；而為了求得y的最大值，這兩個(gè)條件是遠(yuǎn)遠(yuǎn)不夠的，頂多給出的條件只能?chē)L試著求y的最小值，而跟最大值是沒(méi)有任何關(guān)系的。繼續(xù)分析函數(shù)本身，通過(guò)嘗試著進(jìn)行兩邊同時(shí)開(kāi)方進(jìn)行函數(shù)化簡(jiǎn)，再用根判別式進(jìn)行求導(dǎo)歸納。具體解題過(guò)程見(jiàn)下一步。

（2） 解題過(guò)程

解：經(jīng)過(guò)上述分析，由原式得到：y-2x=4y-x

兩邊同時(shí)平方可以得到：y2-4x+1*y+5x=0

將x看成是常數(shù)，這樣的方程就可以看成是一元二次函數(shù)，這樣可以通過(guò)求根公式得到不同情況下的x值的大小。

當(dāng)？=0時(shí)，x=36±165，此事求出的y值是兩個(gè)固定的值

當(dāng)？>0時(shí)，由于x>0，所以x范圍為0

當(dāng)？<0時(shí)，方程沒(méi)有實(shí)數(shù)根

通過(guò)以上驗(yàn)證，只能求出x在不同情況下的取值范圍，然而卻不能算出y的最大值。因此得出根判別式求解方式在此不定方程中是不適用的、不具有普遍性。

3. 使用偏導(dǎo)數(shù)求解

考慮到通過(guò)根判別式方法求解不定方程的局限性，本文采用了一種比較新穎的偏導(dǎo)數(shù)求解算法來(lái)解決不規(guī)則曲面函數(shù)不定方程的問(wèn)題。

（1） 樣例分析

以二元函數(shù)z=f（x，y）為例，如果只有自變量x變化，而自變量y看成是常量，則為x的一元函數(shù)，這樣的函數(shù)稱(chēng)為偏導(dǎo)數(shù)，從而簡(jiǎn)化問(wèn)題的復(fù)雜度，更適合這種不規(guī)則的不定方程求解。

（2） 解題過(guò)程

解：令Fy，x=y-4y-x-2x=0，這里假定y是x的函數(shù)

求偏導(dǎo)分別得出：Fx=--124y-x-1x

Fy=1-424y-x

通過(guò)使用隱函數(shù)存在定理2，可將公式化簡(jiǎn)為：

y′=-FxFy=x-24y-x24y-x-4*x

令y′=0可以得到x=24y-x公式化簡(jiǎn)得到y(tǒng)=516*x，并將該公式定義為公式（1）

即當(dāng)y=516*x時(shí)取最大值，將公式（1）帶入原方程可得：

516*x=4*516*x-x+2x

算出x=64，將x值帶入公式（1）得出

y=20

四、 總結(jié)歸納

根判別式求解不定方程會(huì)隨著不定方程的復(fù)雜程度而出現(xiàn)結(jié)果上的偏差，相對(duì)于根判別式，使用偏導(dǎo)數(shù)求解不定方程則效果顯著，更具有普遍性和通用性。

作者簡(jiǎn)介：

顧玲鳳，江蘇省蘇州市吳中區(qū)城西中學(xué)。