謹以此文紀念我的高中數學老師黃靜卿先生。
==定理1==(用法向量判斷正區域和負區域)
考慮二元一次式f(x,y)=ax+by+c,其中a,b不同時為零。在座標平面上,
(i) ax+by+c=0的幾何圖形為一直線;
(ii) ax+by+c>0代表之區域正是以直線ax+by+c=0為邊界,而落於法向量→n=(a,b)所指方向的區域;
(iii) ax+by+c<0代表之區域正是以直線ax+by+c=0為邊界,而落於法向量→n=(a,b)所指方向反側的區域。
==證明==
(ii) 命直線集合為L={(x,y)|ax+by+c=0},而正區域為L+={(x,y)|ax+by+c>0},負區域為L−={(x,y)|ax+by+c<0}。
顯然R2=L∪L+∪L−,且L,L+,L−互不相交,亦即L∩L+=ϕ,L∩L−=ϕ,L+∩L−=ϕ。
「以直線ax+by+c=0為邊界,而落於法向量→n=(a,b)所指方向的區域」可描述為L上的點經任意正倍數的法向量→n平移後所得到的點集。若記此區域為D+,以數學式表達就是
D+={(x,y)+t→n|(x,y)∈L,t>0}.
我們要證明的即是
L+=D+.
任取P∈D+,則∃(x,y)∈L,t>0使得P=(x,y)+t→n。於是
f(P)=f(x+ta,y+tb)=a(x+ta)+b(y+tb)+c=(ax+by+c)+t(a2+b2).
由於t>0且a,b不同時為零,所以t(a2+b2)>0,也就是f(P)>0。因此得P∈L+,從而D+⊆L+。
任取Q=(x,y)∈L+,我們想證明Q也落在D+之中,如此就可得L+⊆D+。而要完成此目標,我們必須找到(x0,y0)∈L以及正數t使得Q=(x0,y0)+t→n。
設f(Q)=d,即有ax+by+c=d。由於Q∈L+,所以當然d>0。對照證明D+⊆L+的過程「f(P)=…=(ax+by+c)+t(a2+b2)」,我們合理猜測現在應該取t=da2+b2,同時(x0,y0)應為(x−da2+b2⋅a,y−da2+b2⋅b)。以下驗證這樣的猜測是正確的。
f(x−da2+b2⋅a,y−da2+b2⋅b)=a(x−da2+b2⋅a)+b(y−da2+b2⋅b)=(ax+by+c)−da2+b2(a2+b2)=d−d=0.
所以若取(x0,y0)=(x−da2+b2⋅a,y−da2+b2⋅b),則(x0,y0)確實∈L。而
Q=(x,y)=(x−da2+b2⋅a+da2+b2⋅a,y−da2+b2⋅b+da2+b2⋅b)=(x−da2+b2⋅a,y−da2+b2⋅b)+(da2+b2⋅a,da2+b2⋅b)=(x0,y0)+da2+b2(a,b)=(x0,y0)+t→n.
如此就證明了Q∈D+,也就有L+⊆D+。
綜合上述D+⊆L+與L+⊆D+,我們得到L+=D+。
(iii) 「以直線ax+by+c=0為邊界,而落於法向量→n=(a,b)所指方向反側的區域」可描述為L上的點經任意負倍數的法向量→n平移後所得到的點集。若記此區域為D−,以數學式表達就是
D−={(x,y)+t→n|(x,y)∈L,t<0}.
顯然有R2=L∪D+∪D−,且L∩D+=ϕ,L∩D−=ϕ,D+∩D−=ϕ。
由於已知R2=L∪L+∪L−,與上式相比較,可得
D−=R2∖(L∪D+)=R2∖(L∪L+)=(L∪L+∪L−)∖(L∪L+)=L−.
(證明終了)
==定理2==(線性規劃中目標函數在限定區域發生極值位置的探索方法)
二元一次式之函數值循法向量方向移動而增加。
==證明==
設P0=(x0,y0)∈L,Pt=P0+t→n。當t>0時,Pt∈L+;而當t<0時,Pt∈L−。
取正數t,s滿足t<s,於是乎Pt與Ps皆落在L+之中,而自Pt移動到Ps必須沿(s−t)→n。注意這裡s−t>0,是以自Pt移動到Ps是循著法向量→n之正方向前進。
我們要證明的是f(Ps)>f(Pt)。
進行以下計算,
f(Ps)−f(Pt)=f(P0+s→n)−f(P0+t→n)=s(a2+b2)−t(a2+b2)=(s−t)(a2+b2)>0.
從而f(Ps)>f(Pt)。
(證明終了)
==討論==
我們的討論可以毫無困難地推廣到n維空間。這裡我們所得到的結果,其實只是多元微積分學中關於空間曲面梯度向量以及方向導數的定理的特例。
定理. 設D為Rn中的開集。若函數f:D→R在D上可微,則對於任意單位向量→u∈Rn以及x∈D,函數f在x循→u的方向導數為
D→uf(x)=∇f(x)⋅→u.
而方向導數最大值為|∇f(x)|,發生於→u與∇f(x)平行同向之際。
在高中數學傳統教學中,正、負區域的判定是採用「約定x項的係數為正...P點在L的右邊,則f(P)>0;若P在L的左邊,則f(P)<0」(參見部落格【王的夢田】文章〈平面被一直線分成兩部份的正負情形〉),學生常常會搞不清楚正區域和負區域的位置。因為這個約定太麻煩了,還得先化簡所給定的直線方程式,然後要去記所謂的左邊或是右邊。試想,在三維或是更高維空間中,如果要處理線性規劃區域問題,我們還會有什麼左、右之分嗎?我們唯一可以依循的只有法向量,按其指向去區分各區域,法向量才是處理判定正、負區域的根本工具。
沒有留言:
張貼留言