115 年 國立陽明交通大學資訊工程學系碩士班《線性代數與離散數學》

第 1.1 題5 分

True or False: This part consists of true-or-false questions. In each case, please answer true if the statement is always true and false otherwise. Give a counterexample for any false conjecture.

A n×nn\times n matrix AA is said to be nonsingular:

(1) if AA is non-invertible.

(2) if there exists a matrix BB such that AB=BA=IAB=BA=I.

(3) if the determinant of AA is nonzero.

(4) if Ax=0Ax=0 where xx is a nonzero vector.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

對 n×nn\times n 方陣 AA,**非奇異(nonsingular)**的定義是 AA 可逆,也就是存在矩陣 A−1A^{-1} 使得

AA−1=A−1A=I.AA^{-1}=A^{-1}A=I.

若矩陣元素取自一個域,例如實數或複數,以下條件彼此等價:

  • AA 可逆;
  • 存在矩陣 BB 使 AB=BA=IAB=BA=I;
  • det⁡(A)≠0\det(A)\ne 0;
  • 齊次方程 Ax=0Ax=0 的唯一解是 x=0x=0。

解題方法與選項分析

逐一比對題目敘述與非奇異矩陣的定義及等價條件,並用反例否定不成立的敘述。

(1) 若 AA 不可逆,則 AA 是非奇異矩陣。

錯誤。 非奇異的定義就是可逆,因此不可逆的矩陣是奇異矩陣。以 A=0A=0 為例,零矩陣不可逆,所以不是非奇異矩陣。

(2) 若存在矩陣 BB 使得 AB=BA=IAB=BA=I。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 1.2 題5 分

There are many types of elementary matrices. Which of the following definitions are elementary matrices?

(1) A n×nn\times n matrix is obtained by interchanging two rows of II.

(2) A n×nn\times n matrix is obtained by multiplying a row of II by a nonzero constant.

(3) A n×nn\times n matrix is obtained from II by adding a multiple of one row to another row.

(4) A n×nn\times n matrix is obtained from II by reordering its columns.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

初等矩陣是對單位矩陣 InI_n 施行一次初等列運算後得到的矩陣。初等列運算只有三種:

  1. 交換兩列。
  2. 將一列乘上非零常數。
  3. 將某列的倍數加到另一列。

初等矩陣左乘矩陣 AA,會對 AA 施行對應的列運算。因此,判斷定義時要看它是否來自上述其中一種單次列運算。

解題方法

逐項比對題目描述與三種初等列運算。前三項正好各對應一種列運算;第 (4) 項描述的是欄的重排,不能作為一般的初等矩陣定義。

選項分析

(1) 正確。 將 InI_n 的兩列互換,是一次交換兩列的初等列運算,因此所得矩陣是初等矩陣。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 1.3 題5 分

If there are two n×nn\times n matrices, AA and BB, and one scalar rr, determine whether each statement is true or false:

(1) det⁡(A)=det⁡(B)\det(A)=\det(B) implies A=BA=B.

(2) det⁡(rA+B)=rdet⁡(A)+det⁡(B)\det(rA+B)=r\det(A)+\det(B).

(3) det⁡((AB)T)=det⁡(A)det⁡(B)\det((AB)^T)=\det(A)\det(B).

(4) det⁡(A)=det⁡(B)\det(A)=\det(B) where AA and BB are row-equivalent matrices.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查行列式的基本性質:

  • 相同的行列式值不代表矩陣相同。
  • 行列式對矩陣相加不具線性;對矩陣乘上純量則滿足 det⁡(rA)=rndet⁡(A)\det(rA)=r^n\det(A)。
  • 轉置不改變行列式,且 det⁡(AB)=det⁡(A)det⁡(B)\det(AB)=\det(A)\det(B)。
  • 初等列運算對行列式的影響不同:交換兩列會變號,某列乘上 cc 會使行列式乘上 cc,某列加上另一列的倍數則不改變行列式。

解題方法

逐項檢查是否符合行列式的定理。判斷全稱敘述是否錯誤時,可用簡單矩陣舉反例;若要判斷乘積或轉置,則直接套用行列式的基本公式。

選項分析

(1) 錯誤。 行列式只是一個數值,不能唯一決定矩陣。取

A=(1000),B=(2000).A=\begin{pmatrix}1&0\\0&0\end{pmatrix}, \qquad B=\begin{pmatrix}2&0\\0&0\end{pmatrix}.

兩者都滿足 det⁡(A)=det⁡(B)=0\det(A)=\det(B)=0,但 A≠BA\ne B。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 1.4 題5 分

The vectors a1,a2,…,ana_1,a_2,\ldots,a_n are column vectors in Rn\mathbb{R}^n, and A=[a1 a2 ⋯ an]A=[a_1\ a_2\ \cdots\ a_n]. Determine whether each statement is true or false:

(1) The vectors a1,a2,…,ana_1,a_2,\ldots,a_n will be linearly independent if and only if AA is singular.

(2) Ax=0Ax=0 if and only if xx is trivial, [0 0 ⋯ 0]T[0\ 0\ \cdots\ 0]^T.

(3) The rank of AA plus the nullity of AA equals nn.

(4) The rank of AA equals the rank of ATA^T.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

令 A=[a1 a2 ⋯ an]A=[a_1\ a_2\ \cdots\ a_n],其中 AA 是 n×nn\times n 方陣。題目考查方陣的可逆性、齊次方程組 Ax=0Ax=0、秩與零度,以及矩陣轉置的秩。

幾個重要定理如下:

  • a1,…,ana_1,\ldots,a_n 線性獨立,若且唯若 AA 可逆,也就是 AA 非奇異。
  • Ax=0Ax=0 只有平凡解 x=0x=0,若且唯若 AA 可逆。
  • 秩零度定理:rank⁡(A)+nullity⁡(A)=n\operatorname{rank}(A)+\operatorname{nullity}(A)=n。
  • 矩陣與其轉置的秩相等:rank⁡(A)=rank⁡(AT)\operatorname{rank}(A)=\operatorname{rank}(A^T)。

解題方法

逐項對照上述定理。要特別留意「奇異」代表不可逆;方陣的欄向量線性獨立時,矩陣應是非奇異,而非奇異。另兩項涉及 Ax=0Ax=0 的解與秩零度定理,可直接由基本線性代數定理判斷。

選項分析

(1) 錯誤。
nn 個欄向量線性獨立,若且唯若 AA 非奇異。題目將條件寫成「AA 是奇異矩陣」,方向相反。

例如,若 A=InA=I_n,其欄向量線性獨立,但 AA 非奇異;若 AA 是零矩陣,欄向量線性相依且 AA 奇異。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 2 題5 分

By trial and error, find the general condition for 2×22\times2 matrices AA with real entries such that A2=−IA^2=-I.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

設

A=(abcd),a,b,c,d∈R.A=\begin{pmatrix}a&b\\c&d\end{pmatrix}, \qquad a,b,c,d\in\mathbb R.

本題要找出使 A2=−IA^2=-I 的所有實數矩陣。關鍵是將矩陣平方後逐項比較,並利用實數平方非負的性質排除 b=c=0b=c=0 的情形。

解題方法

直接計算:

A2=(a2+bcb(a+d)c(a+d)d2+bc).A^2= \begin{pmatrix} a^2+bc & b(a+d)\\ c(a+d) & d^2+bc \end{pmatrix}.

令 A2=−IA^2=-I,比較矩陣各元素,得到

a2+bc=−1,b(a+d)=0,c(a+d)=0,d2+bc=−1.a^2+bc=-1,\qquad b(a+d)=0,\qquad c(a+d)=0,\qquad d^2+bc=-1.

若 b=c=0b=c=0,第一式會變成 a2=−1a^2=-1,這與 aa 為實數矛盾。因此 b,cb,c 不可能同時為零,故至少一個非零。由 b(a+d)=0b(a+d)=0 或 c(a+d)=0c(a+d)=0 可得

a+d=0,a+d=0,

也就是 d=−ad=-a。代入第一式,得到

a2+bc=−1⟺bc=−(1+a2).a^2+bc=-1 \quad\Longleftrightarrow\quad bc=-(1+a^2).

因此所有符合條件的矩陣恰為

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 3 題5 分

Find the determinant of the matrix

A=[1020043015009353804208007704060001020].A= \begin{bmatrix} 1&0&2&0&0&4\\ 30&1&5&0&0&9\\ 3&5&3&8&0&4\\ 2&0&8&0&0&7\\ 7&0&4&0&6&0\\ 0&0&1&0&2&0 \end{bmatrix}.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考行列式的餘因子展開。若沿第 jj 欄展開,則

det⁡A=∑i=1n(−1)i+jaijdet⁡Aij,\det A=\sum_{i=1}^{n}(-1)^{i+j}a_{ij}\det A_{ij},

其中 AijA_{ij} 是刪除第 ii 列與第 jj 欄後得到的子矩陣。若某一列或某一欄只有少數非零元素,沿該列或該欄展開能大幅減少計算量。

解題方法

原矩陣的第 44 欄只有 a34=8a_{34}=8 非零,因此沿第 44 欄展開。其餘子矩陣的行列式符號為 (−1)3+4=−1(-1)^{3+4}=-1:

det⁡A=−8∣10204301509208077046000120∣.\det A =-8 \begin{vmatrix} 1&0&2&0&4\\ 30&1&5&0&9\\ 2&0&8&0&7\\ 7&0&4&6&0\\ 0&0&1&2&0 \end{vmatrix}.

這個 5×55\times5 子矩陣的第 22 欄只有一個非零元素 11,位於第 22 列。沿該欄展開,符號為 (−1)2+2=1(-1)^{2+2}=1:

det⁡A=−8∣1204280774600120∣.\det A =-8 \begin{vmatrix} 1&2&0&4\\ 2&8&0&7\\ 7&4&6&0\\ 0&1&2&0 \end{vmatrix}.

接著沿 4×44\times4 矩陣的第 44 欄展開。該欄只有前兩列非零,故

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 4 題8 分

Find a Singular Value Decomposition of the matrix

A=[2−2221−1]A= \begin{bmatrix} 2&-2\\ 2&2\\ 1&-1 \end{bmatrix}

and verify your answer.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

奇異值分解(SVD)將矩陣寫成

A=UΣVT,A=U\Sigma V^{T},

其中 UU、VV 的欄向量皆為正交單位向量,Σ\Sigma 的對角線元素為非負奇異值。對本題的 3×23\times 2 矩陣,可先求 ATAA^{T}A 的特徵值與正交單位特徵向量:

  • 特徵值的平方根是奇異值。
  • ATAA^{T}A 的正交單位特徵向量組成 VV。
  • 對應的左奇異向量由 ui=Aviσiu_i=\dfrac{Av_i}{\sigma_i} 求得。

解題方法

先計算

ATA=[221−22−1][2−2221−1]=[9−1−19].A^{T}A = \begin{bmatrix} 2&2&1\\ -2&2&-1 \end{bmatrix} \begin{bmatrix} 2&-2\\ 2&2\\ 1&-1 \end{bmatrix} = \begin{bmatrix} 9&-1\\ -1&9 \end{bmatrix}.

其特徵值為 1010 與 88,對應的正交單位特徵向量分別為

v1=12[1−1],v2=12[11].v_1=\frac{1}{\sqrt{2}} \begin{bmatrix} 1\\-1 \end{bmatrix}, \qquad v_2=\frac{1}{\sqrt{2}} \begin{bmatrix} 1\\1 \end{bmatrix}.

因此奇異值為

σ1=10,σ2=8=22.\sigma_1=\sqrt{10}, \qquad \sigma_2=\sqrt{8}=2\sqrt{2}.

依序求左奇異向量:

u1=Av1σ1=15[201],u2=Av2σ2=[010].u_1=\frac{Av_1}{\sigma_1} =\frac{1}{\sqrt{5}} \begin{bmatrix} 2\\0\\1 \end{bmatrix}, \qquad u_2=\frac{Av_2}{\sigma_2} = \begin{bmatrix} 0\\1\\0 \end{bmatrix}.

將 u1,u2u_1,u_2 作為 UU 的欄向量,並將 v1,v2v_1,v_2 作為 VV 的欄向量,得到一組奇異值分解:

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 5 題12 分

Let AA be an m×nm\times n matrix and xx be an n×1n\times1 vector.

(a) (4 points) Given ∥x∥=1\lVert x\rVert=1, what is the least square solution for Ax=0Ax=0?

(b) (8 points) Please prove your answer.

Please leave it blank if you don’t know the correct answer. You will get at most 5 points (until questions 3, 4, and 5 are 0 points) for the wrong answer. You will not receive partial credit; for each wrong answer, up to 5 points will be deducted, and questions 3, 4, and 5 will receive 0 points.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

在 ∥x∥=1\lVert x\rVert=1 的限制下,求 Ax=0Ax=0 的最小平方解,就是在所有單位向量中,找出使殘差平方 ∥Ax∥2\lVert Ax\rVert^2 最小的 xx。由於

∥Ax∥2=xTATAx,\lVert Ax\rVert^2=x^{\mathsf T}A^{\mathsf T}Ax,

此問題等價於求矩陣 ATAA^{\mathsf T}A 的最小特徵值所對應的單位特徵向量,也就是 AA 的最小右奇異向量。

解題方法與證明

設 ATAA^{\mathsf T}A 的特徵值為 λ1,…,λn\lambda_1,\ldots,\lambda_n,並依大小排列為

0≤λ1≤λ2≤⋯≤λn.0\leq \lambda_1\leq\lambda_2\leq\cdots\leq\lambda_n.

因為 ATAA^{\mathsf T}A 是對稱半正定矩陣,存在一組正交標準特徵向量 v1,…,vnv_1,\ldots,v_n。將任意滿足 ∥x∥=1\lVert x\rVert=1 的向量展開為

x=∑i=1ncivi,∑i=1nci2=1.x=\sum_{i=1}^{n}c_i v_i, \qquad \sum_{i=1}^{n}c_i^2=1.

因此

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6-(1) 題5 分

Is the following statement a tautology, a contradiction, or neither? You need to provide a rigorous explanation or proof.

∃a ∀b (b∈a↔b∉b)\exists a\,\forall b\,(b\in a\leftrightarrow b\notin b)

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查命題的分類:若一個命題在所有情況下都為真,稱為重言式;在所有情況下都為假,稱為矛盾式;有時真、有時假,則為兩者皆非。

關鍵是全稱量詞 ∀b\forall b 涵蓋所有對象,因此也涵蓋被存在量詞選出的 aa。

解題方法

假設存在某個 aa,使得對所有 bb 都有

b∈a↔b∉b。b\in a\leftrightarrow b\notin b。

令 b=ab=a,得到

a∈a↔a∉a。a\in a\leftrightarrow a\notin a。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6-(2) 題5 分

What is xx in the following equation? Assume the left-hand-side term of the equation converges.

∑r=2∞2x−r=1+3×2x−2\sum_{r=2}^{\infty}2^{x-r}=\sqrt{1+3\times2^{x-2}}

You need to show how to obtain your answer.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

左側是等比級數,首項為 2x−22^{x-2},公比為 12\frac12。等比級數首項為 aa、公比為 qq 且 ∣q∣<1|q|<1 時,其和為 a1−q\frac{a}{1-q}。本題假設級數收斂,因此可使用此公式。

解題方法

將左側級數化簡:

∑r=2∞2x−r=2x−2+2x−3+2x−4+⋯=2x−21−12=2x−1\sum_{r=2}^{\infty}2^{x-r} =2^{x-2}+2^{x-3}+2^{x-4}+\cdots =\frac{2^{x-2}}{1-\frac12} =2^{x-1}

原式因此成為:

2x−1=1+3⋅2x−22^{x-1}=\sqrt{1+3\cdot 2^{x-2}}
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6-(3) 題5 分

What is the integer part of 5+6+7+8+9+10+11+12+13\sqrt{5}+\sqrt{6}+\sqrt{7}+\sqrt{8}+\sqrt{9}+\sqrt{10}+\sqrt{11}+\sqrt{12}+\sqrt{13}? You need to show how to obtain your answer.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

「整數部分」是小於或等於該數的最大整數。設

S=5+6+7+8+9+10+11+12+13,S=\sqrt5+\sqrt6+\sqrt7+\sqrt8+\sqrt9+\sqrt{10}+\sqrt{11}+\sqrt{12}+\sqrt{13},

只要證明 26<S<2726<S<27,即可確定 SS 的整數部分為 2626。

比較平方根與正有理數時,可利用:若 a,b>0a,b>0,則 a2<b2a^2<b^2 蘊含 a<ba<b。

解題方法

先用容易平方驗算的數給各項建立下界:

5>115,6>125,7>52,8>145,9=3,10>3,11>3310,12>175,13>72.\begin{aligned} \sqrt5&>\frac{11}{5},& \sqrt6&>\frac{12}{5},& \sqrt7&>\frac52,& \sqrt8&>\frac{14}{5},\\ \sqrt9&=3,& \sqrt{10}&>3,& \sqrt{11}&>\frac{33}{10},& \sqrt{12}&>\frac{17}{5},& \sqrt{13}&>\frac72. \end{aligned}

例如,(115)2=12125<5\left(\frac{11}{5}\right)^2=\frac{121}{25}<5,因此 5>115\sqrt5>\frac{11}{5};其餘不等式也可由兩邊平方驗證。相加得

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6-(4) 題5 分

Let T:=def11…11T\mathrel{:=_{\mathrm{def}}}11\ldots11 (there are 243 11’s). Is TT divisible by 243? You need to explain your answer.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

把 nn 個連續數字 11 組成的數記為 RnR_n,則它是等比級數:

Rn=1+10+102+⋯+10n−1=10n−19.R_n=1+10+10^2+\cdots+10^{n-1} =\frac{10^n-1}{9}.

本題要判斷 R243R_{243} 是否能被 243=35243=3^5 整除。只知道它能被 99 整除還不夠,必須再檢查因數 33 的次方是否達到 55。

解題方法

利用 10=1+910=1+9,將 R243R_{243} 改寫並套用二項式定理:

R243=(1+9)243−19=∑j=1243(243j)9j−1.R_{243} =\frac{(1+9)^{243}-1}{9} =\sum_{j=1}^{243}\binom{243}{j}9^{j-1}.

逐項檢查:

  • j=1j=1 時,該項為 (2431)=243\binom{243}{1}=243,可被 243243 整除。
  • j=2j=2 時,該項為 (2432)9=243⋅2422⋅9,\binom{243}{2}9=\frac{243\cdot242}{2}\cdot9, 含有因數 243243,因此可被 243243 整除。
  • j=3j=3 時,該項為 81(2433)81\binom{243}{3}。其中
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6-(5) 題5 分

Given a strictly increasing function f:N→Nf:\mathbb{N}\to\mathbb{N} such that f(f(x))=2x+1f(f(x))=2x+1, what is f(6)f(6)? Note that N\mathbb{N} denotes the set of natural numbers.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

利用嚴格遞增性與函數方程 f(f(x))=2x+1f(f(x))=2x+1,先判斷 f(x)f(x) 必定大於 xx,再逐步求出所需的函數值。

以下依台灣考試常用約定,令 N={1,2,3,…}\mathbb{N}=\{1,2,3,\ldots\}。

解題方法

先證明對任意正整數 xx,都有 f(x)>xf(x)>x。若 f(x)≤xf(x)\le x,由 ff 嚴格遞增可得 f(f(x))≤f(x)≤xf(f(x))\le f(x)\le x,但題目給出 f(f(x))=2x+1>xf(f(x))=2x+1>x,矛盾。因此 f(x)>xf(x)>x。

依序代入:

  • x=1x=1 時,f(f(1))=3f(f(1))=3。由 f(1)>1f(1)>1,且 f(f(1))>f(1)f(f(1))>f(1),得 1<f(1)<31<f(1)<3,所以 f(1)=2f(1)=2,進而 f(2)=3f(2)=3。
  • x=2x=2 時,f(f(2))=5f(f(2))=5。因為 f(2)=3f(2)=3,所以 f(3)=5f(3)=5。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊
📄 以下 1 題共用同一段題幹

For n≥0n\geq0, let {xn}\{x_n\}, {yn}\{y_n\}, and {zn}\{z_n\} be sequences defined by the initial conditions x0=1x_0=1, y0=0y_0=0, and z0=0z_0=0. For n≥1n\geq1, they satisfy

xn=xn−1+yn−1+zn−1,yn=xn−1+zn−1,zn=yn−1.x_n=x_{n-1}+y_{n-1}+z_{n-1},\qquad y_n=x_{n-1}+z_{n-1},\qquad z_n=y_{n-1}.

第 7 題10 分

(a) (3 points) Let un=xn+yn+znu_n=x_n+y_n+z_n. Use mathematical induction to prove that un=2nu_n=2^n for all n≥0n\geq0.

(b) (3 points) Using the result from part (a), derive a recurrence relation for yny_n in terms of yn−1y_{n-1} and show that yn=2n−1−yn−1y_n=2^{n-1}-y_{n-1} for all n≥1n\geq1.

(c) (4 points) Solve the recurrence in part (b) to obtain a closed-form expression for yny_n, and verify that your formula satisfies the initial condition.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題先把三個數列相加,利用遞迴式建立總和 unu_n 的關係;再運用 unu_n 的結果消去 xn−1x_{n-1} 和 zn−1z_{n-1},得到 yny_n 的遞迴式,最後解出 yny_n 的閉合公式。

(a) 用數學歸納法證明 un=2nu_n=2^n

由定義,

un=xn+yn+zn=(xn−1+yn−1+zn−1)+(xn−1+zn−1)+yn−1=2(xn−1+yn−1+zn−1)=2un−1.\begin{aligned} u_n &=x_n+y_n+z_n\\ &=(x_{n-1}+y_{n-1}+z_{n-1}) +(x_{n-1}+z_{n-1})+y_{n-1}\\ &=2(x_{n-1}+y_{n-1}+z_{n-1})\\ &=2u_{n-1}. \end{aligned}

基底: 當 n=0n=0 時,

u0=x0+y0+z0=1+0+0=1=20.u_0=x_0+y_0+z_0=1+0+0=1=2^0.

歸納步驟: 假設對某個 n≥1n\geq 1,un−1=2n−1u_{n-1}=2^{n-1}。由 un=2un−1u_n=2u_{n-1},

un=2⋅2n−1=2n.u_n=2\cdot 2^{n-1}=2^n.

因此依數學歸納法,對所有 n≥0n\geq 0,皆有 un=2nu_n=2^n。

(b) 推導 yny_n 的遞迴式

由題目給定的 yny_n 遞迴式,

yn=xn−1+zn−1.y_n=x_{n-1}+z_{n-1}.

而

un−1=xn−1+yn−1+zn−1=2n−1.u_{n-1}=x_{n-1}+y_{n-1}+z_{n-1}=2^{n-1}.

因此

xn−1+zn−1=un−1−yn−1,x_{n-1}+z_{n-1}=u_{n-1}-y_{n-1},

代回可得

yn=2n−1−yn−1,n≥1.\boxed{y_n=2^{n-1}-y_{n-1}},\qquad n\geq 1.
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊
📄 以下 2 題共用同一段題幹

Define relations RR and SS on N={0,1,2,…}\mathbb{N}=\{0,1,2,\ldots\} by:

(1) xRyxRy if and only if x≡y(mod7)x\equiv y\pmod 7.

(2) xSyxSy if and only if x≡y(mod13)x\equiv y\pmod{13}.

For each of the following relations on N\mathbb{N}, determine whether it is an equivalence relation. If it is, give a proof. If it is not, explain which property of an equivalence relation fails. In each case, justify your answer. Answers without justification will receive no points.

第 8-(a) 題4 分

R∩SR\cap S

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

關係 R∩SR\cap S 的定義是:x(R∩S)yx(R\cap S)y 當且僅當 xRyxRy 且 xSyxSy。本題要檢查它是否同時具備自反性、對稱性、遞移性。

由題意,

x(R∩S)y  ⟺  7∣(x−y) 且 13∣(x−y).x(R\cap S)y \iff 7\mid(x-y)\ \text{且}\ 13\mid(x-y).

因為 77 與 1313 互質,這等價於 91∣(x−y)91\mid(x-y),也就是 x≡y(mod91)x\equiv y\pmod{91}。

解題方法與證明

直接依等價關係的三項定義驗證:

  • **自反性:**任取 x∈Nx\in\mathbb N,有 x−x=0x-x=0,而 77 和 1313 都整除 00。因此 xRxxRx 且 xSxxSx,故 x(R∩S)xx(R\cap S)x。
  • **對稱性:**若 x(R∩S)yx(R\cap S)y,則 7∣(x−y)7\mid(x-y) 且 13∣(x−y)13\mid(x-y)。
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 8-(b) 題4 分

R∪SR\cup S

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

等價關係必須同時具備自反性、對稱性、遞移性。此題的關係 R∪SR\cup S 表示:xx 與 yy 至少符合以下一項,即 x≡y(mod7)x\equiv y\pmod 7 或 x≡y(mod13)x\equiv y\pmod{13}。

解題方法

先檢查三項性質。對任意 x∈Nx\in\mathbb N,有 x≡x(mod7)x\equiv x\pmod 7,所以 (x,x)∈R⊆R∪S(x,x)\in R\subseteq R\cup S,故 R∪SR\cup S 具有自反性。

若 (x,y)∈R∪S(x,y)\in R\cup S,則 x≡y(mod7)x\equiv y\pmod 7 或 x≡y(mod13)x\equiv y\pmod{13}。同餘關係具有對稱性,因此 y≡xy\equiv x 也成立於相同模數,故 (y,x)∈R∪S(y,x)\in R\cup S。所以 R∪SR\cup S 具有對稱性。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 9 題7 分

A fully connected communication network on nn nodes is modeled by the complete graph KnK_n, where n≥5n\geq5. Let S⊆V(Kn)∪E(Kn)S\subseteq V(K_n)\cup E(K_n) be a set of failed nodes and links with ∣S∣≤n−3|S|\leq n-3, such that no failed link is incident to a failed node. Let Kn−SK_n-S denote the network obtained after removing all failed nodes (and their incident links) and all failed links.

Prove by induction on nn that the remaining network Kn−SK_n-S contains a Hamiltonian cycle. You may not assume any characterization theorem for Hamiltonian graphs.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

令 FF 表示剩餘頂點之間的失效連線。若剩下 mm 個頂點,題目條件會化為:FF 至多有 m−3m-3 條邊。以下證明只要從 KmK_m 刪除至多 m−3m-3 條邊,剩餘圖便有 Hamiltonian cycle。

歸納時,選一個在 FF 中至少有一條、但失效邊數不超過一半的頂點 vv。刪除 vv 後可套用歸納假設;再把 vv 插入較小圖的 Hamiltonian cycle。

引理

若 m≥5m\ge5,且簡單圖 FF 至多有 m−3m-3 條邊,則 FF 有一個非孤立頂點 vv,使得

1≤dF(v)≤⌊m−22⌋.1\le d_F(v)\le \left\lfloor\frac{m-2}{2}\right\rfloor.

**證明引理:**取 FF 中一個含邊的連通分量,令其最小度數為 δ\delta。此分量至少有 δ+1\delta+1 個頂點,因此邊數至少為

δ(δ+1)2.\frac{\delta(\delta+1)}{2}.

若 δ>⌊(m−2)/2⌋\delta>\lfloor(m-2)/2\rfloor,則 δ≥⌊(m−2)/2⌋+1\delta\ge\lfloor(m-2)/2\rfloor+1,這會使該分量的邊數大於 m−3m-3,與 ∣E(F)∣≤m−3|E(F)|\le m-3 矛盾。因此該分量中存在度數介於 11 與 ⌊(m−2)/2⌋\lfloor(m-2)/2\rfloor 之間的頂點。引理得證。

解題方法:對頂點數歸納

設 G=Km−FG=K_m-F,且 ∣E(F)∣≤m−3|E(F)|\le m-3。

基礎情形

  • m=3m=3 時,∣E(F)∣≤0|E(F)|\le0,故 G=K3G=K_3,有 Hamiltonian cycle。
  • m=4m=4 時,∣E(F)∣≤1|E(F)|\le1。若有一條失效邊 abab,令其餘兩點為 c,dc,d,則 a−c−b−d−aa-c-b-d-a 是 Hamiltonian cycle;
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

其他考古題