5차 퀴즈풀이

1. 다음 연립방정식을 가우스-조르단 소거법으로 풀어라.

(
x1 + x2 + 2x3 + 3x4 = 2
2x1 + 2x2 + x3 + 3x4 = 7

solution 확대행렬에 대하여 기본행연산을 시행하여 축약사다리꼴을 만들면 다음과 같다.

" # " # " # " #
1 1 2 3 : 2 1 1 2 3 : 2 1 1 2 3 : 2 ○1 1 0 1 : 4
∼ ∼ ∼
2 2 1 3 : 7 0 0 −3 −3 : 3 0 0 1 1 : −1 0 0 ○
1 1 : −1

축약사다리꼴을 연립방정식으로 바꾸면 다음과 같다.

(
x1 + x2 + x4 = 4
x3 + x4 = −1

이때 피봇열이 아닌 변수들인 x2 , x4 가 자유변수이고 이를 x2 = t, x4 = s라고 놓자. 그러면, 해는 다음과 같다.




 x1 =4−t−s


x 2

=t
t, s ∈ R



 x3 = −1 − s


x4 =s


2. 가우스 소거법을 사용하여 다음 A의 역행렬을 계산하여라. 또한, 그 역행렬을 기본행렬의 곱형태로 표현하여라.
 
0 1 1
 
A= 1 0 1

1 1 0

solution [A : I3 ]에 대한 기본행연산 결과와 그때 사용된 기본행렬들은 다음과 같다.

 
0 1 1 : 1 0 0
 
[A : I3 ] = 
1 0 1 : 0 1 0

1 1 0 : 0 0 1
   
1 0 1 : 0 1 0 0 1 0
   
∼0 1 1 : 1 0 0 ,
 E1 = E12 = 
1 0 0

1 1 0 : 0 0 1 0 0 1
   
1 0 1 : 0 1 0 1 0 0
   
∼ 0 1 1 : 1 0 0 ,
  E2 = E13 (−1) =  0
 1 0

0 1 −1 : 0 −1 1 −1 0 1

1
    
1 0 1 : 0 1 0 1 0 0
   
∼ 0
 1 1 : 1 0 ,
0 E3 = E23 (−1) = 0
 1 0

0 0 −2 : −1 −1 1 −1 0 1
   
1 0 1 : 0 1 0 1 0 0
   
∼ 0
 1 1 : 1 0 0  , E4 = E3 (−1/2) = 
0 1 0  
0 0 1 : 1/2 1/2 −1/2 0 0 −1/2
   
1 0 1 : 0 1 0 1 0 0
   
∼ 0
 1 0 : 1/2 −1/2 1/2  , E5 = E32 (−1) = 
0 1 −1

0 0 1 : 1/2 1/2 −1/2 0 0 1
   
1 0 0 : −1/2 1/2 1/2 1 0 −1
   
∼ 0
 1 0 : 1/2 −1/2 1/2  , E6 = E31 (−1) = 
0 1 0 

0 0 1 : 1/2 1/2 −1/2 0 0 1

따라서, A의 역행렬과 역행렬을 기본행렬의 곱형태로 나타내면 다음과 같다.

 
−1/2 1/2 1/2
A−1 = 
 
 1/2 −1/2 1/2  = E6 E5 E4 E3 E2 E1

1/2 1/2 −1/2

3. 다음 세 벡터 c1 , c2 , c3 에 대하여 물음에 답하여라.

c1 = (1, 1, 0, 1), c2 = (1, 0, 1, 1), c3 = (0, 1, 1, 1)

(1) {c1 , c2 , c3 }에서 선형독립인 벡터의 최대수는 얼마인가?

(2) 벡터방정식 x1 c1 + x2 c2 + x3 c3 = b의 해가 존재할 a의 조건을 계수정리를 사용하여 찾아라. 여기서 b = (1, 1, 1, a)이다.

solution (1) 주어진 세 벡터는 선형독립이므로 최대 세 개가 독립이다. 왜냐면

xc1 + yc2 + zc3 = 0 ⇒ (x + y, x + z, y + z, x + y + z) = (0, 0, 0, 0) ⇒ x=y=z=0

(2) 벡터방정식 x1 c1 + x2 c2 + x3 c3 = b에 해당하는 연립방정식은 다음과 같다.



x1 + x2 =1



x1
 + x3 = 1
x 1 c1 + x 2 c2 + x 3 c3 = b ⇔ ⇔ Ax = b


 x2 + x3 = 1



x1 + x2 + x3 = a


먼저 (1)에서 세 열벡터는 독립이므로 ρ(A) = 3이다. 따라서, ρ(Ab ) ≥ 3이다.

이때 확대행렬 [A : b]는 4 × 4이므로 det([A : b]) = 0이면 ρ([A : b]) < 4이어야 한다. 그러면 ρ([A : b]) = 3 = ρ(A)이므로

2
계수정리에 의해 해가 존재한다.

1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1
1 0 1 1 0 −1 1 0 0 −1 1 0 0 −1 1 0
det([A : b]) = = = = = −(2a − 3) = 0
0 1 1 1 0 1 1 1 0 0 2 1 0 0 2 1
1 1 1 a 0 0 1 a−1 0 0 1 a−1 0 0 0 a − 3/2

따라서, a = 3/2이다.

다른방법으로 기본행연산을 통해 확대행렬의 피봇의 수가 3이 되도록 a를 결정해도 된다.