112 年 國立陽明交通大學資訊工程學系碩士班《線性代數與離散數學》
第 1-1 題10 分
Determine whether the quadratic function
has a maximum at . If it does, find:
(a) .
(b) .
登入後即可作答並保存紀錄。
核心觀念
二次函數若可寫成
且對稱矩陣 正定,則 嚴格凹,存在唯一的全域最大值。最大值位置可由梯度為零求得:
解題方法
令 ,將題目的二次項整理為矩陣形式:
其中
先確認 正定。其順序主子式為
依 Sylvester 判別法, 正定,因此 嚴格凹,臨界點就是唯一的全域最大值位置。
令梯度為零:
展開成聯立方程:
第 1-2 題5 分
Prove that is an orthogonal matrix if for all .
登入後即可作答並保存紀錄。
【核心觀念】
實矩陣 為正交矩陣的定義是
向量長度平方可寫成內積:。因此,若 保持所有向量的長度,就能進一步證明它保持內積。
【解題方法】
使用極化恆等式,從長度保持推出內積保持,再由內積保持證明 。
【證明】
對任意 ,有
依題設, 對所有 成立,因此
第 1-3 題5 分
Let . Find the vector such that is minimized.
登入後即可作答並保存紀錄。
核心觀念
要在 中找出與 距離最短的向量,就是將 正交投影到這個子空間。正交投影的誤差向量會與子空間垂直。
令 ,則子空間中的向量皆可寫成 。
解題方法
使 最小的向量為 在 上的正交投影:
計算分子與分母:
因此
第 1-4 題5 分
A square matrix satisfies . Show that is nonsingular.
登入後即可作答並保存紀錄。
核心觀念
條件 表示 是實數反對稱矩陣。反對稱矩陣的二次型恆為零:對任意實向量 ,
因此 。
解題方法
用核空間判斷 是否可逆。假設 ,則 。左乘 得
第 2-1 題15 分
Given
If the Gram–Schmidt process is applied to determine an orthonormal basis for and a factorization of , then, after the first orthonormal vector and are computed, we have
(a) Finish the above process and determine and , and fill in the columns of .
(b) Finish the above process and determine .
(c) Use the factorization to find the least squares solution of .
登入後即可作答並保存紀錄。
核心觀念
本題考查 Gram–Schmidt 正交化與薄型 QR 分解。對 ,依序計算
如此得到 ,其中 的欄向量彼此正交且長度為 , 為上三角矩陣。最小平方解則由 求得。
解題方法與推導
令 分別為 的三個欄向量。題目已給
對第二欄,
因此
對第三欄,
移除在 方向上的投影後,
所以
(a) 正交單位向量與
Let
be a matrix.
第 2-2-(a) 題5 分
Find the value of
登入後即可作答並保存紀錄。
核心觀念
若矩陣滿足 ,稱為冪等矩陣。此時對所有正整數 ,都有 ,因此矩陣冪的極限可直接由冪等性判定。
解題方法
計算 :
第 2-2-(b) 題5 分
Compute the value of .
登入後即可作答並保存紀錄。
核心觀念
矩陣指數定義為冪級數
若矩陣滿足冪等關係 ,則對所有正整數 都有 ,因此矩陣指數可直接化簡。
解題方法
先計算 :
所以 ()。代入矩陣指數的冪級數:
第 3 題5 分
Which is bigger, or ?
登入後即可作答並保存紀錄。
核心觀念
使用二項式定理:
因為 ,展開後各項皆為正,因此只取前幾項,就能得到原式的下界。
解題方法
將 寫成 ,展開前幾項:
第 4 題5 分
Assume is a natural number. Solve
登入後即可作答並保存紀錄。
核心觀念
若正整數 的冪 是 的冪,則 本身也只能含有質因數 ,因此 必須是 的冪。接著利用同底數相等時指數相等,將原式化成整數方程。
解題方法
題目右側大於 ,所以 。由於 , 的質因數只有 ,故 也只能有質因數 。設
代回原式:
因此
第 5 題5 分
Please translate the following statement into first-order logic: “There are infinite natural numbers.”
Please use to denote the set of natural numbers. The notation means that is a member of .
登入後即可作答並保存紀錄。
核心觀念
「自然數有無限多個」表示自然數集合沒有最大元素:對每一個自然數,都能找到一個更大的自然數。這裡使用自然數的通常大小關係 。
解題方法
先以 表示任意自然數,再要求存在自然數 大於 。由於題目指定用 表示「 是自然數」,可寫成:
第 6 題5 分
Calculate
登入後即可作答並保存紀錄。
核心觀念
利用平方根的整數部分分組。對正整數 ,只要
就有 。因此,每個整數 對應一段連續的 值。
解題方法
假設 為正整數。對 ,滿足 的整數 為
共有
個,每個的值都是 ,所以這一組的總和是 。
最後一組 只包含 ,貢獻為 。因此
第 7 題5 分
Let be the set of all functions from to the set , where . Is countable or uncountable? You need to give an explanation.
登入後即可作答並保存紀錄。
核心觀念
本題考查集合的可數性與康托對角線法。若一個集合的元素能列成序列 ,就稱它至多可數;若無法列成這樣的序列,便是不可數。
每個函數 都能用來表示 的一個子集:取所有滿足 的 。反過來,每個 的子集也對應到一個這樣的函數。因此, 和 的冪集合一樣大。由康托定理,無限集合 的冪集合不可數。
解題方法
也可以直接用對角線法證明。假設 可數,則所有函數都能排成一列:
定義一個新函數 ,讓它在第 個輸入值上,取與 不同的值:
第 8-1 題5 分
Given a generating function
write down the sequence generated by .
登入後即可作答並保存紀錄。
核心觀念
普通生成函數 中, 的係數 就是序列的第 項。因此,只要將 展開並讀出各次方的係數,即可得到所生成的序列。
解題方法
利用平方差公式 ,可得
第 8-2 題5 分
Given and the partition , how many ordered pairs are in the equivalence relation corresponding to ? Please write down all ordered pairs of the equivalence relation.
登入後即可作答並保存紀錄。
核心觀念
由分割 對應的等價關係,定義為:兩個元素屬於同一個分割區塊時,兩者便形成一組有序對。
因此,等價關係中的有序對數量,等於各區塊大小的平方總和。此題的區塊大小為 與 ,所以有序對總數為
解題方法
區塊 只有一個元素,產生的有序對為 。
區塊 中,每個元素都能和同一區塊內的每個元素配對,包含元素與自身的配對,因此產生 組:
第 9-1 題5 分
Given is a connected planar graph, there are 10 vertices and the degree of each vertex is 14. How many regions does this planar graph have?
登入後即可作答並保存紀錄。
核心觀念
連通平面圖可使用歐拉公式:
其中 是頂點數、 是邊數, 是平面嵌入後的區域數,包含外部區域。
握手定理指出,所有頂點的度數總和等於邊數的兩倍:
解題方法
題目有 個頂點,每個頂點的度數都是 ,所以度數總和為
第 9-2 題10 分
A -dumbbell graph is constructed from the complete graph on vertices and the complete graph on vertices. These two graphs are connected by a single edge. Find the number of spanning trees of a dumbbell graph.
🖼️【此處有附圖,見下方】
登入後即可作答並保存紀錄。
核心觀念
生成樹是包含原圖所有頂點、連通且沒有環的子圖。本題用到兩個觀念:
- 橋邊必選:刪除後會使圖不連通的邊稱為橋邊;每棵生成樹都必須包含它。
- Cayley 公式:具有 個相異頂點的完全圖 ,其生成樹數為
解題方法
附上的頁圖印刷內容為第 2-1、2-2 題的矩陣問題,未包含第 9-2 題的啞鈴圖。以下依本題文字所定義的結構作答:兩個頂點集合互不重疊的完全圖 、,以唯一一條邊相連,且 。
設連接兩個完全圖的邊為 。
第一步:連接邊 必須納入生成樹。
兩側之間只有 相連,刪除 就會使整張圖分成兩個連通分量。因此 是橋邊,每棵生成樹都必須包含它,這一步沒有額外的選擇數。
第二步:每一側都必須選出自己的生成樹。