Chương 1: Không gian affine và phẳng - Đại số tuyến tính | Đại học Sư Phạm Hà Nội

Chương 1: Không gian affine và phẳng - Đại số tuyến tính | Đại học Sư Phạm Hà Nội với những kiến thức và thông tin bổ ích giúp sinh viên tham khảo, ôn luyện và phục vụ nhu cầu học tập của mình cụ thể là có định hướng, ôn tập, nắm vững kiến thức môn học và làm bài tốt trong những bài kiểm tra, bài tiểu luận, bài tập kết thúc học phần, từ đó học tập tốt và có kết quả cao cũng như có thể vận dụng tốt những kiến thức mình đã học vào thực tiễn cuộc sống

Chương 1
Không gian affine và phẳng
1.1 Không gian affine
Hình học cổ điển trong chương trình phổ thông trung học (PTTH) được xây dựng với các đối
tượng bản điểm, đường thẳng, mặt phẳng và một hệ tiên đề qui định những mối “quan hệ”
ban đầu giữa chúng. Hình học định nghĩa theo cách y ưu điểm trực quan, dễ trình bày
và phù hợp với khả năng tiếp thu cũng như trình độ của học sinh PTTH, nhưng nhược điểm
sẽ gặp khó khăn khi mở rộng cho trường hợp nhiều chiều sẽ quá nhiều đối tượng bản
(các phẳng) và theo đó chắc chắn sẽ một hệ thống tiên đề phức tạp. Hơn nữa nhiều chứng minh
trong hình học cổ điển thường đòi hỏi sự khôn ngoan, mưu mẹo thường không phương pháp
thống nhất. Sau các thành tựu của đại số và nhất của Đại số tuyến tính, người ta đã tìm thấy
một cách trình bày lại hình học cổ điển đơn giản hơn, dưới dạng tổng quát hơn và phương pháp
nghiên cứu một cách thống nhất (phương pháp tọa độ). Hình học affine được xây dựng với chỉ hai
đối tượng bản điểm, vector cùng với 8 tiên đề về vector và hai tiên đề về điểm. Các chứng
minh trong hình học affine đa số ngắn gọn và chủ yếu sử dụng các thành tựu của Đại số tuyến
tính. Các khái niệm như các phẳng (đường thẳng và mặt phẳng các phẳng 1-chiều và 2-chiều)
sẽ định nghĩa của chúng. thể những định nghĩa khác nhau (nhưng tương đương) v một
không gian affine (Bài tập ?? một dụ) nhưng định nghĩa dưới đây một định nghĩa kinh
điển được trình bày trong hầu hết các giáo trình v Hình học affine Việt Nam.
1.1.1 Không gian affine
Định nghĩa 1. Cho V một không gian vector trên trường K và A một tập hợp khác rỗng
các phần tử của được gọi điểm. Các vector, để thuận tiện cho việc trình y cũng như
để tính trực quan, thường được hiệu bằng các chữ thường với một mũi tên bên trên như
x ,
y , . . . ,
u ,
v . . . ; còn các điểm thường được hiệu bằng các chữ hoa A, B, C . . . , M, N, P, . . . .
Giả sử ánh xạ
Φ : A × A V
(M, N ) 7− Φ( )M, N
thoả mãn hai điều kiện sau:
1
Hình học affine và Euclid
1. với điểm
M A và vector
v
V, một chỉ một điểm N A sao cho Φ(M, N) =
v ;
2. với ba điểm M, N, P tuỳ ý của A ta luôn luôn
Φ( )M, N ) + Φ(N, P ) = Φ(M, P .
Khi đó ta nói A một không gian affine, hay đầy đủ hơn A không gian affine trên trường K
liên kết với không gian vector V bởi ánh xạ liên kết .Φ
V được gọi không gian vector liên kết với (hay không gian nền của) A và thường được hiệu
lại
A . Còn Φ được gọi ánh xạ liên kết để thuận tiện cũng như trực quan hơn ta thay
hiệu
Φ(M, N ) bằng
MN. Khi đó các điều kiện trong định nghĩa thể được viết lại như sau:
1.
M A,
v
A
; ! N A,
MN
=
v ;
2.
M, N, P A;
MN
+
NP
=
MP.
Đẳng thức trong điều kiện 2 của định nghĩa được gọi hệ thức Chasles.
Khi K = R, ta nói A một không gian affine thực. Khi K = C, ta nói A một không gian affine
phức.
Đôi khi ta nói A một K-không gian affine để nhấn mạnh về trường K.
(
A,
A , Φ) hiệu đầy đủ của một không gian affine. Trong trường hợp không điều y
nhầm lẫn, để đơn giản ta chỉ ghi vắn tắt A(K) hoặc A.
Khi
A không gian vector n-chiều thì ta nói A không gian affine n-chiều dùng hiệu A
n
để nhấn mạnh về số chiều của A. hiệu số chiều của A dim A. Như vậy
dim
A = dim
A .
Trong giáo trình này, nếu không nói thêm thì không gian affine không gian affine n-chiều
và trường K sẽ trường số thực hoặc trường số phứcR C. Tuy vậy, một số chương như các
chương liên quan đến siêu mặt bậc hai chỉ sẽ chú trọng đến việc trình y trong không gian thực.
Các vấn đề liên quan đến không gian phức sẽ được giới thiệu trong các phụ lục. Các không gian
affine trên một trường K tùy ý như K trường hữu hạn, K trường đặc số khác không . . . sẽ
các đề tài dành cho sinh viên làm tiểu luận, niên luận, khóa luận hoặc đề tài nghiên cứu.
1.1.2 Các dụ
dụ 1. Đối với hình học giải tích PTTH, chúng ta cần phân biệt không gian ba chiều thông
thường, không gian chỉ gồm các điểm, hiệu E
3
và không gian các vector “tự do”, hiệu
E
3
. Phép cọng vector và phép nhân vector với một số thực chứng tỏ
E
3
một không gian vector
2
Hình học affine và Euclid
ba chiều. Khi đó việc “vẽ” vector nối hai điểm A và B chính ánh xạ liên kết Φ. Chúng ta E
3
một không gian affine liên kết với
E
3
thể kiểm tra dễ dàng ánh xạ
Φ :
E E
3
×
3
E
3
(
A, B) 7−
AB
thoả mãn các điều kiện nêu trong Định nghĩa 1.
dụ 2. Cho V không gian vector trên trường K. Ánh xạ
Φ : V × V V
(
u ,
v
) 7− Φ(
u ,
v
) :=
v
u
ràng thoả mãn các điều kiện của Định nghĩa 1 nên V không gian affine liên kết với chính
nó. Ta nói Φ xác định một cấu trúc affine chính tắc trên không gian vector V hay V không gian
affine với cấu trúc affine chính tắc.
Trường hợp đặc biệt, V = K
n
= K × K · · · × K
| {z }
n
một không gian affine n chiều với cấu trúc affine
chính tắc.
Với dụ này chúng ta thấy mỗi không gian vector một không gian affine. Ngược lại chúng ta
thể đưa cấu trúc vector vào không gian affine A bằng cách chọn cố định một điểm O A và
đồng nhất mỗi điểm
M A với vector
OM
A (xem Bài tập ??). Như vậy chúng ta thấy không
gian affine và không gian vector cùng chiều (ví dụ không gian nền của chẳng hạn) chỉ “khác”
nhau “một điểm cố định”.
Chú ý. Các bài tập mục này sẽ cho chúng ta thêm một số dụ về “chuyển cấu trúc affine”
từ một không gian affine vào một không gian bất kỳ nhờ một song ánh; tích của hai không gian
affine (là một không gian affine); không gian affine thương và một định nghĩa khác (tương đương
với Định nghĩa 1) của không gian affine v.v. . . .
1.1.3 Một số tính chất đơn giản suy ra từ định nghĩa
Sau đây một số tính chất đơn giản suy ra từ định nghĩa của không gian affine.
Với mọi M, N, P, Q A, ta
1.
MN
=
0 khi chỉ khi M = N,
2.
MN
=
NM,
3.
MN
=
P Q
khi chỉ khi
MP
=
NQ,
4.
MN
=
P N
P M.
Chứng minh.
3
Hình học affine và Euclid
1. Giả sử M = N. Theo hệ thức Chasles ta
MM
+
MM
=
MM.
Do đó
MM
=
0 .
Ngược lại, nếu
MN
=
0
thì theo chứng minh trên ta cũng
MM
=
0 . Do đó, theo điều
kiện thứ nhất trong Định nghĩa 1, ta M = N.
2. Theo hệ thức Chasles ta
MN
+
NM
=
MM
=
O .
Do đó
MN
=
NM.
3. Ta
MN
=
P Q
MN
+
NP
=
NP
+
P Q
MP
=
NQ.
4. Suy ra từ hệ thức Chasles và tính chất 2. 2
1.2 Phẳng-Độc lập affine và ph thuộc affine-Bao affine
1.2.1 Phẳng
Phẳng khái niệm mở rộng theo số chiều của các khái niệm quen thuộc như điểm (0-chiều), đường
thẳng (1-chiều) và mặt phẳng (2-chiều). Trong E
3
, một đường thẳng d được hoàn toàn xác định
nếu như chúng ta biết một điểm
P d và một vector chỉ phương
v của nó. Một mặt phẳng α
được hoàn toàn xác định nếu như chúng ta biết một điểm P α và một cặp vector chỉ phương
{
u ,
v } của nó. Chúng ta thể tả đường thẳng d và mặt phẳng α như sau
d
= {M E
3
:
P M
= a
v ; a R},
α
= {M E
3
:
P M
= a
u
+ b
v ; a, b . R}
Theo cách tả này, định nghĩa sau đây hoàn toàn tự nhiên
Định nghĩa 2.
Cho (A,
A
, Φ) một không gian affine, P một điểm thuộc A và
α một
không gian vector con của
A . Tập hợp
α
= {M A :
P M
α }
gọi
phẳng đi qua P với (không gian chỉ) phương
α .
Nếu
dim
α = m, ta nói α một phẳng m-chiều hay một m-phẳng và viết dim α = m. Như vậy
dim
α = dim
α .
4
Hình học affine và Euclid
P M
v
Hình 1.1: Đường thẳng được xác định bởi một
điểm một vector chỉ phương.
P
M
a
b
Hình 1.2: Mặt phẳng được xác định bởi một
điểm một cặp vector chỉ phương.
Theo cách gọi thông thường, 1-phẳng đường thẳng, còn 2-phẳng mặt phẳng. Siêu phẳng tên
gọi của phẳng đối chiều 1, tức nếu số chiều của không gian n thì số chiều của siêu phẳng
sẽ n 1.
Nhận xét.
1. Nếu
α phẳng đi qua điểm P thì P α và M, N α, vector
MN
=
P N
P M
α .
2. 0-phẳng tập chỉ gồm một điểm. Do đó ta thể xem một điểm một 0-phẳng.
3. Điểm P trong định nghĩa của phẳng α không đóng vai trò đặc biệt so với các điểm khác
của α, điểm P bình đẳng với mọi điểm của α. Điều này nghĩa là:
{
Q α; α = M A :
QM
α }.
4. Giả sử
α phẳng đi qua P với phương
α
và β phẳng đi qua Q với phương
β . Khi đó
α
β khi và chỉ khi P β và
α
β .
Từ đó suy ra
α β khi và chỉ khi P β (hay Q α) và
α
β .
5. Nếu
α phẳng với phương
α
thì α không gian affine liên kết với
α bởi ánh xạ liên kết
Φ
|
α×α
: α × α
α .
Chính thế chúng ta thể xem phẳng không gian affine con.
Để xác định phương
α
của một m-phẳng α chúng ta chỉ cần biết một sở của
α đủ. Chính
thế PTTH người ta dùng các khái niệm vector chỉ phương của một đường thẳng và cặp vector
chỉ phương của một mặt phẳng thay cho khái niệm không gian chỉ phương của chúng.
Do đó, trong trường hợp nhiều chiều chúng ta thể dùng tên gọi hệ vector chỉ phương để chỉ một
sở của không gian chỉ phương. điều đáng c ý một m-phẳng chỉ một không gian chỉ
phương duy nhất nhưng số hệ vector chỉ phương khác nhau.
5
Hình học affine và Euclid
1.2.2 Độc lập affine và phụ thuộc affine
Các khái niệm độc lập affine phụ thuộc affine trong Hình học affine các khái niệm tương tự
các khái niệm độc lập tuyến tính và phụ thuộc tuyến tính trong Đại số tuyến tính.
1.2.3 Độc lập affine và phụ thuộc affine
Định nghĩa 3. Hệ m + 1 điểm {A
0
, A , . . . , A
1 m
} (m 1) của không gian affine A được gọi độc
lập affine
nếu hệ m vector {
A
0
A
1
,
A
0
A
2
, . . . ,
A
0
A
m
} của
A một hệ vector độc lập tuyến tính.
Hệ điểm không độc lập affine gọi phụ thuộc affine.
Chú ý.
1. Trong giáo trình này, cũng như trong một số các giáo trình về ĐSTT, khái niệm hệ vector
khác với khái niệm tập hợp, mặc dùng hiệu như nhau. Trong một số giáo trình khác,
nhiều tác giả sử dụng hiệu ( ) để chỉ một hệ vector.
2. Đối với hệ các điểm, đôi khi chúng ta sẽ nói vắn tắt độc lập và phụ thuộc thay cho cụm từ
độc lập affine phụ thuộc affine. Còn khi nói v hệ các vector thì các cụm từ độc lập và
phụ thuộc sẽ thay cho độc lập tuyến tính phụ thuộc tuyến tính.
3. Tập gồm chỉ một điểm A
0
bất kỳ (trường hợp m = 0) luôn được qui ước độc lập.
4. Trong định nghĩa trên điểm A
0
bình đẳng như các điểm khác dễ chứng minh rằng (chứng
minh xin dành cho bạn đọc), hệ
{
A
0
A
1
,
A A
0 2
, . . . ,
A
0
A
m
} độc lập tuyến tính khi và chỉ khi
hệ vector
{
A A
i 0
, . . . ,
A A
i i1
,
A
i
A
i+1
, . . . ,
A
i
A
m
}, i {1, 2, ..., m}
độc lập tuyến tính.
5. Hệ
{A
0
, A , . . . , A
1 m
} phụ thuộc affine khi và chỉ khi hệ vector {
A A
0 1
,
A
0
A
2
, . . . ,
A
0
A
m
} phụ
thuộc tuyến tính.
6. Hệ con của một hệ độc lập độc lập, còn hệ con của một hệ phụ thuộc thì chưa chắc đã
phụ thuộc.
dụ 3. 1. Hệ hai điểm {P, Q} trong A độc lập khi chỉ khi P 6= Q.
2. Hệ ba điểm {P, Q, R} trong A độc lập khi và chỉ khi chúng không thuộc một đường thẳng
(không thẳng hàng).
3. Hệ bốn điểm {P, Q, R, S} trong A độc lập khi và chỉ khi chúng không cùng thuộc một
mặt phẳng (không đồng phẳng).
4. Tổng quát, hệ m + 1 điểm {A
0
, A
1
, ..., A
m
} trong A độc lập khi chỉ khi chúng không
cùng thuộc một ( 1)m -phẳng.
6
Hình học affine và Euclid
Định 1.2.1. Trong không gian affine n chiều A
n
, với 0 < m n + 1, luôn tồn tại các hệ m
điểm độc lập. Mọi hệ gồm hơn n + 1 điểm đều phụ thuộc.
Chứng minh.
Giả sử {
e
1
,
e
2
, . . . ,
e
n
} một sở nào đó của
A
n
. Lấy A
0
A
n
. Khi đó tồn tại
duy nhất các điểm A
i
sao cho
A A
0 i
=
e
i
, i = 1, 2, . . . , n.
Theo định nghĩa, hệ {A
0
, A
1
, A , . . . , A
2 n
} hệ gồm n + 1 điểm độc lập. Khi đó, nhiên hệ
{A
0
, A , A
1 2
, . . . , A
m1
}, với 0 < m n + 1, hệ gồm m điểm độc lập.
Nếu hệ
{B
0
, B , B , . . . , B
1 2 p
} gồm hơn n + 1 điểm, tức p > n, thì hệ {
B B
0 1
,
B B
0 2
, . . . ,
B B
0 p
}
hệ nhiều hơn n vector nên phụ thuộc tuyến tính. Theo định nghĩa, hệ gồm p + 1 điểm
{B
0
, B , B
1 2
, . . . , B
p
} ph thuộc affine. 2
1.2.4 Giao của các phẳng-Bao affine
Cho {α
i
: i I} một họ không rỗng các phẳng trong không gian affine A.
Định 1.2.2.
Nếu
T
iI
α
i
6= thì
T
iI
α
i
một phẳng phương
T
iI
α
i
.
Chứng minh.
T
iI
α
i
6= nên tồn tại P
T
iI
α
i
. Điểm M
T
iI
α
i
khi và chỉ khi
M
α
i
, i I; tức khi và chỉ khi
P M
α
i
, i I. Điều này tương đương với
P M
T
iI
α
i
.
Nói cách khác
\
i I
α
i
= {M A :
P M
\
i I
α
i
},
nghĩa
T
iI
α
i
phẳng đi qua P với không gian chỉ phương
T
iI
α
i
. 2
Định nghĩa 4.
Phẳng
T
iI
α α .
i
trong Định 1.2.2 được gọi phẳng giao của các phẳng
i
Từ định nghĩa trên, chúng ta dễ nhận thấy rằng
T
iI
α
i
chính phẳng lớn nhất (theo quan hệ
bao hàm) chứa trong tất cả các phẳng α I.
i
, i
Định nghĩa 5. Cho X một tập con khác rỗng của không gian affine A. Khi đó giao của mọi
phẳng chứa X trong A sẽ một cái phẳng, gọi bao affine của X, hiệu h iX .
Bao affine hXi của tập X cái phẳng bé nhất (theo quan hệ bao hàm) chứa X.
Định nghĩa 6.
Cho {α
i
: i I} một họ không rỗng các phẳng. Bao affine của tập hợp
S
iI
α
i
được gọi
phẳng tổng (hay vắn tắt tổng) của các phẳng α
i
, hiệu
P
iI
α .
i
Như vậy phẳng tổng phẳng nhất (có số chiều nhất) chứa tất cả các α I.
i
, i
Khi
I tập hữu hạn, chẳng hạn I = {1 2, , . . . , m} thì ta viết α α α
1
+
2
+ . . . +
m
hay
P
m
i
=1
α
i
để
biểu thị cho tổng của các phẳng
α
i
, thay cho
P
iI
α .
i
7
Hình học affine và Euclid
Dễ thấy rằng nếu X một hệ hữu hạn điểm, X = {P
0
, P , . . . , P
1 m
}, thì tổng P P
0
+
1
+ . . . + P
m
(xem các P
i
các 0-phẳng) phẳng số chiều bé nhất đi qua các điểm y. Hơn nữa dim( +P
0
P P
1
+ . . . +
m
) = rank{
P
0
P
1
,
P
0
P
1
, . . .
P P P
0 m
}. Do đó, nếu hệ điểm {
0
, P , . . . , P
1 m
} độc lập thì
dim(P
0
+ P
1
+ . . . + P
m
) = m.
Chứng minh nhận xét y xin dành cho bạn đọc.
Định 1.2.3. Cho α β hai cái phẳng. Nếu α β 6= thì với mọi điểm P α với
mọi điểm ta có
Q β
P Q
α
+
β . Ngược lại nếu điểm có điểmP α Q β sao cho
P Q
α
+
β thì α β 6= .
Chứng minh. Giả sử α β 6 = . Lấy điểm M α β. Khi đó với mọi điểm P α và với mọi
điểm
Q β, ta
P M
α
và
MQ
β . Do đó
P Q
=
P M
+
MQ
α
+
β .
Ngược lại giả sử điểm
P α và điểm Q β sao cho
P Q
α
+
β .
Do
P Q
α
+
β nên
P Q
=
u
+
v
; với
u
α ,
v
β .
Khi đó tồn tại duy nhất điểm
M α và tồn tại duy nhất điểm N β sao cho
P M
=
u và
QN
=
v
. Do đó,
P Q
=
P M
QN
hay
P Q
+
QN
=
P N
=
P M nên N M, tức
α β 6 = . 2
Chúng ta định sau nói về số chiều của tổng hai cái phẳng, tương tự như định nói về số
chiều của tổng hai không gian vector con.
Định 1.2.4.
Giả sử α β hai cái phẳng với phương lần lượt
α
β . Khi đó
1. nếu α β 6= thì
dim( dim( );α + β) = dim α + dim β α β
2. nếu α β = thì
dim( dim(
α + β) = dim α + dim β
α
β ) + 1.
Chứng minh.
1. Nếu
α β 6= thì theo Định 1.2.2, α β phẳng phương
α
β . Lấy P α β và
gọi
γ phẳng đi qua P với phương
γ
=
α
+
β . ràng α γ và β γ. Ngoài ra nếu
phẳng
γ
0
chứa α và β thì P γ
0
phương của γ
0
phải chứa
α
và
β . Nói cách khác ta
γ γ
0
. Vậy γ phẳng nhất chứa α và β, tức γ = α + β. Do đó
dim(
α + β) = dim γ = dim
γ
= dim(
α
+
β )
= dim
α
+ dim
β
dim(
α
β )
= dim α + dim β dim( )α β .
8
Hình học affine và Euclid
2. Giả sử
α β = . Lấy P α và Q β, theo Định 1.2.3 ta
P Q
6∈
α
+
β
. Gọi
γ
không gian con một chiều sinh bởi
P Q,
ta (
α
+
β
)
γ
= {
0 }. Gọi η phẳng đi qua
P
với phương
α
+
β
+
γ thì ràng α η và β η. Do đó α + β η.
Ngoài ra nếu
η
0
phẳng chứa α và β thì P η
0
phương
η
0
của η
0
phải chứa
α ,
β
và
γ .
Do đó η η
0
. Từ đây suy ra rằng η cái phẳng nhất chứa cả α và β, hay nói cách khác
η = α + β.
Do
dim((
α
+
β
)
γ ) = 0 nên ta
dim(α + β) = dim η
= dim(
α
+
β
+
γ )
= dim
α
+ dim
β
+ dim
γ
dim(
α
β )
= dim
α + dim β + 1 dim(
α
β ).
2
1.3 Vị trí tương đối
Mục này nêu các định nghĩa về các vị trí tương đối thể xảy ra giữa hai phẳng như cắt nhau,
chéo nhau và song song. Cần phải c ý các định nghĩa nêu mục này không hoàn toàn giống
như các định nghĩa tương tự PTTH. Các dụ ngay sau định nghĩa sẽ giúp chúng ta thấy
sự khác nhau này. do chọn các định nghĩa như thế này để các phát biểu liên quan đến các
vị trí tương đối giữa các phẳng được phát biểu một cách đơn giản và ngắn gọn hơn. Cũng thể
trình bày các định nghĩa sao cho phù hợp với các định nghĩa đã biết PTTH. Vấn đề này được
đưa vào phần bài tập (xem Bài tập ??).
Định nghĩa 7. Hai phẳng α và β được gọi cắt nhau cấp r nếu α β một r - phẳng. Chúng
được gọi
chéo nhau cấp r nếu α β = và dim(
α
β ) = r. Chúng được gọi song song (với
nhau) nếu
α
β
hoặc
β
α .
dụ 4. Xét trong không gian 3 chiều thông thường E
3
.
1. Hai đường thẳng “cắt nhau theo nghĩa PTTH” hai 1-phẳng cắt nhau cấp 0. Tổng của
chúng mặt phẳng duy nhất xác định bởi hai đường thẳng đó.
2. Hai mặt phẳng “cắt nhau theo nghĩa PTTH” hai 2-phẳng cắt nhau cấp 1. Tổng của
chúng chính .E
3
3. Hai đường thẳng “song song theo nghĩa PTTH” hai 1-phẳng song song. Chúng cũng
hai 1-phẳng chéo nhau cấp 1. Tổng của chúng chính mặt phẳng chứa hai đường thẳng đó.
4. Tương tự, hai mặt phẳng “song song theo nghĩa PTTH” hai 2-phẳng song song. Chúng
cũng hai 2-phẳng chéo nhau cấp 2.
5. Hai đường thẳng “chéo nhau theo nghĩa PTTH” hai 1-phẳng chéo nhau cấp 0. Tổng của
chúng chính .E
3
9
Hình học affine và Euclid
Hình 1.3: Hai mặt phẳng song song hay hai
mặt phẳng chéo nhau cấp 2.
d
Hình 1.4: Đường thẳng song song với mặt
phẳng hay đường thẳng và mặt phẳng chéo
nhau cấp 1.
6. Theo Định 1.2.4, trong E
3
không tồn tại hai mặt phẳng chéo nhau cấp 0 hoặc cấp 1.
Định 1.3.1. Cho hai phẳng song song α β. Nếu α β 6= thì α β hoặc β α.
Chứng minh.
Do
α và β điểm chung nên giao α β một phẳng với phương
α
β . Do α và β song song
nên
α
β
hoặc
β
α .
Nếu
α
β
thì α β = α tức α β. Nếu
β
α thì α β = β,
tức β α. 2
Định 1.3.2. Qua một điểm A một chỉ một m-phẳng song song với m-phẳng α đã cho.
Chứng minh.
Gọi β m-phẳng đi qua A với phương
α . Khi đó β phẳng m-chiều song
song với
α. Nếu β
0
cũng m-phẳng đi qua A và song song với α thì suy ra
β
0
=
β
(=
α ). Do β
và β
0
điểm chung nên theo Định 1.3.1 ta suy ra β β
0
. 2
Hình 2.
Định 1.3.3. Trong không gian affine n chiều A
n
cho một siêu phẳng α một m-phẳng
β (1 m n 1). Khi đó α β hoặc song song hoặc cắt nhau theo một ( 1)m -phẳng.
Chứng minh. Nếu β α thì theo định nghĩa ta α và β song song.
Nếu β 6⊂ α, thì α + β = A. Ta hai trường hợp.
10
Hình học affine và Euclid
Hình 1.5: Hai mặt phẳng cắt nhau cấp 1.
d
Hình 1.6: Đường thẳng thuộc mặt phẳng hay
đường thẳng và mặt phẳng cắt nhau cấp 1.
1. Trường hợp 1: α β 6 = . Áp dụng công thức 1 của Định 1.2.4 ta
dim A = dim α + dim β dim( )α β ,
hay
n = n 1 + m dim(α β).
Suy ra dim( 1α β) = m .
Vậy α và β cắt nhau theo một ( 1)m -phẳng (cắt nhau cấp m 1).
2. Trường hợp 2: α β = . Áp dụng công thức 2 của Định 1.2.4 ta
n
= n 1 + m + 1 dim(
α
β ).
Suy ra
dim(
α
β
) = m. Điều này chứng tỏ
α
β
=
β
, hay
β
α , tức α β song
song. 2
1.4 Mục tiêu affine-Phương trình của phẳng
Trong mục này chúng ta sẽ đưa vào không gian affine một “hệ tọa độ”. Nhờ “hệ tọa độ” này các
đối tượng hình học như điểm, phẳng và sau này siêu mặt bậc hai v.v. . .sẽ được đồng nhất với
đối tượng đại số như tọa độ (phần tử của K
n
), phương trình, hệ phương trình đại số . . . . Nhờ vậy,
chúng ta thể áp dụng Đại số tuyến tính vào việc nghiên cứu các đối tượng hình học (phương
11
Hình học affine và Euclid
pháp tọa độ trong hình học). Bắt đầu từ đây chúng ta sẽ thấy dần vai trò của Đại số tuyến tính
trong việc nghiên cứu hình học affine. Đại số tuyến tính cũng đóng vai trò chính trong việc y
dựng và nghiên cứu Hình học xạ ảnh. Điều này giải thích do Hình học affine cùng với Hình học
xạ ảnh, trong chương trình Hình học dành cho Sinh viên phạm Toán, được gọi chung một cái
tên Hình học tuyến tính. Chúng ta sẽ thấy nhiều kết quả của Hình học affine (và sau này các
kết quả trong Hình học xạ ảnh) chính các kết quả của Đại số tuyến tính được “trình bày" lại
theo ngôn ngữ hình học.
1.4.1 Mục tiêu và tọa độ affine
Trong Hình học giải tích PTTH hai hệ tọa độ thường được dùng hệ tọa độ Descartes, hệ tọa
độ gồm 1 điểm gốc O và một hệ các vector trực chuẩn; hệ tọa độ trực giao, hệ tọa độ gồm 1 điểm
gốc O và một hệ các vector trực giao. Hệ tọa độ affine (hệ tọa độ xiên), ít được thấy giới thiệu
trong các sách của PTTH.
Định nghĩa 8.
Cho A
n
một không gian affine n chiều. Hệ {O;
e
1
,
e
2
, . . . ,
e
n
}, gồm một điểm
O
A
n
và một cở sở {
e
1
, . . . ,
e
n
} của
A
n
, được gọi một mục tiêu affine (hay vắn tắt )mục tiêu
của
A
n
. Điểm O được gọi gốc, vector
e
i
được gọi vector cơ sở thứ i, i = 1, 2, ..., n.
Để chỉ mục tiêu
{O;
e
1
,
e
2
, . . . ,
e
n
} thường chúng ta sẽ viết {O;
e
i
}
i=1,2,...,n
hay đơn giản hơn nữa
{O;
e .
i
}
Giả sử
{O;
e
i
} một mục tiêu của không gian affine A
n
. Khi đó với mọi M A
n
, vector
OM
A
n
, nên ta biểu diễn tuyến tính của
OM
qua sở {
e
i
}:
OM =
n
X
i=1
x
i
e .
i
Điều này nghĩa vector
OM
tọa độ (x
1
, x , . . . , x
2 n
) đối với sở {
e
i
}, x
i
K, i = 1, 2, . . . , n.
Khi đó bộ (x
1
, x , . . . , x
2 n
) K
n
, viết tắt ( )x
i
, cũng được gọi tọa độ của M đối với (hay trong)
mục tiêu
{O;
e
i
} và x
i
được gọi tọa độ thứ i của M . Để chỉ điểm M tọa độ (x
i
) đối với mục
tiêu
{O;
e
i
}, ta thường dùng một trong các hiệu
M(x
1
, x , . . . , x
2 n
)/
{O;
e
i
}
hoặc M(x
i
)/
{O;
e
i
}
.
Tuy nhiên nếu không gây nhầm lẫn, ta chỉ viết
M(x
1
, x , . . . , x
2 n
) hay M( )x
i
.
Giả sử
M tọa độ (x
i
) N tọa độ (y
i
) đối với mục tiêu affine {O;
e
i
}, ta
MN
=
ON
OM =
n
X
i=1
y
i
e
i
n
X
i=1
x
i
e
i
=
n
X
i=1
( )
y
i
x
i
e .
i
Hay vector
MN
tọa độ (y
i
x
i
) đối với sở {
e .
i
}
12
Hình học affine và Euclid
Như vậy, “tọa độ của vector bằng tọa độ của điểm ngọn trừ đi tọa độ của điểm gốc”.
Nhận xét.
1. Giả sử trên
A
n
đã chọn mục tiêu cố định {O;
e
i
}. Xét ánh xạ
ϕ
: A K
n
M 7− ( )x
i
với
(x
i
) tọa độ của M đối với mục tiêu affine {O;
e
i
}. Ta ϕ một song ánh. Ánh xạ
này cho phép đồng nhất mỗi điểm của A với một phần tử của K
n
và nhờ đó sau này các đối
tượng hình học sẽ được đồng nhất với các đối tượng đại số.
2. Xét mục tiêu affine
{O;
e
i
} của A
n
và gọi E
i
A
n
, i = 1, ..., n các điểm sao cho
OE
i
=
e .
i
Khi đó hệ điểm {O, E
1
, E , . . . , E
2 n
} hệ điểm độc lập affine. Ngược lại một hệ gồm n + 1
điểm
{O, E , E , . . . , E
1 2 n
} độc lập xác định mục tiêu affine {O;
e
i
} với
e
i
=
OE
i
. Do đó
ta cũng gọi một hệ n + 1 điểm độc lập trong A
n
một mục tiêu affine và dùng hiệu
{ { {O; E
1
, E , . . . , E
2 n
} hoặc O; E
i
}
i=1,2,...,n
hoặc O; E
i
} để chỉ một mục tiêu với điểm gốc O.
Theo định nghĩa ta điểm O tọa độ (0 0, , . . . , 0) và điểm E
i
tọa độ (0 0 1 0 0), . . . , , , , . . . , ,
số 1 đứng vị trí thứ i, đối với mục tiêu affine
{O;
E .
i
}
3. Siêu phẳng đi qua n điểm độc lập O, E , E , . . . , E , E , . . . , E
1 2 i1 i+1 n
được gọi siêu phẳng
tọa độ thứ i. Dễ thấy điểm M thuộc siêu phẳng tọa độ thứ i khi chỉ khi x
i
= 0, với x
i
tọa độ thứ i của M.
1.4.2 Công thức đổi mục tiêu
Giả sử trong không gian affine
A
n
ta hai mục tiêu affine khác nhau {O;
e
i
} và {O
0
,
e
i
0
}. Một
điểm M A
n
sẽ hai bộ tọa độ khác nhau (x
i
) và (x
0
i
) tương ứng đối với chúng. Vấn đề cần
quan tâm tìm mối liên hệ giữa các bộ tọa độ này. Giả sử
OO
0
=
n
X
i=1
b
i
e ,
i
và
e
1
0
= c
11
e
1
+ c
21
e
2
+ . . . + c
n1
e
n
e
2
0
= c
12
e
1
+ c
22
e
2
+ . . . + c
n2
e
n
. . .
e
n
0
= c
1n
e
1
+ c
2n
e
2
+ . . . + c
nn
e
n
hay viết gọn
e
j
0
=
P
n
i
=1
c
ij
e
i
, j = 1, 2, . . . , n. Điểm M tọa độ trong hai mục tiêu đó theo thứ
tự (x
i
) và (x
0
i
), nghĩa
OM =
n
X
i=1
x
i
e
i
,
O
0
M =
n
X
j=1
x
0
j
e .
j
0
13
Hình học affine và Euclid
Ta
n
X
i=1
x
i
e
i
=
OM
=
OO
0
+
O
0
M =
n
X
i=1
b
i
e
i
+
n
X
j=1
x
0
j
e
j
0
=
n
X
i=1
b
i
e
i
+
n
X
j=1
x
0
j
n
X
i=1
c
ij
e
i
=
n
X
i=1
(
n
X
j=1
c
ij
x
0
j
+ b
i
)
e .
i
Do đó,
x
i
=
n
X
j=1
c
ij
x
0
j
+ b
i
, i = 1, 2, . . . , n. (1.1)
Công thức trên được viết dưới dạng tường minh
x
1
= c
11
x
0
1
+ c
12
x
0
2
+ +. . . c
1n
x
0
n
+ b
1
x x
2
= c
21
0
1
+ c
22
x
0
2
+ +. . . c
2n
x
0
n
+ b
2
. . .
x x
n
= c
n1
0
1
+ c
n2
x
0
2
+ . . . + c
nn
x
0
n
+ b
n
, (1.2)
hay dưới dạng ma trận
[ [
x] = C x
0
] + [b], (1.3)
với
C
=
c
11
c
12
. . . c
1n
c
21
c
22
. . . c
2n
.
.
.
.
.
.
.
.
.
.
.
.
c
n1
c
n2
. . . c
nn
ma trận chuyển sở từ sở
{
e
i
} sang sở {
e
i
0
}, do đó C không suy biến (det C 6= 0) và
[
x] =
x
1
x
2
.
.
.
x
n
,
[x
0
] =
x
0
1
x
0
2
.
.
.
x
0
n
,
[b] =
b
1
b
2
.
.
.
b
n
.
Công thức (1.1) (hay (1.2), (1.3)) và ma trận C lần lượt được gọi công thức đổi tọa độ (hay công
thức đổi mục tiêu
) và ma trận đổi tọa độ (hay ma trận đổi mục tiêu) từ mục tiêu {O;
e
i
} sang
mục tiêu
{O
0
;
e .
i
0
}
dụ 5.
Trong không gian affine A cho mục tiêu {O;
e
i
}. Giả sử O
0
điểm tọa độ (b
i
) đối
với mục tiêu
{O;
e
i
} và
e
i
0
=
e
1
+
e
2
+ . . . +
e
i
, i = 1, 2, . . . , n.
1. Do ma trận chuyển sở từ sở
{
e
i
} sang sở {
e
i
} ma trận đơn vị nên công thức đổi
tọa độ từ mục tiêu
{O;
e
i
} sang mục tiêu {O
0
;
e
i
} dạng
x
i
= x
0
i
+ b
i
, i = 1, 2, . . . , n.
14
Hình học affine và Euclid
2. Do ma trận chuyển sở từ sở
{
e
i
} sang sở {
e
i
0
} ma trận
C
=
1 1 1. . .
0 1 1. . .
.
.
.
.
.
.
.
.
.
.
.
.
0 0 1. . .
,
nên công thức đổi tọa độ từ mục tiêu
{O;
e
i
} sang mục tiêu {O;
e
i
0
} dạng
x x
i
=
0
i
+ x
0
i
+1
+ +. . . x
0
n
, i = 1, 2, . . . , n,
và công thức đổi tọa độ từ mục tiêu
{O;
e
i
} sang mục tiêu {O
0
;
e
i
0
} dạng
x
i
= x
0
i
+ x
0
i
+1
+ . . . + x
0
n
+ b
i
, i = 1, 2, . . . , n.
1.4.3 Phương trình của m-phẳng
Phương trình tham số.
Cho A
n
một không gian affine n chiều, với mục tiêu affine {O;
e
i
}
cho trước, và
α một m-phẳng đi qua điểm P với phương
α , 0 < m < n. Giả sử
OP =
n
X
i=1
b
i
e ,
i
và
{
a
1
,
a
2
, . . . ,
a
m
} một cở sở của
α , với
a
p
=
n
X
i=1
a
ip
e
i
; p = 1, 2, . . . , m.
Điểm
M tọa độ (x
i
) đối với mục tiêu {O;
e
i
} thuộc α khi và chỉ khi
P M
α , tức khi và
chỉ khi các phần tử t
p
K, p = 1, 2, . . . , m sao cho
P M =
m
X
p=1
t
p
a
p
.
Ta
P M
=
OM
OP =
n
X
i=1
x
i
e
i
n
X
i=1
b
i
e
i
=
n
X
i=1
( )
x
i
b
i
e
i
, (1.4)
và ta cũng
P M =
n
X
i=1
t
p
a
p
=
m
X
p=1
t
p
n
X
i=1
a
ip
e
i
=
n
X
i=1
(
m
X
p=1
a t
ip p
)
e
i
. (1.5)
Nên từ (1.4) và (1.5) ta suy ra
x
i
=
m
X
p=1
a t
ip p
+ b
i
, i = 1, 2, . . . , n. (1.6)
15
Hình học affine và Euclid
Hệ phương trình (1.6) được viết dưới dạng tường minh
x
1
= a t a t a t
11 1
+
12 2
+ . . . +
1m m
+ b
1
x
2
= a t a t a t
21 1
+
22 2
+ . . . +
2m m
+ b
2
. . .
x
n
= a t a t a t
n1 1
+
n2 2
+ . . . +
nm m
+ b
n
, (1.7)
hay dưới dạng ma trận
[ [x] = A t] + [b], (1.8)
với
A
=
a a
11 12
. . . a
1m
a a
21 22
. . . a
2m
.
.
.
.
.
.
.
.
.
.
.
.
a a
n1 n2
. . . a
nm
ma trận hạng bằng m và
[
x] =
x
1
x
2
.
.
.
x
n
,
[t] =
t
1
t
2
.
.
.
t
m
,
[b] =
b
1
b
2
.
.
.
b
n
.
Hệ phương trình (1.6), (1.7) và (1.8) thể viết dưới dạng vector
x
= t
1
a t
1
+
2
a t
2
+ . . . +
m
a
m
+
b (1.9)
với
x
vector tọa độ (x
1
, x , . . . , x
2 n
)
b vector tọa độ ( )b
1
, b , . . . , b
2 n
.
Hệ phương trình (1.6) (hay (1.7), (1.8), (1.9)) được gọi phương trình tham số của m-phẳng α
còn các phần tử t
p
, p = 1, 2, ..., m gọi các .tham số
Nhận xét.
1. Ánh xạ M α 7→ (t
1
, t
2
, ..., t
m
) K
m
một song ánh từ α lên K
m
. Như vậy, mỗi điểm
M α thể đồng nhất với một b m số.
2. Do hệ vector
{
a
1
,
a
2
, . . . ,
a
p
} độc lập nên ma trận A = (a
ip
)
n×m
hạng bằng m.
3. Ngược lại, dễ thấy một hệ phương trình dạng (1.6) (hay (1.7), (1.8), (1.9)) với hạng ma
trận hệ số A = (a
ip
)
n×m
bằng m sẽ phương trình của m-phẳng đi qua điểm P tọa độ
(
b
1
, b , . . . , b
2 n
) với không gian chỉ phương
α
một sở {
a
p
:
a
p
=
P
n
i
=1
a
ip
e
i
, p =
1 2, , . . . , m .}
dụ 6. Phương trình tham số của một đường thẳng α trong không gian affine n chiều dạng
x
i
= a
i
t + b
i
, i = 1, 2, . . . , n.
Trong đó t tham số, các phần tử a
1
, a , . . . , a
2 n
không đồng thời bằng 0 các thành phần tọa độ
của vector chỉ phương
a của α, (b
1
, b , . . . , b
2 n
) tọa độ của điểm P cho trước thuộc α còn ( )x
i
tọa độ của điểm tùy ý .M α
16
Hình học affine và Euclid
Phương trình tổng quát. Trong không gian affine n chiều A
n
cho m-phẳng α phương trình
tham số (1.7). Nếu xem phương trình tham số của α một hệ gồm n phương trình đối với m ẩn
t a
1
, t , . . . , t
2 m
còn các x
i
, i = 1, 2, . . . , n, các hằng thì từ điều kiện ma trận hệ số A = (
ip
)
n m×
hạng m ta thể chọn trong n phương trình của hệ một hệ gồm m phương trình độc lập (có
định thức của hệ khác không). Không mất tính tổng quát thể giả sử đó hệ gồm m phương
trình đầu. Giải hệ m phương trình đó (là hệ Crammer) ta tìm được các nghiệm t
1
, t , . . . , t
2 m
, biểu
thị một cách duy nhất (do đó các t
i
duy nhất) dưới dạng bậc nhất qua các x
1
, x , . . . , x
2 m
. Thay
m giá trị này của các t
i
vào n m phương trình còn lại ta thu được hệ phương trình dạng
m
X
j=1
c c
ij
x x
j
+
m+i
+
i
= 0, i = 1, 2, . . . , n m. (1.10)
Hay viết dưới dạng tường minh
c c
11
x x x
1
+ . . . + c
1m m
+
m+1
+
1
= 0
c c c
21
x
1
+ . . . +
2m
x x
m
+
m+2
+
2
= 0
. . .
c c c
(n m )1
x
1
+ . . . +
(n m )m
x x
m
+
n
+
nm
= 0
. (1.11)
Ma trận hệ số của hệ phương trình (1.10) hạng n m định thức con cấp n m ứng với
các ẩn x
m+1
, x , . . . , x
m+2 n
1 0 0 0. . .
0 1 0 0. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 1. . .
= 1 6= 0.
Mỗi điểm thuộc m-phẳng α sẽ tọa độ thỏa mãn hệ phương trình trên và ngược lại.
Tóm lại, mỗi m-phẳng trong không gian A
n
được biểu thị bằng một hệ phương trình tuyến tính
hạng bằng .n m
Ta sẽ chứng minh điều ngược lại, mỗi hệ phương trình tuyến tính dạng
c c
11
x
1
+ . . . +
1n
x
n
+ c
1
= 0
c c
21
x
1
+ . . . +
2n
x
n
+ c
2
= 0
. . .
c c
(n m )1
x
1
+ . . . +
(n m )n
x
n
+ c
nm
= 0
, (1.12)
với ma trận hệ số hạng bằng n m sẽ xác định một m-phẳng nào đó của A
n
.
Thật vậy, do hạng của ma trận hệ số bằng n m nên hệ phương trình (1.12) luôn nghiệm theo
Định Kronecker-Capelli. Gọi (b
1
, b , . . . , b
2 n
) một nghiệm của hệ và gọi ( ) =a
1j
, a , . . . , a
2j nj
, j
1 2, , . . . , m một hệ nghiệm bản của hệ phương trình tuyến tính thuần nhất tương ứng. Đặt
P
(b
1
, b
2
, . . . , b
n
) A
n
và
a a
j
(
1j
, a , . . . , a
2j nj
)
A
n
; j = 1, 2, . . . , m. Hệ vector {
a
j
} hệ vector
độc lập nên sinh ra một không gian con
m-chiều
α
của
A
n
. Chú ý rằng mỗi vector
u
α tọa
độ nghiệm của hệ phương trình tuyến thuần nhất tương ứng. Gọi α m-phẳng đi qua P với
phương
α thì do mỗi nghiệm của hệ phương trình tuyến tính tổng của một nghiệm riêng và
một nghiệm của hệ phương trình tuyến tính thuần nhất tương ứng nên ta dễ dàng suy ra điểm
17
Hình học affine và Euclid
M
(x
i
) α khi và chi khi (x
i
) nghiệm của hệ. Thật vậy, M α khi chỉ khi
P M
=
u
(u
i
)
α .
V phương diện tọa độ ta
( ( )x
i
) b
i
) = (u
i
,
hay
( )x
i
) = (b
i
) + (u
i
,
tức (x
i
) một nghiệm của hệ.
Như vậy, mỗi m-phẳng được đặc trưng bởi một hệ phương trình dạng (1.12) với ma trận hệ số
hạng bằng Ta gọi hệ phương trình dạng (1.12) n m. phương trình tổng quát của m-phẳng.
dụ.
1. Phương trình tổng quát của một siêu phẳng trong A
n
đối với một mục tiêu affine cho trước
dạng
n
X
i=1
a
i
x
i
+ b = 0, (1.13)
trong đó các phần tử a
i
K, i = 1, 2, . . . , n không đồng thời bằng không.
Như vậy từ phương trình tổng quát của m-phẳng, ta thể xem một -phẳng giao củam
n m siêu phẳng (độc lập) nào đó.
2. Phương trình tổng quát của siêu phẳng đi qua điểm P tọa độ (b
1
, b , . . . , b
2 n
) dạng
n
X
i=1
a
i
(x
i
b
i
) = 0, (1.14)
trong đó các phần tử a
i
K, i = 1, 2, . . . , n không đồng thời bằng không.
3. Trong
A
n
với mục tiêu cho trước {O;
e
i
}, cho n điểm độc lập A
1
, . . . , A
n
với A
i
tọa độ
(a
1i
, . . . , a
ni
) đối mục tiêu đã cho. Gọi α siêu phẳng đi qua A
1
, A , . . . , A
2 n
. Khi đó điểm M
tọa độ
(x
1
, x , . . . , x
2 n
) đối với mục tiêu {O;
e
i
} thuộc α khi và chỉ khi vector
A
1
M cùng
với các vector
A
1
A
i
, i = 2, 3, . . . , n lập thành một hệ phụ thuộc tuyến tính, tức khi và chỉ
khi
x x
1
a
11 2
a a
21
. . . x
n
n1
a a a a a
12
11 22
21
. . . a
n2
n1
.
.
.
.
.
.
.
.
.
.
.
.
a a
1n
11
a a a
2n
21
. . . a
nn
n1
= 0, (1.15)
hay
1 x
1
x
2
. . . x
n
1 a
11
a
21
. . . a
n1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 a a
1n 2n
. . . a
nn
= 0. (1.16)
Khai triển (1.16), ta được một phương trình tuyến tính bậc nhất đối với n biến x
1
, x
2
, ..., x .
n
Đây chính phương trình tổng quát của siêu phẳng .α
18
Hình học affine và Euclid
1.5 Tâm tỉ cự. Tỉ số đơn
1.5.1 Tâm tỉ cự
Định nghĩa 9. Cho họ điểm {P
1
, P , . . . , P
2 m
} A
n
và họ hệ số {λ
1
, λ , . . . , λ
2 m
}, λ
i
K, thoả
mãn điều kiện
λ := λ λ
1
+
2
+ . . . .+ λ
m
6= 0
Lấy một điểm O tùy ý của A
n
, khi đó
1
λ
(λ
1
OP
1
+ . . . + λ
m
OP
m
)
một vector xác định của A
n
. Do đó tồn tại duy nhất một điểm G A
n
sao cho
OG
=
1
λ
(λ
1
OP
1
+ . . . + λ
m
OP
m
). (1.17)
Ta gọi điểm G tâm tỉ cự của họ {P
1
, P , . . . , P
2 m
} gắn với họ hệ số {λ
1
, λ , . . . , λ
2 m
}.
Định 1.5.1. Điểm G tâm tỉ cự của họ điểm {P
1
, P , . . . , P
2 m
} gắn với họ hệ số {λ
1
, λ , . . . , λ
2 m
}
khi chỉ khi G thoả mãn hệ thức
λ
1
GP
1
+ λ
2
GP
2
+ . . . + λ
m
GP
m
=
0 . (1.18)
Chứng minh. Thật vậy,
OG
=
1
λ
(λ
1
OP
1
+ . . . + λ
m
OP
m
)
( )λ
1
+ +λ
2
. . . + λ
m
OG = λ
1
OP
1
+ . . . + λ
m
OP
m
λ
1
(
GO
+
OP
1
) + . . . + λ
m
(
GO
+
OP
m
) =
0
λ
1
GP
1
+ λ
2
GP
2
+ . . . + λ
m
GP
m
=
0 .
2
Từ Định 1.5.1 ta dễ dàng chứng minh hai hệ quả sau.
Hệ quả 1.5.2. Tâm tỉ cự không phụ thuộc vào điểm O được chọn chỉ phụ thuộc vào hệ điểm
{P
1
, P
2
, . . . , P
m
} họ hệ số {λ
1
, λ , . . . , λ
2 m
}.
Hệ quả 1.5.3. Khi thay họ hệ số {λ
1
, λ , . . . , λ
2 m
} bởi họ hệ số { } 6
1
, kλ , . . . ,
2 m
, k = 0, thì
tâm tỉ cự vẫn không thay đổi.
Định nghĩa 10. Tâm tỉ cự G của {P
1
, P , . . . , P
2 m
} gắn họ hệ số {λ
1
, λ , . . . , λ
2 m
} với λ λ
1
=
2
=
. . . = λ
m
(theo Hệ quả 1.5.3 ta thể chọn λ λ
1
=
2
= . . . = λ
m
= 1) gọi trọng tâm của hệ điểm
đó.
19
Hình học affine và Euclid
Dễ thấy trọng tâm G được xác định bởi hệ thức
OG
=
1
m
m
X
i=1
OP
i
, (1.19)
trong đó O A tùy ý, hay
m
X
i=1
GP
i
=
0 . (1.20)
Trọng tâm của hệ hai điểm {P, Q} còn gọi trung điểm của cặp điểm .P, Q
Chúng ta cần chú ý rằng mọi hệ m điểm trọng tâm khi và chỉ khi đặc số của trường K khác
m. Trong trường hợp K = R hoặc C thì mọi hệ hữu hạn điểm đều trọng tâm.
Định sau cho thấy thể dùng khái niệm tâm tỉ cự để đặc trưng các phẳng.
Định 1.5.4. Tập tất các các tâm tỉ cự với họ các hệ số khác nhau của hệ điểm { }P
0
, P , . . . , P
1 m
trong không gian affine A
n
chính phẳng α = P P
0
+ P
1
+ . . . +
m
.
Chứng minh.
Dễ thấy
α
được sinh bởi hệ vector {
P
0
P
1
,
P
0
P
2
, . . . ,
P
0
P
m
}. Ta thể giả sử một
sở của
α {
P
0
P
1
,
P P
0 2
, . . . ,
P
0
P
k
}, tức α cái phẳng k-chiều. Giả sử điểm G α. Điều này
tương đương với
P
0
G
α
hay
P
0
G =
P
k
i
=1
λ
i
P
0
P
i
. Ta
P
0
G =
k
X
i=1
λ
i
(
GP
i
GP
0
) (1
k
X
i=1
λ
i
)
GP
0
+
k
X
i=1
λ
i
GP
i
=
0 .
Đẳng thức này chứng tỏ G tâm tỉ cự của hệ điểm {P
0
, P , . . . , P
1 m
} gắn với họ hệ số
{ 1
k
X
i=1
λ
i
, λ , λ , . . . , λ
1 2 k
, 0, . . . , 0}.
Ngược lại, giả sử G tâm tỉ cự của hệ điểm {P
0
, P , . . . , P
1 m
} gắn với họ hệ số {λ
0
, λ , . . . , λ
1 m
}.
Khi đó
m
X
i=0
λ
i
GP
i
=
0
m
X
i=0
λ
i
(
GP
0
+
P
0
P
i
) =
0
m
X
i=0
λ
i
GP
0
+
m
X
i=1
λ
i
P
0
P
i
=
0
P
0
G =
1
P
m
i
=1
λ
i
m
X
i=1
λ
i
P
0
P
i
.
Đẳng thức này chứng tỏ
P
0
G
α , hay G α. 2
Hệ quả 1.5.5. Cho hệ m + 1 điểm {P
0
, P , . . . , P
1 m
}, α = P
0
+ P
1
+ . . . + P
m
một điểm O tùy
ý. Khi đó điểm
M α khi chỉ khi tồn tại các µ
i
, i = 0, 1, 2, . . . , m;
P
m
i
=0
µ
i
= 1 sao cho
OM =
m
X
i=0
µ
i
OP .
i
Hơn nữa, nếu hệ điểm {P
0
, P
1
, . . . , P
m
}, độc lập thì các tồn tại duy nhất.µ
i
20
Hình học affine và Euclid
Chứng minh. Theo Định 1.5.4, M α khi và chỉ khi M tâm tỉ cự của hệ điểm { }P
0
, P , . . . , P
1 m
gắn với họ hệ số
{λ
0
, λ , . . . , λ
1 m
} nào đó. Đặt µ
i
=
λ
i
P
m
i
=0
λ
i
. Theo định nghĩa của tâm tỉ cự ta
khẳng định thứ nhất của hệ quả.
Giả sử hệ điểm {P
0
, P , . . . , P
1 m
} độc lập và
OM =
m
X
i=0
µ
i
OP
i
, với
m
X
i=0
µ
i
= 1.
Ta
OM
=
P
m
i
=0
µ
i
OP
i
P
0
M =
P
m
i
=1
µ
i
P
0
P
i
. Từ đây suy ra µ
i
, i = 1, 2, . . . , m duy nhất
và do đó µ
0
cũng duy nhất.
1.5.2 Tỉ số đơn
Định nghĩa 11. Cho hai điểm phân biệt P, Q A. Điểm M 6= Q thuộc đường thẳng P Q (phẳng
P
+ Q) khi và chỉ khi k K {1} để
MP
= k
MQ. Ta gọi k tỉ số đơn của hệ ba điểm
{ }P, Q, M , hiệu k = (P QM .)
Nhận xét. Dễ nhận thấy rằng nếu k = (P QM) thì điểm M tâm tỉ cự của hệ {P, Q} gắn với
họ hệ số { }1, k . Khi k = 1, ta M trung điểm (trọng tâm) của cặp điểm {P, Q .}
Sau đây một số tính chất của tỉ số đơn.
Tính chất. Trong A
n
cho ba điểm A, B, C phân biệt thẳng hàng. Ta
1. (ABC) + (ACB) = 1,
2. ( ) (ABC . BAC) = 1,
3. (BCA) = 1
1
(
ABC)
.
Chứng minh.
Giả sử rằng (ABC) = k, tức
CA
= k
CB
hay
CB
+
BA
= k
CB. Từ đây suy ra
BA
= (1 k)
BC hay (ACB) = 1 k.
Bạn đọc dễ dàng chứng minh được các đẳng thức còn lại một cách tương tự. 2
1.6 Tập lồi trong không gian affine thực
1.6.1 Tập lồi
Đoạn thẳng. Trong không gian affine thực A cho hai điểm P và Q. Tập hợp tất cả những điểm
M
sao cho
OM
= (1 t)
OP
+ t
OQ, với O một điểm tùy ý và 0 t 1, được gọi đoạn
21
Hình học affine và Euclid
Hình 1.7: Các tập lồi.
Hình 1.8: Các tập không lồi.
thẳng P Q. Hai điểm P Q gọi hai mút của đoạn thẳng P Q. Các điểm khác của đoạn thẳng
P Q được gọi nằm giữa P và Q.
Nhận xét.
1. Trong trường hợp P 6= Q, theo Hệ quả 1.5.5, đường thẳng P + Q tập tất cả các điểm M
thỏa mãn:
OM
= λ
OP
+ µ
OQ với λ + µ = 1.
Từ đây ta suy ra đoạn thẳng P Q tập con của đường thẳng P + Q.
Đoạn thẳng P Q gồm hai điểm mút P (ứng với (ứng vớiλ = 1), Q λ = 0) và những điểm
nằm giữa P và Q.
2. Khi P Q, đoạn thẳng P Q chỉ gồm một điểm P.
Từ đây trung điểm của cặp điểm {P, Q} còn gọi trung điểm của đoạn thẳng P Q.
Tập lồi. Tập X trong không gian affine thực A được gọi một tập lồi nếu với mọi P, Q X,
đoạn thẳng P Q chứa trong X.
Bao lồi của một tập. Dễ thấy giao của một họ không rỗng các tập lồi một tập lồi. Từ đây ta
định nghĩa bao lồi của một tập X A giao của tất cả các tập lồi chứa X, tức tập lồi
nhất chứa X.
22
Hình học affine và Euclid
1.6.2 dụ về tập lồi
Dễ thấy mỗi m-phẳng trong không gian affine thực một tập lồi. Các dụ sau đây, trong trường
hợp 1 2, , 3 chiều các đối tượng đã được gặp PTTH.
Nửa không gian. Mỗi siêu phẳng α trong không gian affine A sẽ chia A α thành 2 tập lồi. Xét
không gian thương 1-chiều
A
/
α ,
lấy [
u ] một vector khác không của và gọi
p
:
A
A
/
α
phép chiếu chính tắc. Với một điểm thuộcO α, ta hai tập hợp
X
= {M A : p(
OM
) = λ[
u ], λ > 0 ;}
Y
= {M A : p(
OM
) = λ[
u ], λ < .0}
Ta sẽ chứng minh chúng hai tập lồi. Thật vậy, giả sử
M, N X; p(
OM
) = λ[
u ], λ > 0 và
p
(
ON
) = µ[
u
], µ > 0. Khi đó với mọi P thuộc đoạn thẳng MN,
OP
= (1 t)
OM
+ t
ON với
0 t 1, ta
p
(
OP
) = (1 t)p(
OM tp
) + (
ON t
) = ((1 )λ + )[
u ].
Dễ thấy với 0 t 1 thì (1 t)λ + > 0, tức P X. Chứng minh cho trường hợp M, N Y
hoàn toàn tương tự.
Nhận xét. Chứng minh cho các nhận xét sau đây xin dành cho bạn đọc.
1. Việc chia không gian thành hai tập X và Y không phụ thuộc vào việc chọn điểm O và vector
[
u ].
2. Nếu lấy một điểm P X thì thể tả hai tập X và Y như sau: X tập các điểm
M A α sao cho đoạn thẳng PM không cắt α còn Y tập các điểm M A α sao cho
đoạn thẳng P M cắt α tại một điểm.
Hình hộp
m-chiều. Trong A
n
, cho điểm O và hệ vector độc lập {
e
1
,
e
2
, ...,
e
m
}. Khi đó tập hợp
H
= {M A
n
:
OM =
m
X
i=1
x
i
e
i
, 0 x
i
1, i = 1, 2, ..., m }
gọi một hình hộp m-chiều hay m-hộp. Các điểm của H ứng với x
i
chỉ nhận hai giá trị 0 hoặc ,1
gọi các đỉnh của m-hộp. tất cả 2
m
đỉnh.
Từ định nghĩa, 0-hộp một điểm, 1-hộp một đoạn thẳng. Theo cách gọi thông thường 2-hộp
hình bình hành, 3-hộp .hình hộp
thể y dựng các khái niệm như mặt bên k-chiều, cạnh của hình hộp. Vấn đề này được đưa
vào phần bài tập như một đề tài nhỏ cho bạn đọc tập dượt nghiên cứu.
Định 1.6.1. Mỗi hình hộp một tập lồi.
23
Hình học affine và Euclid
Chứng minh.
Giả sử M, N H,
OM
=
P
m
i
=1
x
i
e
i
,
ON
=
P
m
i
=1
y
i
e
i
; 0 x
i
, y
i
1, i =
1 2, , ..., m. Khi đó với mọi P thuộc đoạn thẳng M N, ta
OP
= (1 t)
OM
+ t
ON
= (1 ) t
m
X
i=1
x
i
e t
i
+
m
X
i=1
y
i
e
i
=
m
X
i=1
((1
t)x
i
+ ty
i
)
e .
i
Dễ thấy 0 (1 t)x
i
+ ty
i
1, tức P H. 2
Đơn hình m-chiều. Trong A
n
, cho hệ điểm độc lập {A
0
, A
1
, ..., A
m
}. Lấy O A
n
, khi đó tập
C
= { M A
n
:
OM =
m
X
i=0
x
i
OA
i
, x
i
0, x
0
+ x
1
+ x
2
+ · · · + x
m
= 1}
được gọi một đơn hình m-chiều hay m-đơn hình. Các điểm A
0
, A
1
, ..., A
m
gọi các đỉnh của C.
Từ định nghĩa, 0-đơn hình một điểm, -đơn hình một đoạn thẳng. Theo cách gọi thông thường1
2 3-đơn hình gọi tam giác, -đơn hình gọi .tứ diện
Trong m-đơn hình C lấy (k + 1) đỉnh (0 k m 1) thì (k + 1) đỉnh đó lập thành một k-đơn
hình gọi mặt bên k-chiều của C. Khi đó (m k) đỉnh còn lại lập thành một ( 1)m k -đơn
hình gọi mặt bên đối diện của mặt bên k-chiều đang xét. Mặt bên 0-chiều đỉnh, mặt bên
1-chiều gọi cạnh của đơn hình C.
Từ đây, trọng tâm của hệ điểm {A
0
, A
1
, ..., A
m
} cũng được gọi trọng tâm của đơn hình.
Nhận xét.
1. Định nghĩa của đơn hình không phụ thuộc vào điểm O được chọn. Thật vậy, với x
i
0, x
0
+ x
1
+ +x
2
· · · + x
m
= 1
OM =
m
X
i=0
x
i
OA
i
OO
0
+
O
0
M =
m
X
i=0
x
i
(
OO
0
+
O
0
A
i
)
O
0
M =
m
X
i=0
x
i
O
0
A .
i
2. Nếu chúng ta chọn O = A
0
, thì ta
C
= { M A
n
:
A
0
M =
m
X
i=1
x
i
A
0
A .
i
, x
i
0, x
1
+ x
2
+ · · · + x
m
1}
24
Hình học affine và Euclid
Hình 1.9: Đơn hình và hình hộp
Định 1.6.2. Mỗi đơn hình một tập lồi
Chứng minh.
Giả sử M, N C,
OM
=
P
m
i
=0
x
i
OA
i
,
ON
=
P
m
i
=0
y
i
OA
i
; x
i
, y
i
0, i =
0 1 2
, , , . . . , m;
P
m
i
=0
x
i
= 1,
P
m
i
=0
y
i
= 1. Khi đó với mọi P thuộc đoạn thẳng MN, ta
OP
= (1 t)
OM
+ t
ON
= (1 ) t
m
X
i=0
x
i
OA t
i
+
m
X
i=0
y
i
OA
i
=
m
X
i=0
((1
t)x
i
+ ty
i
)
OA .
i
Dễ thấy
(1 )t x
i
+ty
i
0 và
P
m
i
=0
((1 )t x
i
+ty
i
) = (1t)
P
m
i
=0
x
i
+t
P
m
i
=0
y
i
= 1, tức P C.2
BÀI TẬP CHƯƠNG 1
Bài tập 1.1. Chứng minh rằng thể xem trường số phức C một không gian affine thực 2
chiều.
Bài tập 1.2.
Cho không gian affine n chiều (A,
A , Φ) và một tập hợp B 6= tùy ý. Chứng minh
rằng nếu song ánh f : A B thì thể xây dựng B trở thành một không gian affine n chiều
(chuyển cấu trúc affine từ A sang B nhờ song ánh f).
Bài tập 1.3.
Cho (A,
A
, Φ) và (A
0
,
A
0
, Φ
0
) hai không gian affine và ánh xạ
Φ
× Φ
0
: (A × A
0
) × (A × A
0
)
A
×
A
0
(( ) (
M, M
0
, N, N
0
)) 7− (
MN,
M
0
N
0
).
Chứng minh rằng
(A × A
0
,
A
×
A
0
, Φ × Φ
0
) một không gian affine.
Bài tập 1.4.
Cho (A,
A
, Φ) một không gian affine và
α
một không gian vector con của
A .
Hai điểm
M, N A gọi
α
-tương đương nếu
MN
α .
25
Hình học affine và Euclid
1. Chứng minh rằng quan hệ trong định nghĩa trên một quan hệ tương đương.
2. hiệu tập các lớp tương đương A/
α
và lớp tương đương chứa M [ ]M . Xét ánh xạ
Φ
α
: A/
α
× A/
α
A /
α
([
M] [, N ]) 7− [
MN .]
Chứng minh rằng (A/
α
,
A /
α
, Φ
α
) một không gian affine.
Bài tập 1.5. Cho A không gian affine và một điểm củaO A. Khi đó ánh xạ biến điểm M A
thành vector
OM
A một song ánh. Nhờ song ánh này thể chuyển cấu trúc không gian
vector từ
A lên A. y xây dựng các phép toán cụ thể trên A để A một không gian vector.
Bài tập 1.6. Trong A
n
cho α và α
0
hai siêu phẳng song song phân biệt, β m-phẳng không
chứa trong α ( )β 6⊂ α . Chứng minh rằng nếu β cắt α thì β cũng cắt α
0
. Trong trường hợp α α
0
các phẳng song song phân biệt tuỳ ý thì kết quả trên còn đúng không? Tìm các kết quả đã
biết PTTH để minh họa.
Bài tập 1.7.
Xét không gian vector
A với cấu trúc affine chính tắc. Chứng minh mỗi không gian
vector con của
A một cái phẳng. Điều ngược lại đúng không? Cho dụ.
Bài tập 1.8. Cho một điểm A và một m-phẳng α không chứa điểm đó. Chứng minh rằng một
và chỉ một (m + 1)-phẳng đi qua A và chứa α. Tìm các kết quả đã biết PTTH để minh họa.
Bài tập 1.9. Chứng minh rằng nếu các phẳng α β song song với phẳng γ thì α β, nếu khác
rỗng, một phẳng song song với γ. Tìm các kết quả đã biết PTTH để minh họa.
Bài tập 1.10. Chứng tỏ nếu hai siêu phẳng phân biệt α và β cắt nhau, siêu phẳng γ song song
với α β sao cho các giao α γ và β γ đều khác rỗng thì α γ song song với β γ. Tìm các kết
quả đã biết PTTH để minh họa.
Bài tập 1.11. Trong A
n
, hãy xét vị trí tương đối giữa một đường thẳng và một m-phẳng. Xét cụ
thể các trường hợp n = 2, 3 4, .
Bài tập 1.12. Cho α một một điểm không thuộcm-phẳng, A α.
1. bao nhiêu l-phẳng β, l m, qua A song song với α. y nhận xét về α β.
2. bao nhiêu l-phẳng β, l > m, qua A song song với α. Hãy nhận xét về α β.
Bài tập 1.13. Cho α β hai cái phẳng số chiều lần lượt p và q. Chứng minh rằng α
β song song khi và chỉ khi chúng cắt nhau cấp r hoặc chéo nhau cấp r với r = min{p, q .}
Bài tập 1.14. Cho hệ phương trình tuyến tính gồm m phương trình và n ẩn trên trường số thực
R với m n.
a a a a
11
x
1
+
12
x
2
+ · · · +
1n
x
n
=
1
a a a
21
x
1
+
22
x
2
+ · · · +
2n
x
n
= a
2
· · · · · ·
a
m1
x x x
1
+ a
m2 2
+ +· · · a
mn n
= a
m
.
Giả sử rank(a
ij
) = m, chứng minh rằng:
26
Hình học affine và Euclid
1. tập nghiệm của hệ phương trình tuyến tính thuần nhất tương ứng một không gian vector
con
( )n m -chiều của R
n
, hiệu
α ;
2. tập nghiệm của hệ phương trình trên một ( )n m -phẳng của không gian affine R
n
(cấu
trúc affine chính tắc) với phương
α .
Bài tập 1.15. Cho hệ gồm p + 1 điểm {M
0
, M , . . . , M
1 p
} trong không gian affine A
n
. Chứng minh
rằng
1. dim( ;M
0
+ +M
1
. . . + M
p
) p
2. hệ {M
0
, M , . . . , M
1 p
} độc lập affine khi và chỉ khi dim(M
0
+ +M
1
. . . + M
p
) = ;p
3. nếu hệ {M
0
, M , . . . , M
1 p
} độc lập affine thì
M M M M M M M M
0
+
1
+ . . . +
p
= (
0
+
1
+ . . . +
k
) + (
k+1
+
k+2
+ . . . + M
p
)
và
( (M
0
+ +M
1
. . . + M
k
) M
k+1
+ +M
k+2
. . . + M
p
) = .
Bài tập 1.16. Biết phương trình tham số của một m-phẳng α đối với một mục tiêu affine cho
trước trong A
n
. Hãy cho nhận xét về phương trình tham số của m-phẳng β song song với .α
Bài tập 1.17. Cho phương trình tổng quát của m-phẳng α. Chứng minh rằng tập nghiệm của hệ
phương trình tuyến tính thuần nhất tương ứng xác định phương của α.
Bài tập 1.18. Viết phương trình tham số phương trình tổng quát của m-phẳng E E E
0
+
1
+. . .+
m
và của siêu phẳng
E E E
1
+
2
+ . . . +
n
trong đó {E
0
;
E E
0 i
} một mục tiêu affine cho trước của
A
n
.
Bài tập 1.19.
Trong A
n
cho mục tiêu affine {O;
e
i
}. Lấy điểm E A
n
sao cho
OE
=
e
1
+
e
2
+ . . . +
e .
n
Tìm công thức đổi toạ độ từ mục tiêu đã cho đến mục tiêu
{
E;
e
1
+
e
2
,
e
2
+
e
3
, . . . ,
e
n
+
e .
1
}
Bài tập 1.20.
Trong A
3
cho các điểm toạ độ đối với mục tiêu affine {O;
e
1
,
e
2
,
e
3
} (mục tiêu
(1))
A
0
(1, ,1, 1), A , A
1
(2, 0, 0)
2
(1, 0 0), A
3
(1, 1, 0);
A
0
0
(0 0 0), , , A
0
1
(1 1 0), , , A
0
2
(2 0 1), , , A
0
3
(1 0 1), , .
1. Chứng minh rằng
{A
0
;
A
0
A
1
,
A A
0 2
,
A
0
A
3
} và {A
0
0
;
A
0
0
A
0
1
,
A
0
0
A
0
2
,
A
0
0
A
0
3
} các mục tiêu affine
của A
3
(mục tiêu (2) và mục tiêu (3)).
2. Tìm các công thức đổi toạ độ từ mục tiêu (1) sang mục tiêu (2) và từ mục tiêu (2) sang mục
tiêu (3).
27
Hình học affine và Euclid
Bài tập 1.21. Trong không gian affine A
n
với một mục tiêu affine cho trước, hãy xét giao của
đường thẳng và siêu phẳng cho bởi các phương trình
x
1
b
1
a
1
=
x
2
b
2
a
2
=
. . . =
x
n
b
n
a
n
và
n
X
i=1
c
i
x
i
+ d = 0.
Bài tập 1.22. Trong A
4
viết phương trình tổng quát của phẳng số chiều nhất
1. đi qua điểm
A(1, 2, 1, 1) và phương chứa hai vector
a
(0, ,1 2, 0),
b (1, 1, 0, 0);
2. đi qua điểm
M(1 0 1, , , 0) và phương chứa ba vector
a
(1, 0, ,1, 0)
b
(2, 1, ,2, 1)
c (4, ,1, 4 1);
3. đi qua hai điểm
A(1, 1, 1, 1), B(2, 3, 1, 0) và phương chứa các vector
a
(0, , ,1, 1 1)
b (1, 2, 0, 0);
4. đi qua hai điểm
A(1, 1, 1, 1), B(2, 3, 1, 0) và phương chứa các vector
a
(3, , ,4, 2 1)
b (2, 2, ,2 2);
5. đi qua ba điểm
A(2, 1, 2, 1), B(1, 1, 1, 1), C(2, 0, 2, 0) và phương chứa các vector
a (2, ,3, 1 4),
b (0, ,0, 0 1).
Viết phương trình các phẳng (cùng số chiều) đi qua O(0 0 0, , , 0) và lần lượt song song với các
phẳng trong các câu trên.
Bài tập 1.23. Trong không gian A
4
viết phương trình tham số của mặt phẳng phương trình
tổng quát
x
1
+ +2 +x
2
x
3
x
4
1 = 0
x
1
+2x
2
x
4
+2 = 0
.
Bài tập 1.24. Trong không gian A
4
cho 4 điểm A .(3, 1, 1, 2), B(0, 1, 0, 0), C(3, 2, 3, 2), D(1, 0, 0, 1)
1. Tìm giao điểm của đường thẳng với các siêu phẳng tọa độ.AB
2. Xét vị trí tương đối của hai đường thẳng AB và CD.
Bài tập 1.25. Trong A
4
xét vị trí tương đối của hai cái phẳng α và β, biết phương trình của
chúng lần lượt như sau:
1.
α
:
2x
1
+x
2
+x
3
+x
4
1 = 0
x
1
+x
2
x
4
+2 = 0
,
β
:
x
1
x
2
x
4
+1 = 0
2 + +2 +x
1
x
2
x
3
x
4
+3 = 0
.
28
Hình học affine và Euclid
2.
α : 2x x x x
1
2
3
+
4
2 = 0,
β
:
x
1
= 1
x
2
= t +1
x
3
= t +1
x
4
= 2t +1
, t . R
3.
α
:
3x
1
+x
2
+x
3
+2x
4
6 = 0
x x
1
+
4
+1 = 0
,
β
:
x
1
= t +2
x
2
= t +1
x
3
= t +1
x
4
= 2t 1
, t . R
Bài tập 1.26. Cho hệ điểm {P
i
: i I}, với I 6= , trong không gian affine A
n
. Gọi α bao
affine của hệ điểm đó.
1. Chứng minh rằng α chính tập các tâm tỉ cự của các hệ con hữu hạn không rỗng của hệ
điểm đã cho.
2. Giả sử I tập hợp hữu hạn. Chứng minh rằng hệ điểm {P
i
: i I} độc lập affine khi
và chỉ khi với mọi M α, tồn tại duy nhất (sai khác một hằng số khác không) một họ hệ
số {λ
i
: i I} để M tâm tỉ cự của hệ điểm {P
i
: i I} gắn với họ hệ số đó. Họ hệ số
{λ
i
: i I} như thế gọi tọa độ tỉ cự của M đối với hệ điểm {P
i
: i I}.
Bài tập 1.27 (Định Thales). Trong A
n
cho ba m-phẳng song song phân biệt. Hai đường thẳng
d d
0
cắt ba m-phẳng đó lần lượt tại bộ ba điểm A, B, C và A
0
, B , C
0 0
. Chứng minh rằng
( )
ABC) = (A
0
B
0
C
0
.
Bài tập 1.28. Trong A
n
cho ba siêu phẳng cùng đi qua một ( 2)n -phẳng γ. Hai đường thẳng
song song d và d
0
cắt ba siêu phẳng đó lần lượt tại b ba điểm A, B, C A
0
, B , C
0 0
(các điểm
A, B, C, A
0
, B , C .
0 0
6∈ γ). Chứng minh (ABC) = (A
0
B
0
C
0
)
Bài tập 1.29 (Định Menela¨us, Định Ceva ). Trong không gian affine A
2
cho ba điểm A, B, C
không thẳng hàng và ba điểm P, Q, R theo thứ tự thuộc các đường thẳng BC, CA, AB không
trùng với các điểm A, B, C. Chứng minh rằng:
1. Điều kiện cần và đủ để ba điểm P, Q, R thẳng hàng
( ) ( ) (BCP . CAQ . ABR) = 1.
2. Điều kiện cần và đủ để ba đường thẳng AP, BQ, CR đồng qui hay song song
( ) ( ) ( 1BCP . CAQ . ABR) = .
Bài tập 1.30. Chứng minh rằng đơn hình chính bao lồi của tập các đỉnh và chứa trong bao
affine của tập các đỉnh.
29
Hình học affine và Euclid
Bài tập 1.31. Cho m-đơn hình với các đỉnh .{P
0
, P , . . . , P
1 m
}
1. Chứng minh rằng bao affine của hai mặt đối diện chéo nhau.
2. Xét các đường thẳng nối một đỉnh với trọng tâm ( 1)m -mặt bên đối diện. Chứng minh
rằng các đường thẳng y đồng qui tại một điểm G.
Xét các trường hợp đặc biệt m = 2, 3.
3. Gọi G
0
và G
00
trọng tâm của một cặp mặt bên đối diện, hãy tính ( )G
0
G
00
G .
Xét các trường hợp đặc biệt m = 2, 3.
Bài tập 1.32. 1. Chứng minh rằng bao lồi của một hệ hữu hạn điểm {P
1
, . . . , P
m
} trong không
gian affine thực A
n
tập các tâm tỉ cự của hệ điểm đó gắn với họ hệ số {λ
1
, . . . , λ
m
} cùng
dấu.
2. Chứng minh rằng bao lồi của một tập S trong không gian affine thực A
n
tập các tâm tỉ
cự của của các hệ hữu hạn điểm {P
1
, . . . , P
m
} S gắn với họ hệ số {λ
1
, . . . , λ
m
} cùng dấu.
BÀI TẬP CUỐI CHƯƠNG I.
Bài tập 1.33. Chứng minh rằng định nghĩa sau tương đương với định nghĩa đã biết của không
gian affine.
Cho
A một không gian vector trên trường K A một tập hợp khác rỗng. Giả sử ánh xạ
+ :
A ×
A A
(p, v) 7− p + v,
tho mãn các điều kiện sau:
1. p + 0 = ;p, p A
2.
( )p + v) + u = p + (v + u , p A, v, u
A ;
3. với
p A q A, tồn tại duy nhất v
A sao cho
q = p + v.
Khi đó ta nói rằng
A một không gian affine trên trường liên kết với không gian vectorK
A .
Bài tập 1.34. Trong không gian affine A
n
, chứng minh rằng hệ m + 1 điểm {A
0
, A , . . . , A
1 m
} độc
lập affine khi và chỉ khi với mọi điểm O, từ hai đẳng thức
m
X
i=0
λ
i
OA
i
=
0 và
m
X
i=0
λ
i
= 0 (λ
i
K)
ta suy ra λ λ
0
=
1
= · · · = λ
m
= 0.
30
Hình học affine và Euclid
Bài tập 1.35. Chứng minh rằng điều kiện cần đủ để m + 1 điểm A
0
, A , . . . , A
1 m
trong không
gian affine n chiều (n m) cùng thuộc một ( 1)m -phẳng với điểm O tùy ý ta luôn
m
X
i=0
λ
i
OA
i
= 0
với
P
m
i
=0
λ
i
= 0
P
m
i
=0
λ
2
i
6= 0.
Bài tập 1.36. Cho α p-phẳng, β q-phẳng trong không gian affine n chiều A
n
.
1. Chứng minh rằng nếu α và β cắt nhau cấp r thì
0 r min(p, q) p + q r n.
Ngược lại nếu cho các số nguyên không âm r, p, q không lớn hơn n thỏa điều kiện trên thì
thể tìm được các p-phẳng α và q-phẳng β để α β cắt nhau cấp r không?
2. Xét vấn đề tương tự đối với trường hợp chéo nhau cấp r. Điều kiện đây
0 r min(p, q) p + q r + 1 n.
Bài tập 1.37. Cho α β hai cái phẳng chéo nhau cấp 0. Xét hai hệ điểm độc lập A =
{A
0
, A
1
, . . . , A
m
} α và B = {B
0
, B , . . . , B
1 l
} β. Chứng minh rằng A B độc lập.
Bài tập 1.38. Cho A = {A
0
, A , . . . , A
1 m
} và B = {B
0
, B , . . . , B
1 l
} hai hệ điểm độc lập. Giả sử
A B độc lập. Chứng minh rằng tồn tại hai cái phẳng chéo nhau α và β sao cho A α; B β.
Hãy cho các dụ cụ thể về các trường hợp α β chéo nhau cấp 0 1 2, , , . . . .
Bài tập 1.39. Cho hai cái phẳng α β chéo nhau, số chiều lần lượt p và q. Hãy tìm các
điều kiện để số chiều của α + β lớn nhất, số chiều của α + β bé nhất. Trong mỗi trường hợp, xác
định số chiều của α + β và cho các dụ cụ thể để minh họa.
Bài tập 1.40. Dùng định nghĩa bài tập ??, hãy trình y lại các khái niệm các định , mệnh
đề, b đề... trong chương này.
Bài tập 1.41. Hãy đưa ra các định nghĩa song song, chéo nhau giữa các phẳng sao cho phù hợp
với cách hiểu PTTH. Phát biểu lại các bài tập liên quan đến tính chéo nhau và song song cho
thích hợp với định nghĩa mới này.
Bài tập 1.42. Cho hệ điểm độc lập {M
0
, M , . . . , M
1 p
} trong không gian affine A
n
. Giả sử M
i
tọa độ
(a
1i
, a , . . . , a
2i ni
) đối với mục tiêu {O;
e
i
} cho trước. y viết phương trình tham số của
m-phẳng M M M
0
+
1
+ . . . +
p
.
Bài tập 1.43. Trong không gian affine A
n
với một mục tiêu affine cho trước, cho hai siêu phẳng
phân biệt α và α
0
phương trình tổng quát theo thứ tự
n
X
i=1
a
i
x
i
+ b = 0 và
n
X
i=1
a
0
i
x
i
+ b
0
= 0.
1. Chứng minh rằng
α và α
0
song song khi chỉ khi hai vector
a
(a
i
) và
a
0
(a
0
i
) ph thuộc
tuyến tính.
31
Hình học affine và Euclid
2. Giả sử α α
0
6= . Khi đó dim α α
0
= n 2. Chứng minh rằng mọi siêu phẳng chứa α α
0
đều phương trình dạng
λ(
n
X
i=1
a
i
x
i
+ b) + λ
0
(
n
X
i=1
a
0
i
x
i
+ b
0
) = 0,
trong đó λ và λ
0
không đồng thời triệt tiêu (phương trình của chùm siêu phẳng xác định bởi
α và α
0
).
Bài tập 1.44. Trong A
n
cho m-phẳng α, 0 m n 2, và hai điểm phân biệt M, N không
thuộc α. Chứng minh rằng, tồn tại (m + 1)-phẳng chứa m-phẳng α và không chứa hai điểm M, N.
Từ đó suy ra, tồn tại một siêu phẳng chứa α và không chứa hai điểm M, N.
Bài tập 1.45. Trong không gian A
4
với mục tiêu đã chọn.
1. Viết phương trình tham số và phương trình tổng quát của cái phẳng α số chiều nhất
chứa hai đường thẳng d
1
, d
2
sau đây
d
1
:
x
1
= t + 1
x
2
= t + 2
x
3
= t + 3
x
4
= t + 4
;
d
2
:
x
1
= 0
x x
2
3
+1 = 0
x
4
3 = 0
.
2. Viết phương trình của siêu phẳng đi qua M(1 1 1, , , 1) và chứa α.
3. Cho hai điểm A(1, 3, 1, 2) và B( 1 2 1 3) , , , . Hãy tìm giao điểm của đường thẳng AB với
các siêu phẳng tọa độ.
4. Xét vị trí tương đối của hai mặt phẳng sau
P
:
(
3x
1
5x
2
2x
3
+ 2x
4
7 = 0
4x
1
+ 7 + 4 + 4 + 10 = 0x
2
x
3
x
4
; Q :
(
4 9 3x
1
x
2
x
3
+ 7 + 14 = 0x
4
2 6 3
x
1
x
2
x
3
+ 2 + 10 = 0x
4
.
Bài tập 1.46.
Trong không gian affine A
n
với mục tiêu {O;
e
1
, ...,
e
n
} cho các điểm P
i
với
OP
i
=
a
i
e
i
, a
i
6= 0, i = 1, 2, . . . , n. Chứng minh rằng, hệ n điểm {P
1
, ..., P
n
} độc lập phương trình
của siêu phẳng đi qua n điểm trên
x
1
a
1
+
· · · +
x
n
a
n
= 1.
Bài tập 1.47. Trong A
n
với mục tiêu đã chọn, hãy tìm công thức tính tọa độ trọng tâm của một
hệ điểm. Tổng quát hơn, hãy tìm công thức tính tọa độ của tâm tỉ cự.
Bài tập 1.48. Chứng minh rằng trong một đơn hình m-chiều các đường thẳng nối hai trọng tâm
của hai mặt bên đối diện luôn luôn đi qua một điểm cố định. Hãy phát biểu bài toán cho trường
hợp đơn hình hai chiều và đơn hình ba chiều.
Bài tập 1.49 (Định Pappus). Trong mặt phẳng affine A
2
cho hai đường thẳng d và d
0
cắt nhau
tại O. Gọi A, B, C 3 điểm phân biệt thuộc d không trùng với điểm O; A
0
, B , C
0 0
3 điểm phân
biệt thuộc d
0
không trùng với điểm O. Giả sử B
0
C cắt BC
0
tại tạiM, CA
0
cắt C
0
A N, A
0
B cắt
AB
0
tại P. Chứng minh rằng M, N, P thẳng hàng.
32
Hình học affine và Euclid
Bài tập 1.50 (Định Desargues). Trong mặt phẳng affine A
2
cho hai tam giác ABC A .
0
B
0
C
0
Giả sử BC và B
0
C
0
cắt nhau tại M, CA C
0
A
0
cắt nhau tại N, AB cắt A
0
B
0
tại P. Chứng minh
rằng M, N, P thẳng hàng khi chỉ khi AA
0
, BB , CC
0 0
đồng qui hoặc song song
Bài tập 1.51. Cho tam giác ABC, P một điểm trên BC M một điểm trên AP. Đường
thẳng qua P và song song với CM và đường thẳng qua B song song với AP cắt nhau tại B
0
. Đường
thẳng qua P song song với BM và qua C song song với AP cắt nhau tại C
0
. Lấy I, J, K các
trung điểm của các đoạn thẳng P M, BB
0
, CC
0
. Chứng minh rằng I, J, K thẳng hàng và M, B , C
0 0
cũng thẳng hàng.
Bài tập 1.52. Trên một tờ giấy vẽ hai đường thẳng d và d
0
cắt nhau tại một điểm ngoài tờ giấy
đó. Qua một điểm M không nằm trên d hoặc d
0
, hãy dựng đường thẳng đi qua M và giao điểm
của d và d .
0
Bài tập 1.53. Giả sử G
1
tâm tỉ cự của hệ điểm {P
1
, . . . , P
k
} gắn với họ hệ số {λ
1
, . . . , λ
k
};
G
2
tâm tỉ cự của hệ điểm {P
k+1
, . . . , P , . . . , λ
m
} gắn với họ hệ số {λ
k+1 m
}; G
3
tâm tỉ cự của
hệ điểm {P
1
, . . . , P
m
} gắn với họ hệ số {λ
1
, . . . , λ
m
}. Chứng minh rằng nếu G
1
, G , G
2 3
3 điểm
phân biệt thì chúng thẳng hàng. Hãy tính tỉ số đơn ( )G G G
1 2 3
.
Bài tập 1.54. Trong không gian affine A
n
với mục tiêu đã chọn. Chứng minh rằng tập các điểm
tọa độ nghiệm của một hệ phương trình tuyến tính và bất phương trình tuyến tính n biến
một tập lồi (xem tập lồi).
Bài tập 1.55. Hãy chứng tỏ rằng, đơn hình và hình hộp n chiều trong không gian affine thực A
n
giao của các nửa không gian.
33
| 1/33

Preview text:

Chương 1 Không gian affine và phẳng 1.1 Không gian affine
Hình học cổ điển trong chương trình phổ thông trung học (PTTH) được xây dựng với các đối
tượng cơ bản là điểm, đường thẳng, mặt phẳng và một hệ tiên đề qui định những mối “quan hệ”
ban đầu giữa chúng. Hình học định nghĩa theo cách này có ưu điểm là trực quan, dễ trình bày
và phù hợp với khả năng tiếp thu cũng như trình độ của học sinh PTTH, nhưng có nhược điểm
là sẽ gặp khó khăn khi mở rộng cho trường hợp nhiều chiều vì sẽ có quá nhiều đối tượng cơ bản
(các phẳng) và theo đó chắc chắn sẽ là một hệ thống tiên đề phức tạp. Hơn nữa nhiều chứng minh
trong hình học cổ điển thường đòi hỏi sự khôn ngoan, mưu mẹo và thường không có phương pháp
thống nhất. Sau các thành tựu của đại số và nhất là của Đại số tuyến tính, người ta đã tìm thấy
một cách trình bày lại hình học cổ điển đơn giản hơn, dưới dạng tổng quát hơn và có phương pháp
nghiên cứu một cách thống nhất (phương pháp tọa độ). Hình học affine được xây dựng với chỉ hai
đối tượng cơ bản là điểm, vector cùng với 8 tiên đề về vector và hai tiên đề về điểm. Các chứng
minh trong hình học affine đa số ngắn gọn và chủ yếu sử dụng các thành tựu của Đại số tuyến
tính. Các khái niệm như các phẳng (đường thẳng và mặt phẳng là các phẳng 1-chiều và 2-chiều)
sẽ có định nghĩa của chúng. Có thể có những định nghĩa khác nhau (nhưng tương đương) về một
không gian affine (Bài tập ?? là một ví dụ) nhưng định nghĩa dưới đây là một định nghĩa kinh
điển được trình bày trong hầu hết các giáo trình về Hình học affine ở Việt Nam. 1.1.1 Không gian affine
Định nghĩa 1. Cho V là một không gian vector trên trường K và A là một tập hợp khác rỗng
mà các phần tử của nó được gọi là điểm. Các vector, để thuận tiện cho việc trình bày cũng như
để có tính trực quan, thường được ký hiệu bằng các chữ thường với một mũi tên ở bên trên như − → x , − → y , . . . , − → u , − →
v . . . ; còn các điểm thường được ký hiệu bằng các chữ hoa A, B, C . . . , M, N, P, . . . . Giả sử có ánh xạ Φ : A × A −→ V (M, N ) 7−→ Φ(M, N )
thoả mãn hai điều kiện sau: 1 Hình học affine và Euclid
1. với điểm M ∈ A và vector − →
v ∈ V, có một và chỉ một điểm N ∈ A sao cho Φ(M, N ) = − → v ;
2. với ba điểm M, N, P tuỳ ý của A ta luôn luôn có
Φ(M, N ) + Φ(N, P ) = Φ(M, P ).
Khi đó ta nói A là một không gian affine, hay đầy đủ hơn A là không gian affine trên trường K
liên kết với không gian vector V bởi ánh xạ liên kết Φ.
V được gọi là không gian vector liên kết với (hay không gian nền của) A và thường được ký hiệu − →
lại là A . Còn Φ được gọi là ánh xạ liên kết và để thuận tiện cũng như trực quan hơn ta thay ký −−→
hiệu Φ(M, N) bằng MN. Khi đó các điều kiện trong định nghĩa có thể được viết lại như sau: − → −−→ 1. ∀M ∈ A, ∀− →
v ∈ A ; ∃! N ∈ A, M N = − → v ; −−→ −−→ −−→
2. ∀M, N, P ∈ A; MN + NP = MP .
Đẳng thức trong điều kiện 2 của định nghĩa được gọi là hệ thức Chasles.
Khi K = R, ta nói A là một không gian affine thực. Khi K = C, ta nói A là một không gian affine phức.
Đôi khi ta nói A là một K-không gian affine để nhấn mạnh về trường K. − →
(A, A , Φ) là ký hiệu đầy đủ của một không gian affine. Trong trường hợp không có điều gì gây
nhầm lẫn, để đơn giản ta chỉ ghi vắn tắt là A(K) hoặc A. − →
Khi A là không gian vector n-chiều thì ta nói A là không gian affine n-chiều và dùng ký hiệu An
để nhấn mạnh về số chiều của A. Ký hiệu số chiều của A là dim A. Như vậy − → dim A = dim A .
Trong giáo trình này, nếu không nói gì thêm thì không gian affine là không gian affine n-chiều
và trường K sẽ là trường số thực R hoặc là trường số phức C. Tuy vậy, một số chương như các
chương liên quan đến siêu mặt bậc hai chỉ sẽ chú trọng đến việc trình bày trong không gian thực.
Các vấn đề liên quan đến không gian phức sẽ được giới thiệu trong các phụ lục. Các không gian
affine trên một trường K tùy ý như K là trường hữu hạn, K là trường có đặc số khác không . . . sẽ
là các đề tài dành cho sinh viên làm tiểu luận, niên luận, khóa luận hoặc đề tài nghiên cứu. 1.1.2 Các ví dụ
Ví dụ 1. Đối với hình học giải tích ở PTTH, chúng ta cần phân biệt không gian ba chiều thông
thường, là không gian chỉ gồm các điểm, ký hiệu là E3 và không gian các vector “tự do”, ký hiệu là − → − →
E 3. Phép cọng vector và phép nhân vector với một số thực chứng tỏ E 3 là một không gian vector 2 Hình học affine và Euclid
ba chiều. Khi đó việc “vẽ” vector nối hai điểm A và B chính là ánh xạ liên kết Φ. Chúng ta có E3 − →
là một không gian affine liên kết với E 3 vì có thể kiểm tra dễ dàng ánh xạ − → Φ : E3 E × 3 −→ E 3 −→ (A, B) 7−→ AB
thoả mãn các điều kiện nêu trong Định nghĩa 1.
Ví dụ 2. Cho V là không gian vector trên trường K. Ánh xạ Φ : V × V −→ V (− → u , − → v ) 7−→ Φ(− → u , − → v ) := − → v − − → u
rõ ràng là thoả mãn các điều kiện của Định nghĩa 1 nên V là không gian affine liên kết với chính
nó. Ta nói Φ xác định một cấu trúc affine chính tắc trên không gian vector V hay V là không gian
affine với cấu trúc affine chính tắc.
Trường hợp đặc biệt, V = Kn = K × K · · · × K là một không gian affine n chiều với cấu trúc affine | {z } n chính tắc.
Với ví dụ này chúng ta thấy mỗi không gian vector là một không gian affine. Ngược lại chúng ta
có thể đưa cấu trúc vector vào không gian affine A bằng cách chọn cố định một điểm O ∈ A và −−→ − →
đồng nhất mỗi điểm M ∈ A với vector OM ∈ A (xem Bài tập ??). Như vậy chúng ta thấy không
gian affine và không gian vector cùng chiều (ví dụ không gian nền của nó chẳng hạn) chỉ “khác”
nhau ở “một điểm cố định”.
Chú ý. Các bài tập ở mục này sẽ cho chúng ta thêm một số ví dụ về “chuyển cấu trúc affine”
từ một không gian affine vào một không gian bất kỳ nhờ một song ánh; tích của hai không gian
affine (là một không gian affine); không gian affine thương và một định nghĩa khác (tương đương
với Định nghĩa 1) của không gian affine v.v. . . .
1.1.3 Một số tính chất đơn giản suy ra từ định nghĩa
Sau đây là một số tính chất đơn giản suy ra từ định nghĩa của không gian affine.
Với mọi M, N, P, Q ∈ A, ta có −−→ 1. − →
M N = 0 khi và chỉ khi M = N, −−→ −−→ 2. MN = −NM, −−→ −→ −−→ −−→
3. MN = P Q khi và chỉ khi MP = NQ, −−→ −−→ −−→ 4. MN = P N − P M. Chứng minh. 3 Hình học affine và Euclid
1. Giả sử M = N. Theo hệ thức Chasles ta có −−→ −−→ −−→ M M + M M = M M . Do đó −−→ − → M M = 0 . −−→ − → −−→ − →
Ngược lại, nếu MN = 0 thì theo chứng minh trên ta cũng có MM = 0 . Do đó, theo điều
kiện thứ nhất trong Định nghĩa 1, ta có M = N.
2. Theo hệ thức Chasles ta có −−→ −−→ −−→ − → M N + N M = M M = O . Do đó −−→ −−→ M N = −N M . 3. Ta có −−→ −→ −−→ −−→ −−→ −→ −−→ −−→
M N = P Q ⇔ M N + N P = N P + P Q ⇔ M P = N Q.
4. Suy ra từ hệ thức Chasles và tính chất 2. 2 1.2
Phẳng-Độc lập affine và phụ thuộc affine-Bao affine 1.2.1 Phẳng
Phẳng là khái niệm mở rộng theo số chiều của các khái niệm quen thuộc như điểm (0-chiều), đường
thẳng (1-chiều) và mặt phẳng (2-chiều). Trong E3, một đường thẳng d được hoàn toàn xác định
nếu như chúng ta biết một điểm P ∈ d và một vector chỉ phương − →
v của nó. Một mặt phẳng α
được hoàn toàn xác định nếu như chúng ta biết một điểm P ∈ α và một cặp vector chỉ phương {− → u , − →
v } của nó. Chúng ta có thể mô tả đường thẳng d và mặt phẳng α như sau −−→ d = {M ∈ E3 : P M = a− → v ; a ∈ R}, −−→ α = {M ∈ E3 : P M = a− → u + b− → v ; a, b ∈ R}.
Theo cách mô tả này, định nghĩa sau đây hoàn toàn tự nhiên Định nghĩa 2. − →
Cho (A, A , Φ) là một không gian affine, P là một điểm thuộc A và − → α là một − →
không gian vector con của A . Tập hợp −−→ α = {M ∈ A : P M ∈ − → α }
gọi là phẳng đi qua P với (không gian chỉ) phương − → α . Nếu dim − →
α = m, ta nói α là một phẳng m-chiều hay một m-phẳng và viết dim α = m. Như vậy dim α = dim − → α . 4 Hình học affine và Euclid v b a M P M P
Hình 1.1: Đường thẳng được xác định bởi một
Hình 1.2: Mặt phẳng được xác định bởi một
điểm và một vector chỉ phương.
điểm và một cặp vector chỉ phương.
Theo cách gọi thông thường, 1-phẳng là đường thẳng, còn 2-phẳng là mặt phẳng. Siêu phẳng là tên
gọi của phẳng có đối chiều 1, tức là nếu số chiều của không gian là n thì số chiều của siêu phẳng sẽ là n − 1. Nhận xét. −−→ −−→ −−→
1. Nếu α là phẳng đi qua điểm P thì P ∈ α và ∀M, N ∈ α, vector MN = P N − P M ∈ − → α .
2. 0-phẳng là tập chỉ gồm một điểm. Do đó ta có thể xem một điểm là một 0-phẳng.
3. Điểm P trong định nghĩa của phẳng α không đóng vai trò gì đặc biệt so với các điểm khác
của α, điểm P bình đẳng với mọi điểm của α. Điều này có nghĩa là: −−→
∀Q ∈ α; α = {M ∈ A : QM ∈ − → α }. 4. Giả sử − →
α là phẳng đi qua P với phương − →
α và β là phẳng đi qua Q với phương β . Khi đó − →
α ⊂ β khi và chỉ khi P ∈ β và − → α ⊂ β . Từ đó suy ra − →
α ≡ β khi và chỉ khi P ∈ β (hay Q ∈ α) và − → α ≡ β .
5. Nếu α là phẳng với phương − →
α thì α là không gian affine liên kết với − → α bởi ánh xạ liên kết
Φ|α×α : α × α −→ − → α .
Chính vì thế chúng ta có thể xem phẳng là không gian affine con.
Để xác định phương − →
α của một m-phẳng α chúng ta chỉ cần biết một cơ sở của − → α là đủ. Chính vì
thế ở PTTH người ta dùng các khái niệm vector chỉ phương của một đường thẳng và cặp vector
chỉ phương của một mặt phẳng thay cho khái niệm không gian chỉ phương của chúng.
Do đó, trong trường hợp nhiều chiều chúng ta có thể dùng tên gọi hệ vector chỉ phương để chỉ một
cơ sở của không gian chỉ phương. Có điều đáng chú ý là một m-phẳng chỉ có một không gian chỉ
phương duy nhất nhưng có vô số hệ vector chỉ phương khác nhau. 5 Hình học affine và Euclid
1.2.2 Độc lập affine và phụ thuộc affine
Các khái niệm độc lập affine và phụ thuộc affine trong Hình học affine là các khái niệm tương tự
các khái niệm độc lập tuyến tính và phụ thuộc tuyến tính trong Đại số tuyến tính.
1.2.3 Độc lập affine và phụ thuộc affine
Định nghĩa 3. Hệ m + 1 điểm {A0, A1, . . . , Am} (m ≥ 1) của không gian affine A được gọi là độc −−−→ −−−→ −−−→ − →
lập affine nếu hệ m vector {A0A1, A0A2, . . . , A0A
A là một hệ vector độc lập tuyến tính. m} của
Hệ điểm không độc lập affine gọi là phụ thuộc affine. Chú ý.
1. Trong giáo trình này, cũng như trong một số các giáo trình về ĐSTT, khái niệm hệ vector
khác với khái niệm tập hợp, mặc dù dùng ký hiệu như nhau. Trong một số giáo trình khác,
nhiều tác giả sử dụng ký hiệu ( ) để chỉ một hệ vector.
2. Đối với hệ các điểm, đôi khi chúng ta sẽ nói vắn tắt độc lập và phụ thuộc thay cho cụm từ
độc lập affine và phụ thuộc affine. Còn khi nói về hệ các vector thì các cụm từ độc lập và
phụ thuộc sẽ thay cho độc lập tuyến tính và phụ thuộc tuyến tính.
3. Tập gồm chỉ một điểm A0 bất kỳ (trường hợp m = 0) luôn được qui ước là độc lập.
4. Trong định nghĩa trên điểm A0 bình đẳng như các điểm khác vì dễ chứng minh rằng (chứng −−−→ −−−→ −−−→
minh xin dành cho bạn đọc), hệ {A0A1, A0A2, . . . , A0Am} độc lập tuyến tính khi và chỉ khi hệ vector −−−→
−−−−→ −−−−→ −−−→
{AiA0, . . . , AiAi−1, AiAi+1, . . . , AiAm}, i ∈ {1, 2, ..., m} độc lập tuyến tính. −−−→ −−−→ −−−→
5. Hệ {A0, A1, . . . , Am} phụ thuộc affine khi và chỉ khi hệ vector {A0A1, A0A2, . . . ,A0Am} phụ thuộc tuyến tính.
6. Hệ con của một hệ độc lập là độc lập, còn hệ con của một hệ phụ thuộc thì chưa chắc đã phụ thuộc. Ví dụ 3.
1. Hệ hai điểm {P, Q} trong A là độc lập khi và chỉ khi P 6= Q.
2. Hệ ba điểm {P, Q, R} trong A là độc lập khi và chỉ khi chúng không thuộc một đường thẳng (không thẳng hàng).
3. Hệ bốn điểm {P, Q, R, S} trong A là độc lập khi và chỉ khi chúng không cùng thuộc một
mặt phẳng (không đồng phẳng).
4. Tổng quát, hệ m + 1 điểm {A0, A1, ..., Am} trong A là độc lập khi và chỉ khi chúng không
cùng thuộc một (m − 1)-phẳng. 6 Hình học affine và Euclid
Định lý 1.2.1. Trong không gian affine n chiều An, với 0 < m ≤ n + 1, luôn tồn tại các hệ m
điểm độc lập. Mọi hệ gồm hơn n + 1 điểm đều phụ thuộc. Chứng minh. − → Giả sử {− → e An. Lấy 1 , − → e2 , . . . , − →
en} là một cơ sở nào đó của
A0 ∈ An. Khi đó tồn tại
duy nhất các điểm A sao cho i −−−→ A0Ai = − → ei , i = 1, 2, . . . , n.
Theo định nghĩa, hệ {A0, A1, A2, . . . , An} là hệ gồm n + 1 điểm độc lập. Khi đó, dĩ nhiên hệ
{A0, A1, A2, . . . , Am−1}, với 0 < m ≤ n + 1, là hệ gồm m điểm độc lập. −−−→ −−−→ −−−→
Nếu hệ {B0, B1, B2, . . . , Bp} gồm hơn n + 1 điểm, tức là p > n, thì hệ {B0B1, B0B2, . . . , B0Bp}
là hệ có nhiều hơn n vector nên phụ thuộc tuyến tính. Theo định nghĩa, hệ gồm p + 1 điểm
{B0, B1, B2, . . . , Bp} phụ thuộc affine. 2
1.2.4 Giao của các phẳng-Bao affine
Cho {αi : i ∈ I} là một họ không rỗng các phẳng trong không gian affine A. Định lý 1.2.2. Nếu T α α − → α i∈I i 6= ∅ thì Ti∈I
i là một phẳng có phương là Ti∈I i. Chứng minh. Vì T α α . Điểm M ∈ T α khi và chỉ khi i∈I i 6= ∅ nên tồn tại P ∈ Ti∈I i i∈I i −−→ −−→ M ∈ α − →
i, ∀i ∈ I ; tức là khi và chỉ khi P M ∈ − →
α i, ∀i ∈ I. Điều này tương đương với P M ∈ T α i∈I i. Nói cách khác \ −−→ \ α − → i = {M ∈ A : P M ∈ α i}, i∈I i∈I nghĩa là T
α là phẳng đi qua P với không gian chỉ phương là T − → α i∈I i i∈I i. 2
Định nghĩa 4. Phẳng T α trong Định lý 1.2.2 được gọi là i
phẳng giao của các phẳng αi. i∈I
Từ định nghĩa trên, chúng ta dễ nhận thấy rằng T
α chính là phẳng lớn nhất (theo quan hệ i∈I i
bao hàm) chứa trong tất cả các phẳng αi, i ∈ I.
Định nghĩa 5. Cho X là một tập con khác rỗng của không gian affine A. Khi đó giao của mọi
phẳng chứa X trong A sẽ là một cái phẳng, gọi là bao affine của X, ký hiệu hXi.
Bao affine hXi của tập X là cái phẳng bé nhất (theo quan hệ bao hàm) chứa X.
Định nghĩa 6. Cho {αi : i ∈ I} là một họ không rỗng các phẳng. Bao affine của tập hợp S α i∈I i
được gọi là phẳng tổng (hay vắn tắt tổng) của các phẳng αi, ký hiệu P αi. i∈I
Như vậy phẳng tổng là phẳng bé nhất (có số chiều bé nhất) chứa tất cả các αi, i ∈ I.
Khi I là tập hữu hạn, chẳng hạn I = {1, 2, . . . , m} thì ta viết α để 1 + α2 + . . . + α hay Pm m α i=1 i
biểu thị cho tổng của các phẳng αi, thay cho P αi. i∈I 7 Hình học affine và Euclid
Dễ thấy rằng nếu X là một hệ hữu hạn điểm, X = {P0, P1, . . . , Pm}, thì tổng P0 + P1 + . . . + Pm (xem các P là các i
0-phẳng) là phẳng có số chiều bé nhất đi qua các điểm này. Hơn nữa dim(P0 + −−→ −−→ −−−→
P1 + . . . + Pm) = rank{P0P1, P0P1, . . . P0Pm}. Do đó, nếu hệ điểm {P0, P1, . . . , Pm} độc lập thì dim(P0 + P1 + . . . + Pm) = m.
Chứng minh nhận xét này xin dành cho bạn đọc.
Định lý 1.2.3. Cho α và β là hai cái phẳng. Nếu α ∩ β 6= ∅ thì với mọi điểm P ∈ α và với −→ − →
mọi điểm Q ∈ β ta có P Q ∈ − →
α + β . Ngược lại nếu có điểm P ∈ α và có điểm Q ∈ β sao cho −→ − → P Q ∈ − → α + β thì α ∩ β 6= ∅.
Chứng minh. Giả sử α ∩ β 6= ∅. Lấy điểm M ∈ α ∩ β. Khi đó với mọi điểm P ∈ α và với mọi −−→ −−→ − →
điểm Q ∈ β, ta có P M ∈ − → α và M Q ∈ β . Do đó −→ −−→ −−→ − → P Q = P M + M Q ∈ − → α + β . −→ − → −→ − →
Ngược lại giả sử có điểm P ∈ α và có điểm Q ∈ β sao cho P Q ∈ − → α + β . Do P Q ∈ − → α + β nên −→ − → P Q = − → u + − → v ; với − → u ∈ − → α , − → v ∈ β . −−→
Khi đó tồn tại duy nhất điểm M ∈ α và tồn tại duy nhất điểm N ∈ β sao cho P M = − → u và −−→ −→ −−→ −−→ −→ −−→ −−→ −−→ QN = −− → v . Do đó, P Q = P M − QN
hay P Q + QN = P N = P M nên N ≡ M, tức là α ∩ β 6= ∅. 2
Chúng ta có định lý sau nói về số chiều của tổng hai cái phẳng, tương tự như định lý nói về số
chiều của tổng hai không gian vector con. Định lý 1.2.4. − →
Giả sử α và β là hai cái phẳng với phương lần lượt là − → α và β . Khi đó 1. nếu α ∩ β 6= ∅ thì
dim(α + β) = dim α + dim β − dim(α ∩ β); 2. nếu α ∩ β = ∅ thì − →
dim(α + β) = dim α + dim β − dim(− → α ∩ β ) + 1. Chứng minh. 1. Nếu − →
α ∩ β 6= ∅ thì theo Định lý 1.2.2, α ∩ β là phẳng có phương − →
α ∩ β . Lấy P ∈ α ∩ β và gọi − →
γ là phẳng đi qua P với phương − → γ = − →
α + β . Rõ ràng là α ⊂ γ và β ⊂ γ. Ngoài ra nếu có phẳng − →
γ0 chứa α và β thì P ∈ γ0 và phương của γ0 phải chứa − →
α và β . Nói cách khác ta
có γ ⊂ γ0. Vậy γ là phẳng bé nhất chứa α và β, tức là γ = α + β. Do đó − →
dim(α + β) = dim γ = dim − → γ = dim(− → α + β ) − → − → = dim − → α + dim β − dim(− → α ∩ β )
= dim α + dim β − dim(α ∩ β). 8 Hình học affine và Euclid −→ 2. Giả sử − →
α ∩ β = ∅. Lấy P ∈ α và Q ∈ β, theo Định lý 1.2.3 ta có P Q 6∈ − → α + β . Gọi − → γ là −→
không gian con một chiều sinh bởi − → − → P Q, ta có (− → α + β ) ∩ − →
γ = { 0 }. Gọi η là phẳng đi qua − → P với phương là − → α + β + − →
γ thì rõ ràng α ⊂ η và β ⊂ η. Do đó α + β ⊂ η. − → − →
Ngoài ra nếu η0 là phẳng chứa α và β thì P ∈ η0 và phương η0 của η0 phải chứa − → α , β và − → γ .
Do đó η ⊂ η0. Từ đây suy ra rằng η là cái phẳng bé nhất chứa cả α và β, hay nói cách khác η = α + β. − → Do dim((− → α + β ) ∩ − → γ ) = 0 nên ta có dim(α + β) = dim η − → = dim(− → α + β + − → γ ) − → − → = dim − → α + dim β + dim − → γ − dim(− → α ∩ β ) − →
= dim α + dim β + 1 − dim(− → α ∩ β ). 2 1.3 Vị trí tương đối
Mục này nêu các định nghĩa về các vị trí tương đối có thể xảy ra giữa hai phẳng như cắt nhau,
chéo nhau và song song. Cần phải chú ý là các định nghĩa nêu ở mục này không hoàn toàn giống
như ở các định nghĩa tương tự ở PTTH. Các ví dụ ngay sau định nghĩa sẽ giúp chúng ta thấy rõ
sự khác nhau này. Lý do chọn các định nghĩa như thế này là để các phát biểu liên quan đến các
vị trí tương đối giữa các phẳng được phát biểu một cách đơn giản và ngắn gọn hơn. Cũng có thể
trình bày các định nghĩa sao cho phù hợp với các định nghĩa đã biết ở PTTH. Vấn đề này được
đưa vào phần bài tập (xem Bài tập ??).
Định nghĩa 7. Hai phẳng α và β được gọi là cắt nhau cấp r nếu α ∩ β là một r - phẳng. Chúng − →
được gọi là chéo nhau cấp r nếu α ∩ β = ∅ và dim(− →
α ∩ β ) = r. Chúng được gọi là song song (với nhau) nếu − → − → − → α ⊂ β hoặc β ⊂ − → α .
Ví dụ 4. Xét trong không gian 3 chiều thông thường E3.
1. Hai đường thẳng “cắt nhau theo nghĩa ở PTTH” là hai 1-phẳng cắt nhau cấp 0. Tổng của
chúng là mặt phẳng duy nhất xác định bởi hai đường thẳng đó.
2. Hai mặt phẳng “cắt nhau theo nghĩa ở PTTH” là hai 2-phẳng cắt nhau cấp 1. Tổng của chúng chính là E3.
3. Hai đường thẳng “song song theo nghĩa ở PTTH” là hai 1-phẳng song song. Chúng cũng là
hai 1-phẳng chéo nhau cấp 1. Tổng của chúng chính là mặt phẳng chứa hai đường thẳng đó.
4. Tương tự, hai mặt phẳng “song song theo nghĩa ở PTTH” là hai 2-phẳng song song. Chúng
cũng là hai 2-phẳng chéo nhau cấp 2.
5. Hai đường thẳng “chéo nhau theo nghĩa ở PTTH” là hai 1-phẳng chéo nhau cấp 0. Tổng của chúng chính là E3. 9 Hình học affine và Euclid d
Hình 1.3: Hai mặt phẳng song song hay hai
Hình 1.4: Đường thẳng song song với mặt
mặt phẳng chéo nhau cấp 2.
phẳng hay đường thẳng và mặt phẳng chéo nhau cấp 1.
6. Theo Định lý 1.2.4, trong E3 không tồn tại hai mặt phẳng chéo nhau cấp 0 hoặc cấp 1.
Định lý 1.3.1. Cho hai phẳng song song α và β. Nếu α ∩ β 6= ∅ thì α ⊂ β hoặc β ⊂ α. Chứng minh. − →
Do α và β có điểm chung nên giao α ∩ β là một phẳng với phương − →
α ∩ β . Do α và β song song − → − → − → − → nên − → α ⊂ β hoặc β ⊂ − → α . Nếu − →
α ⊂ β thì α ∩ β = α tức là α ⊂ β. Nếu β ⊂ − → α thì α ∩ β = β, tức là β ⊂ α. 2
Định lý 1.3.2. Qua một điểm A có một và chỉ một m-phẳng song song với m-phẳng α đã cho.
Chứng minh. Gọi β là m-phẳng đi qua A với phương là − →
α . Khi đó β là phẳng m-chiều song − → − →
song với α. Nếu β0 cũng là m-phẳng đi qua A và song song với α thì suy ra β 0 = β (= − → α ). Do β
và β0 có điểm chung nên theo Định lý 1.3.1 ta suy ra β ≡ β0. 2 Hình 2.
Định lý 1.3.3. Trong không gian affine n chiều An cho một siêu phẳng α và một m-phẳng
β (1 ≤ m ≤ n − 1). Khi đó α và β hoặc song song hoặc cắt nhau theo một (m − 1)-phẳng.
Chứng minh. Nếu β ⊂ α thì theo định nghĩa ta có α và β song song.
Nếu β 6⊂ α, thì α + β = A. Ta có hai trường hợp. 10 Hình học affine và Euclid d
Hình 1.6: Đường thẳng thuộc mặt phẳng hay
Hình 1.5: Hai mặt phẳng cắt nhau cấp 1.
đường thẳng và mặt phẳng cắt nhau cấp 1.
1. Trường hợp 1: α ∩ β 6= ∅. Áp dụng công thức 1 của Định lý 1.2.4 ta có
dim A = dim α + dim β − dim(α ∩ β), hay
n = n − 1 + m − dim(α ∩ β). Suy ra dim(α ∩ β) = m − 1.
Vậy α và β cắt nhau theo một (m − 1)-phẳng (cắt nhau cấp m − 1).
2. Trường hợp 2: α ∩ β = ∅. Áp dụng công thức 2 của Định lý 1.2.4 ta có − →
n = n − 1 + m + 1 − dim(− → α ∩ β ). − → − → − → − → Suy ra dim(− →
α ∩ β ) = m. Điều này chứng tỏ − →
α ∩ β = β , hay β ⊂ − → α , tức α và β song song. 2
1.4 Mục tiêu affine-Phương trình của phẳng
Trong mục này chúng ta sẽ đưa vào không gian affine một “hệ tọa độ”. Nhờ có “hệ tọa độ” này các
đối tượng hình học như điểm, phẳng và sau này là siêu mặt bậc hai v.v. . . sẽ được đồng nhất với
đối tượng đại số như tọa độ (phần tử của Kn), phương trình, hệ phương trình đại số . . . . Nhờ vậy,
chúng ta có thể áp dụng Đại số tuyến tính vào việc nghiên cứu các đối tượng hình học (phương 11 Hình học affine và Euclid
pháp tọa độ trong hình học). Bắt đầu từ đây chúng ta sẽ thấy dần vai trò của Đại số tuyến tính
trong việc nghiên cứu hình học affine. Đại số tuyến tính cũng đóng vai trò chính trong việc xây
dựng và nghiên cứu Hình học xạ ảnh. Điều này giải thích lý do Hình học affine cùng với Hình học
xạ ảnh, trong chương trình Hình học dành cho Sinh viên Sư phạm Toán, được gọi chung một cái
tên là Hình học tuyến tính. Chúng ta sẽ thấy nhiều kết quả của Hình học affine (và sau này là các
kết quả trong Hình học xạ ảnh) chính là các kết quả của Đại số tuyến tính được “trình bày" lại theo ngôn ngữ hình học.
1.4.1 Mục tiêu và tọa độ affine
Trong Hình học giải tích ở PTTH hai hệ tọa độ thường được dùng là hệ tọa độ Descartes, hệ tọa
độ gồm 1 điểm gốc O và một hệ các vector trực chuẩn; hệ tọa độ trực giao, hệ tọa độ gồm 1 điểm
gốc O và một hệ các vector trực giao. Hệ tọa độ affine (hệ tọa độ xiên), ít được thấy giới thiệu trong các sách của PTTH.
Định nghĩa 8. Cho An là một không gian affine n chiều. Hệ {O; − → e1 , − → e2 , . . . , − → en}, gồm một điểm − →
O ∈ An và một cở sở {− → e1 , . . . , − → e An n } của
, được gọi là một mục tiêu affine (hay vắn tắt mục tiêu)
của An. Điểm O được gọi là gốc, vector − → e được gọi là i
vector cơ sở thứ i, i = 1, 2, ..., n.
Để chỉ mục tiêu {O; − → e hay đơn giản hơn nữa 1 , − → e2 , . . . , − →
en} thường chúng ta sẽ viết {O; − → ei }i=1,2,...,n là {O; − → ei }. Giả sử {O; − →
ei } là một mục tiêu của không gian affine An. Khi đó với mọi M ∈ An, vector −−→ − → −−→
OM ∈ A n, nên ta có biểu diễn tuyến tính của OM qua cơ sở {− → ei }: −−→ n X OM = x − → i ei . i=1 −−→
Điều này có nghĩa là vector OM có tọa độ (x1, x2, . . . , xn) đối với cơ sở {− →
ei }, xi ∈ K, i = 1, 2, . . . , n.
Khi đó bộ (x1, x2, . . . , xn) ∈ Kn, viết tắt (xi), cũng được gọi là tọa độ của M đối với (hay trong) mục tiêu {O; − → e được gọi là i } và xi
tọa độ thứ i của M. Để chỉ điểm M có tọa độ (xi) đối với mục tiêu {O; − →
ei }, ta thường dùng một trong các ký hiệu M (x1, x2, . . . , x hoặc n)/{O;− → e M (x i } i)/{O;− → ei }.
Tuy nhiên nếu không có gì gây nhầm lẫn, ta chỉ viết
M (x1, x2, . . . , xn) hay M(xi).
Giả sử M có tọa độ (xi) và N có tọa độ (yi) đối với mục tiêu affine {O; − → ei }, ta có −−→ −−→ −−→ n n n X X X M N = ON − OM = y − → − → − → i ei − xi ei = (yi − xi)ei . i=1 i=1 i=1 −−→
Hay vector MN có tọa độ (yi − xi) đối với cơ sở {− → ei }. 12 Hình học affine và Euclid
Như vậy, “tọa độ của vector bằng tọa độ của điểm ngọn trừ đi tọa độ của điểm gốc”. Nhận xét.
1. Giả sử trên An đã chọn mục tiêu cố định {O; − → ei }. Xét ánh xạ ϕ : A −→ Kn M 7−→ (xi)
với (xi) là tọa độ của M đối với mục tiêu affine {O; − →
ei }. Ta có ϕ là một song ánh. Ánh xạ
này cho phép đồng nhất mỗi điểm của A với một phần tử của Kn và nhờ đó sau này các đối
tượng hình học sẽ được đồng nhất với các đối tượng đại số.
2. Xét mục tiêu affine {O; − →
ei } của An và gọi Ei ∈ An, i = 1, ..., n là các điểm sao cho −− → OEi = − → ei .
Khi đó hệ điểm {O, E1, E2, . . . , En} là hệ điểm độc lập affine. Ngược lại một hệ gồm n + 1 −−→ điểm {O, E . Do đó
1, E2, . . . , En} độc lập xác định mục tiêu affine {O; − → ei } với − → ei = OEi
ta cũng gọi một hệ n + 1 điểm độc lập trong An là một mục tiêu affine và dùng ký hiệu {O; E1, E2, . . . , E hoặc n} hoặc {O; Ei}i=1,2,...,n
{O; Ei} để chỉ một mục tiêu với điểm gốc là O.
Theo định nghĩa ta có điểm O có tọa độ (0, 0, . . . , 0) và điểm E có tọa độ i
(0, . . . , 0, 1, 0, . . . , 0), − →
số 1 đứng ở vị trí thứ i, đối với mục tiêu affine {O; Ei}.
3. Siêu phẳng đi qua n điểm độc lập O, E1, E2, . . . , E được gọi là i−1, Ei+1, . . . , En siêu phẳng
tọa độ thứ i. Dễ thấy điểm M thuộc siêu phẳng tọa độ thứ i khi và chỉ khi x là i = 0, với xi tọa độ thứ i của M.
1.4.2 Công thức đổi mục tiêu
Giả sử trong không gian affine An ta có hai mục tiêu affine khác nhau {O; − → e 0 i } và {O0, − → ei }. Một
điểm M ∈ An sẽ có hai bộ tọa độ khác nhau (xi) và (x0 ) tương ứng đối với chúng. Vấn đề cần i
quan tâm là tìm mối liên hệ giữa các bộ tọa độ này. Giả sử −−→ n X OO0 = b − → i ei , i=1 và − → e 0 = c − → e − → e − → e  1 11 1 + c21 2 + . . . + cn1 n   − → e 0 − → − → − → 2
= c12e1 + c22 e2 + . . . + cn2en  . . .   − → e 0 − → − → − → n
= c1ne1 + c2n e2 + . . . + cnnen hay viết gọn − → e 0 − → j = Pn c e i=1 ij i ,
j = 1, 2, . . . , n. Điểm M có tọa độ trong hai mục tiêu đó theo thứ
tự là (xi) và (x0), có nghĩa là i −−→ n n X −−→ X OM = x − → − →0 i ei , O0M = x0 ej . j i=1 j=1 13 Hình học affine và Euclid Ta có n n n X −−→ −−→ −−→ X X x − → − → − →0 iei = OM = OO0 + O0M = bi ei + x0j ej i=1 i=1 j=1 n n n n n X X X X X = b − → − → i ei + x0 c e ( c + b j ij i = ij x0j i)− → ei . i=1 j=1 i=1 i=1 j=1 Do đó, n X xi = cijx0 + b j i, i = 1, 2, . . . , n. (1.1) j=1
Công thức trên được viết dưới dạng tường minh  + c + . . . + c + b x1 = c11x01 12x02 1nx0n 1   x 0 2 = c21x + c + . . . + c 1 22x02 2nx0 + b n 2 , (1.2)  . . .   x 0 n = cn1x + c + . . . + c + b 1 n2x02 nnx0n n hay dưới dạng ma trận [x] = C[x0] + [b], (1.3) với   c11 c12 . . . c1n c21 c22 . . . c2n C =    .. ..   . . ... ...  cn1 cn2 . . . cnn
là ma trận chuyển cơ sở từ cơ sở {− → e 0 i } sang cơ sở {− →
ei }, do đó C không suy biến (det C 6= 0) và       x1 x0 b 1 1 x2 x0   b  2 2 [x] =       .  ..  ,
[x0] =  .. , [b] =  ..   .   .   .  xn x0 b n n
Công thức (1.1) (hay (1.2), (1.3)) và ma trận C lần lượt được gọi là công thức đổi tọa độ (hay công
thức đổi mục tiêu) và ma trận đổi tọa độ (hay ma trận đổi mục tiêu) từ mục tiêu {O; − → ei } sang mục tiêu {O0; − → e 0 i }.
Ví dụ 5. Trong không gian affine A cho mục tiêu {O; − →
ei }. Giả sử O0 là điểm có tọa độ (bi) đối với mục tiêu {O; − → e 0 i } và − → ei = − → e1 + − → e2 + . . . + − → ei , i = 1, 2, . . . , n.
1. Do ma trận chuyển cơ sở từ cơ sở {− → ei } sang cơ sở {− →
ei } là ma trận đơn vị nên công thức đổi
tọa độ từ mục tiêu {O; − → ei } sang mục tiêu {O0; − → ei } có dạng xi = x0 + b i i, i = 1, 2, . . . , n. 14 Hình học affine và Euclid
2. Do ma trận chuyển cơ sở từ cơ sở {− → e 0 i } sang cơ sở {− → ei } là ma trận   1 1 . . . 1 0 1 . . . 1 C =   ,  .. ..   . . ... ... 0 0 . . . 1
nên công thức đổi tọa độ từ mục tiêu {O; − → e 0 i } sang mục tiêu {O; − → ei } có dạng x 0 i = x + x0 + . . . + x0 i i+1 , i = 1, 2, . . . , n, n
và công thức đổi tọa độ từ mục tiêu {O; − → e 0 i } sang mục tiêu {O0; − → ei } có dạng x + b i = x0 + x0 + . . . + x0 i i+1 n i, i = 1, 2, . . . , n.
1.4.3 Phương trình của m-phẳng
Phương trình tham số. Cho An là một không gian affine n chiều, với mục tiêu affine {O; − → ei }
cho trước, và α là một m-phẳng đi qua điểm P với phương − →
α , 0 < m < n. Giả sử −→ n X OP = b − → i ei , i=1 và {− → a1, − → a2, . . . , − →
am} là một cở sở của − → α , với n − → X a − → p = aipei ; p = 1, 2, . . . , m. i=1 −−→
Điểm M có tọa độ (xi) đối với mục tiêu {O; − →
ei } thuộc α khi và chỉ khi P M ∈ − → α , tức là khi và
chỉ khi có các phần tử tp ∈ K, p = 1, 2, . . . , m sao cho −−→ m X P M = t − → pap . p=1 Ta có −−→ −−→ −→ n n n X X X P M = OM − OP = x − → − → − → i ei − bi ei = (xi − bi) ei , (1.4) i=1 i=1 i=1 và ta cũng có −−→ n m n n m X X X X X P M = t − → − → pap = tp aip ei = ( aiptp)− → ei . (1.5) i=1 p=1 i=1 i=1 p=1
Nên từ (1.4) và (1.5) ta suy ra m X xi =
aiptp + bi, i = 1, 2, . . . , n. (1.6) p=1 15 Hình học affine và Euclid
Hệ phương trình (1.6) được viết dưới dạng tường minh x  1
= a11t1 + a12t2 + . . . + a1mtm + b1   x2
= a21t1 + a22t2 + . . . + a2mtm + b2 , (1.7)  . . .  
xn = an1t1 + an2t2 + . . . + anmtm + bn hay dưới dạng ma trận [x] = A[t] + [b], (1.8) với   a11 a12 . . . a1m a21 a22 . . . a2m  A =    .. ..   . . ... ...  an1 an2 . . . anm
là ma trận có hạng bằng m và       x1 t1 b1  x2   t2 b2 [x] =       .  .. ,
[t] =  ..  , [b] =  ..   .   .   .  xn tm bn
Hệ phương trình (1.6), (1.7) và (1.8) có thể viết dưới dạng vector − → − → x = t − → − → − → 1a1 + t2 a2 + . . . + tmam + b (1.9) − → với − →
x là vector có tọa độ (x1, x2, . . . , xn) và b là vector có tọa độ (b1, b2, . . . , bn).
Hệ phương trình (1.6) (hay (1.7), (1.8), (1.9)) được gọi là phương trình tham số của m-phẳng α
còn các phần tử tp, p = 1, 2, ..., m gọi là các tham số. Nhận xét.
1. Ánh xạ M ∈ α 7→ (t1, t2, ..., tm) ∈ Km là một song ánh từ α lên Km. Như vậy, mỗi điểm
M ∈ α có thể đồng nhất với một bộ m số. 2. Do hệ vector {− → a1, − → a2, . . . , − → a có hạng bằng m.
p } độc lập nên ma trận A = (aip)n×m
3. Ngược lại, dễ thấy một hệ phương trình dạng (1.6) (hay (1.7), (1.8), (1.9)) với hạng ma trận hệ số A = (a bằng ip)n×m
m sẽ là phương trình của m-phẳng đi qua điểm P có tọa độ (b − →
1, b2, . . . , bn) với không gian chỉ phương − → α có một cơ sở là {− → ap : − → ap = Pn a e i=1 ip i , p = 1, 2, . . . , m}.
Ví dụ 6. Phương trình tham số của một đường thẳng α trong không gian affine n chiều có dạng
xi = ait + bi, i = 1, 2, . . . , n.
Trong đó t là tham số, các phần tử a1, a2, . . . , a không đồng thời bằng 0 là các thành phần tọa độ n
của vector chỉ phương − →
a của α, (b1, b2, . . . , bn) là tọa độ của điểm P cho trước thuộc α còn (xi)
là tọa độ của điểm tùy ý M ∈ α. 16 Hình học affine và Euclid
Phương trình tổng quát. Trong không gian affine n chiều An cho m-phẳng α có phương trình
tham số (1.7). Nếu xem phương trình tham số của α là một hệ gồm n phương trình đối với m ẩn t1, t2, . . . , t còn các m
xi, i = 1, 2, . . . , n, là các hằng thì từ điều kiện ma trận hệ số A = (aip)n×m
có hạng là m ta có thể chọn trong n phương trình của hệ một hệ gồm m phương trình độc lập (có
định thức của hệ khác không). Không mất tính tổng quát có thể giả sử đó là hệ gồm m phương
trình đầu. Giải hệ m phương trình đó (là hệ Crammer) ta tìm được các nghiệm t1, t2, . . . , t , biểu m
thị một cách duy nhất (do đó các t là duy nhất) dưới dạng bậc nhất qua các . Thay i x1, x2, . . . , xm
m giá trị này của các t vào i
n − m phương trình còn lại ta thu được hệ phương trình dạng m
Xcijxj + xm+i + ci = 0, i = 1, 2, . . . , n − m. (1.10) j=1
Hay viết dưới dạng tường minh 
 c11x1 + . . . + c1mxm + xm+1 + c1 = 0  
 c21x1 + . . . + c2mxm + xm+2 + c2 = 0 . (1.11)  . . .  
 c(n−m)1x1 + . . . + c(n−m)mxm + xn + cn−m = 0
Ma trận hệ số của hệ phương trình (1.10) có hạng n − m vì có định thức con cấp n − m ứng với các ẩn x là m+1, xm+2, . . . , xn   1 0 0 . . . 0    0 1 0 . . . 0    = 1 6= 0. .. .. ..  . . . ... ...    0 0 0 . . . 1 
Mỗi điểm thuộc m-phẳng α sẽ có tọa độ thỏa mãn hệ phương trình trên và ngược lại.
Tóm lại, mỗi m-phẳng trong không gian An được biểu thị bằng một hệ phương trình tuyến tính có hạng bằng n − m.
Ta sẽ chứng minh điều ngược lại, mỗi hệ phương trình tuyến tính dạng c11x1 + . . . + c  1nxn + c1 = 0  
c21x1 + . . . + c2nxn + c2 = 0 , (1.12) . . .  
c(n−m)1x1 + . . . + c(n−m)nxn + cn−m = 0
với ma trận hệ số có hạng bằng n − m sẽ xác định một m-phẳng nào đó của An.
Thật vậy, do hạng của ma trận hệ số bằng n − m nên hệ phương trình (1.12) luôn có nghiệm theo
Định lý Kronecker-Capelli. Gọi (b1, b2, . . . , bn) là một nghiệm của hệ và gọi (a1j, a2j, . . . , anj), j =
1, 2, . . . , m là một hệ nghiệm cơ bản của hệ phương trình tuyến tính thuần nhất tương ứng. Đặt − → P (b1, b2, . . . , b An n) ∈ An và − → aj (a1j, a2j, . . . , anj) ∈
; j = 1, 2, . . . , m. Hệ vector {− → aj } là hệ vector − →
độc lập nên sinh ra một không gian con m-chiều − →
α của An. Chú ý rằng mỗi vector − → u ∈ − → α có tọa
độ là nghiệm của hệ phương trình tuyến thuần nhất tương ứng. Gọi α là m-phẳng đi qua P với phương là − →
α thì do mỗi nghiệm của hệ phương trình tuyến tính là tổng của một nghiệm riêng và
một nghiệm của hệ phương trình tuyến tính thuần nhất tương ứng nên ta dễ dàng suy ra điểm 17 Hình học affine và Euclid −−→
M (xi) ∈ α khi và chi khi (xi) là nghiệm của hệ. Thật vậy, M ∈ α khi và chỉ khi P M = − → u (ui) ∈ − → α .
Về phương diện tọa độ ta có (xi) − (bi) = (ui), hay (xi) = (bi) + (ui),
tức là (xi) là một nghiệm của hệ.
Như vậy, mỗi m-phẳng được đặc trưng bởi một hệ phương trình dạng (1.12) với ma trận hệ số có
hạng bằng n − m. Ta gọi hệ phương trình dạng (1.12) là phương trình tổng quát của m-phẳng. Ví dụ.
1. Phương trình tổng quát của một siêu phẳng trong An đối với một mục tiêu affine cho trước có dạng n X aixi + b = 0, (1.13) i=1
trong đó các phần tử ai ∈ K, i = 1, 2, . . . , n không đồng thời bằng không.
Như vậy từ phương trình tổng quát của m-phẳng, ta có thể xem một m-phẳng là giao của
n − m siêu phẳng (độc lập) nào đó.
2. Phương trình tổng quát của siêu phẳng đi qua điểm P có tọa độ (b1, b2, . . . , bn) có dạng n X ai(xi − bi) = 0, (1.14) i=1
trong đó các phần tử ai ∈ K, i = 1, 2, . . . , n không đồng thời bằng không.
3. Trong An với mục tiêu cho trước {O; − → e với có tọa độ
i }, cho n điểm độc lập A1, . . . , An Ai
(a1i, . . . , ani) đối mục tiêu đã cho. Gọi α là siêu phẳng đi qua A1, A2, . . . , An. Khi đó điểm M −−−→
có tọa độ (x1, x2, . . . , xn) đối với mục tiêu {O; − →
ei } thuộc α khi và chỉ khi vector A1M cùng −−−→
với các vector A1Ai, i = 2, 3, . . . , n lập thành một hệ phụ thuộc tuyến tính, tức là khi và chỉ khi    x1 − a11 x   2 − a21 . . . xn − an1  a12 − a11
a22 − a21 . . . an2 − an1     .. .. = 0, (1.15)   . . ... ...    a1n − a11
a2n − a21 . . . ann − an1  hay   1 x   1 x2 . . . xn  1 a   11 a21 . . . an1  = 0. (1.16) .. .. ..   . . . ... ...    1 a1n a2n . . . ann 
Khai triển (1.16), ta được một phương trình tuyến tính bậc nhất đối với n biến x1, x2, ..., xn.
Đây chính là phương trình tổng quát của siêu phẳng α. 18 Hình học affine và Euclid
1.5 Tâm tỉ cự. Tỉ số đơn 1.5.1 Tâm tỉ cự
Định nghĩa 9. Cho họ điểm {P1, P2, . . . , Pm} ⊂ An và họ hệ số {λ1, λ2, . . . , λm}, λi ∈ K, thoả mãn điều kiện
λ := λ1 + λ2 + . . . + λm 6= 0.
Lấy một điểm O tùy ý của An, khi đó 1 −−→ −−→ (λ OP OP λ 1 1 + . . . + λm m)
là một vector xác định của An. Do đó tồn tại duy nhất một điểm G ∈ An sao cho −→ 1 −−→ −−→ OG = (λ OP OP λ 1 1 + . . . + λm m). (1.17)
Ta gọi điểm G là tâm tỉ cự của họ {P1, P2, . . . , Pm} gắn với họ hệ số {λ1, λ2, . . . , λm}.
Định lý 1.5.1. Điểm G là tâm tỉ cự của họ điểm {P1, P2, . . . , Pm} gắn với họ hệ số {λ1, λ2, . . . , λm}
khi và chỉ khi G thoả mãn hệ thức −−→ −−→ −−→ − →
λ1GP1 + λ2GP2 + . . . + λmGPm = 0 . (1.18) Chứng minh. Thật vậy, −→ 1 −−→ −−→ OG = (λ OP OP λ 1 1 + . . . + λm m) −→ −−→ −−→
⇔(λ1 + λ2 + . . . + λm)OG = λ1 OP1 + . . . + λmOPm −→ −−→ −→ −−→ − →
⇔λ1(GO + OP1) + . . . + λm(GO + OPm) = 0 −−→ −−→ −−→ − →
⇔λ1 GP1 + λ2GP2 + . . . + λmGPm = 0 . 2
Từ Định lý 1.5.1 ta dễ dàng chứng minh hai hệ quả sau.
Hệ quả 1.5.2. Tâm tỉ cự không phụ thuộc vào điểm O được chọn mà chỉ phụ thuộc vào hệ điểm
{P1, P2, . . . , Pm} và họ hệ số {λ1, λ2, . . . , λm}.
Hệ quả 1.5.3. Khi thay họ hệ số {λ1, λ2, . . . , λm} bởi họ hệ số {kλ1, kλ2, . . . , kλm}, k 6= 0, thì
tâm tỉ cự vẫn không thay đổi.
Định nghĩa 10. Tâm tỉ cự G của {P1, P2, . . . , Pm} gắn họ hệ số {λ1, λ2, . . . , λm} với λ1 = λ2 =
. . . = λ (theo Hệ quả 1.5.3 ta có thể chọn m
λ1 = λ2 = . . . = λm = 1) gọi là trọng tâm của hệ điểm đó. 19 Hình học affine và Euclid
Dễ thấy trọng tâm G được xác định bởi hệ thức −→ m 1 X −−→ OG = OP m i, (1.19) i=1
trong đó O ∈ A tùy ý, hay m X− −→ − → GPi = 0 . (1.20) i=1
Trọng tâm của hệ hai điểm {P, Q} còn gọi là trung điểm của cặp điểm P, Q.
Chúng ta cần chú ý rằng mọi hệ m điểm có trọng tâm khi và chỉ khi đặc số của trường K là khác
m. Trong trường hợp K = R hoặc C thì mọi hệ hữu hạn điểm đều có trọng tâm.
Định lý sau cho thấy có thể dùng khái niệm tâm tỉ cự để đặc trưng các phẳng.
Định lý 1.5.4. Tập tất các các tâm tỉ cự với họ các hệ số khác nhau của hệ điểm {P0, P1, . . . , Pm}
trong không gian affine An chính là phẳng α = P0 + P1 + . . . + Pm. Chứng minh. −−→ −−→ −−−→ Dễ thấy − →
α được sinh bởi hệ vector {P0P1, P0P2, . . . , P0Pm}. Ta có thể giả sử một −−→ −−→ −−→
cơ sở của α là {P0P1, P0P2, . . . ,P0Pk}, tức là α là cái phẳng k-chiều. Giả sử điểm G ∈ α. Điều này −−→ −−→ tương đương với −−→ P0G ∈ − → α hay P0G = Pk λ P i=1 i 0Pi. Ta có −−→ k k k X −−→ −−→ X −−→ X −−→ − → P0G = λi(GPi −GP0) ⇔ (1 − λi)GP0 + λiGPi = 0 . i=1 i=1 i=1
Đẳng thức này chứng tỏ G là tâm tỉ cự của hệ điểm {P0, P1, . . . , Pm} gắn với họ hệ số k X {1 −
λi, λ1, λ2, . . . , λk, 0, . . . , 0}. i=1
Ngược lại, giả sử G là tâm tỉ cự của hệ điểm {P0, P1, . . . , Pm} gắn với họ hệ số {λ0, λ1, . . . , λm}. Khi đó m m X −−→ − → X −−→ −−→ − → λiGPi = 0 ⇔ λi(GP0 + P0Pi) = 0 i=0 i=0 m m X −−→ X −−→ − → ⇔ λiGP0 + λi P0Pi = 0 i=0 i=1 −−→ 1 m X −−→ ⇔ P0G = Pm λ P λ i 0Pi. i=1 i i=1 −−→
Đẳng thức này chứng tỏ P0G ∈ − → α , hay G ∈ α. 2
Hệ quả 1.5.5. Cho hệ m + 1 điểm {P0, P1, . . . , Pm}, α = P0 + P1 + . . . + Pm và một điểm O tùy
ý. Khi đó điểm M ∈ α khi và chỉ khi tồn tại các µi, i = 0, 1, 2, . . . , m; Pm µ i=0 i = 1 sao cho −−→ m X −−→ OM = µiOPi. i=0
Hơn nữa, nếu hệ điểm {P0, P1, . . . , Pm}, là độc lập thì các µi tồn tại duy nhất. 20 Hình học affine và Euclid
Chứng minh. Theo Định lý 1.5.4, M ∈ α khi và chỉ khi M là tâm tỉ cự của hệ điểm {P0, P1, . . . , Pm} gắn với họ hệ số λ {λ i
0, λ1, . . . , λm} nào đó. Đặt µi = P
. Theo định nghĩa của tâm tỉ cự ta có m λ i=0 i
khẳng định thứ nhất của hệ quả.
Giả sử hệ điểm {P0, P1, . . . , Pm} là độc lập và −−→ m m X −−→ X OM = µiOPi, với µi = 1. i=0 i=0 −−→ −−→ Ta có −−→ −−→ OM = Pm µ OP P µ P i=0 i i ⇔ 0M = Pm i=1 i
0Pi. Từ đây suy ra µi, i = 1, 2, . . . , m là duy nhất
và do đó µ0 cũng duy nhất. 1.5.2 Tỉ số đơn
Định nghĩa 11. Cho hai điểm phân biệt P, Q ∈ A. Điểm M 6= Q thuộc đường thẳng P Q (phẳng −−→ −−→
P + Q) khi và chỉ khi có k ∈ K − {1} để M P = kM Q. Ta gọi k là tỉ số đơn của hệ ba điểm
{P, Q, M }, kí hiệu k = (P QM ).
Nhận xét. Dễ nhận thấy rằng nếu k = (P QM) thì điểm M là tâm tỉ cự của hệ {P, Q} gắn với
họ hệ số {1, −k}. Khi k = −1, ta có M là trung điểm (trọng tâm) của cặp điểm {P, Q}.
Sau đây là một số tính chất của tỉ số đơn.
Tính chất. Trong An cho ba điểm A, B, C phân biệt thẳng hàng. Ta có 1. (ABC) + (ACB) = 1, 2. (ABC).(BAC) = 1, 3. (BCA) = 1 − 1 . (ABC) Chứng minh. −→ −− → −− → −→ −− →
Giả sử rằng (ABC) = k, tức là CA = kCB hay CB + BA = kCB. Từ đây suy ra −→ − −→ BA = (1 − k)BC hay (ACB) = 1 − k.
Bạn đọc dễ dàng chứng minh được các đẳng thức còn lại một cách tương tự. 2 1.6
Tập lồi trong không gian affine thực 1.6.1 Tập lồi
Đoạn thẳng. Trong không gian affine thực A cho hai điểm P và Q. Tập hợp tất cả những điểm −−→ −→ −→
M sao cho OM = (1 − t)OP + t OQ, với O là một điểm tùy ý và 0 ≤ t ≤ 1, được gọi là đoạn 21 Hình học affine và Euclid Hình 1.7: Các tập lồi.
Hình 1.8: Các tập không lồi.
thẳng P Q. Hai điểm P và Q gọi là hai mút của đoạn thẳng P Q. Các điểm khác của đoạn thẳng
P Q được gọi là nằm ở giữa P và Q. Nhận xét.
1. Trong trường hợp P 6= Q, theo Hệ quả 1.5.5, đường thẳng P + Q là tập tất cả các điểm M thỏa mãn: −−→ −→ −→
OM = λOP + µOQ với λ + µ = 1.
Từ đây ta suy ra đoạn thẳng P Q là tập con của đường thẳng P + Q.
Đoạn thẳng P Q gồm hai điểm mút P (ứng với λ = 1), Q (ứng với λ = 0) và những điểm nằm ở giữa P và Q.
2. Khi P ≡ Q, đoạn thẳng P Q chỉ gồm một điểm P.
Từ đây trung điểm của cặp điểm {P, Q} còn gọi là trung điểm của đoạn thẳng P Q.
Tập lồi. Tập X trong không gian affine thực A được gọi là một tập lồi nếu với mọi P, Q ∈ X,
đoạn thẳng P Q chứa trong X.
Bao lồi của một tập. Dễ thấy giao của một họ không rỗng các tập lồi là một tập lồi. Từ đây ta
có định nghĩa bao lồi của một tập X ⊂ A là giao của tất cả các tập lồi chứa X, tức là tập lồi bé nhất chứa X. 22 Hình học affine và Euclid
1.6.2 Ví dụ về tập lồi
Dễ thấy mỗi m-phẳng trong không gian affine thực là một tập lồi. Các ví dụ sau đây, trong trường
hợp 1, 2, 3 chiều là các đối tượng đã được gặp ở PTTH.
Nửa không gian. Mỗi siêu phẳng α trong không gian affine A sẽ chia A − α thành 2 tập lồi. Xét − →
không gian thương 1-chiều A /− → α , lấy [− →
u ] là một vector khác không của nó và gọi − → − → p : A −→ A /− → α
là phép chiếu chính tắc. Với O là một điểm thuộc α, ta có hai tập hợp −−→ X = {M ∈ A : p(OM ) = λ[− → u ], λ > 0}; −−→ Y = {M ∈ A : p(OM ) = λ[− → u ], λ < 0}. −−→
Ta sẽ chứng minh chúng là hai tập lồi. Thật vậy, giả sử M, N ∈ X; p(OM) = λ[− → u ], λ > 0 và −−→ −→ −−→ −−→ p(ON ) = µ[− →
u ], µ > 0. Khi đó với mọi P thuộc đoạn thẳng M N, OP = (1 − t)OM + tON với 0 ≤ t ≤ 1, ta có −→ −−→ −−→
p(OP ) = (1 − t)p(OM ) + tp(ON ) = ((1 − t)λ + tµ)[− → u ].
Dễ thấy với 0 ≤ t ≤ 1 thì (1 − t)λ + tµ > 0, tức là P ∈ X. Chứng minh cho trường hợp M, N ∈ Y hoàn toàn tương tự.
Nhận xét. Chứng minh cho các nhận xét sau đây xin dành cho bạn đọc.
1. Việc chia không gian thành hai tập X và Y không phụ thuộc vào việc chọn điểm O và vector [− → u ].
2. Nếu lấy một điểm P ∈ X thì có thể mô tả hai tập X và Y như sau: X là tập các điểm
M ∈ A − α sao cho đoạn thẳng PM không cắt α còn Y là tập các điểm M ∈ A − α sao cho
đoạn thẳng P M cắt α tại một điểm.
Hình hộp m-chiều. Trong An, cho điểm O và hệ vector độc lập {− → e1 , − → e2 , ..., − → em}. Khi đó tập hợp −−→ m X H = {M ∈ An : OM = x − →
i ei , 0 ≤ xi ≤ 1, i = 1, 2, ..., m } i=1
gọi là một hình hộp m-chiều hay m-hộp. Các điểm của H ứng với x chỉ nhận hai giá trị i 0 hoặc 1,
gọi là các đỉnh của m-hộp. Có tất cả 2m đỉnh.
Từ định nghĩa, 0-hộp là một điểm, 1-hộp là một đoạn thẳng. Theo cách gọi thông thường 2-hộp
là hình bình hành, 3-hộp là hình hộp.
Có thể xây dựng các khái niệm như mặt bên k-chiều, cạnh của hình hộp. Vấn đề này được đưa
vào phần bài tập như là một đề tài nhỏ cho bạn đọc tập dượt nghiên cứu.
Định lý 1.6.1. Mỗi hình hộp là một tập lồi. 23 Hình học affine và Euclid Chứng minh. −−→ −−→
Giả sử M, N ∈ H, OM = Pm x − → e ON = Pm y − → e i=1 i i , i=1 i i ; 0 ≤ xi, yi ≤ 1, i =
1, 2, ..., m. Khi đó với mọi P thuộc đoạn thẳng M N, ta có −→ −−→ −−→ OP = (1 − t)OM + tON m m X X = (1 − t) x − → − → i ei + t yi ei i=1 i=1 m X = ((1 − t)xi + tyi)− → ei . i=1
Dễ thấy 0 ≤ (1 − t)xi + tyi ≤ 1, tức là P ∈ H. 2
Đơn hình m-chiều. Trong An, cho hệ điểm độc lập {A0, A1, ..., Am}. Lấy O ∈ An, khi đó tập −−→ m X −−→ C = { M ∈ An : OM =
xiOAi, xi ≥ 0, x0 + x1 + x2 + · · · + xm = 1} i=0
được gọi là một đơn hình m-chiều hay m-đơn hình. Các điểm A0, A1, ..., A gọi là các đỉnh của m C.
Từ định nghĩa, 0-đơn hình là một điểm, 1-đơn hình là một đoạn thẳng. Theo cách gọi thông thường
2-đơn hình gọi là tam giác, 3-đơn hình gọi là tứ diện.
Trong m-đơn hình C lấy (k + 1) đỉnh (0 ≤ k ≤ m − 1) thì (k + 1) đỉnh đó lập thành một k-đơn
hình gọi là mặt bên k-chiều của C. Khi đó (m − k) đỉnh còn lại lập thành một (m − k − 1)-đơn
hình gọi là mặt bên đối diện của mặt bên k-chiều đang xét. Mặt bên 0-chiều là đỉnh, mặt bên
1-chiều gọi là cạnh của đơn hình C.
Từ đây, trọng tâm của hệ điểm {A0, A1, ..., Am} cũng được gọi là trọng tâm của đơn hình. Nhận xét.
1. Định nghĩa của đơn hình không phụ thuộc vào điểm O được chọn. Thật vậy, với xi ≥
0, x0 + x1 + x2 + · · · + xm = 1 −−→ m X −−→ OM = xi OAi i=0 −−→ −−→ m X −−→ −−→ ⇔ OO0 +O0M = x O0A i( OO0 + i) i=0 −−→ m X −−→ ⇔ O0M = xiO0Ai. i=0
2. Nếu chúng ta chọn O = A0, thì ta có −−−→ m X −−−→ C = { M ∈ An : A0M =
xiA0Ai, xi ≥ 0, x1 + x2 + · · · + xm ≤ 1}. i=1 24 Hình học affine và Euclid
Hình 1.9: Đơn hình và hình hộp
Định lý 1.6.2. Mỗi đơn hình là một tập lồi Chứng minh. −−→ −−→ −−→ −−→
Giả sử M, N ∈ C, OM = Pm x OA ON = Pm y OA i=0 i i, i=0 i i; xi, yi ≥ 0, i = 0, 1, 2, . . . , m; Pm x y i=0 i = 1, Pm i=0
i = 1. Khi đó với mọi P thuộc đoạn thẳng M N, ta có −→ −−→ −−→ OP = (1 − t)OM + tON m m X −−→ X −−→ = (1 − t) xi OAi + t yi OAi i=0 i=0 m X −−→ = ((1 − t)xi + tyi)OAi. i=0
Dễ thấy (1−t)xi +tyi ≥ 0 và Pm ((1−t)x x y i=0 i + tyi) = (1 − t) Pm i=0 i + t Pm i=0 i = 1, tức là P ∈ C.2 BÀI TẬP CHƯƠNG 1
Bài tập 1.1. Chứng minh rằng có thể xem trường số phức C là một không gian affine thực 2 chiều. Bài tập 1.2. − →
Cho không gian affine n chiều (A, A , Φ) và một tập hợp B 6= ∅ tùy ý. Chứng minh
rằng nếu có song ánh f : A −→ B thì có thể xây dựng B trở thành một không gian affine n chiều
(chuyển cấu trúc affine từ A sang B nhờ song ánh f). Bài tập 1.3. − → − →
Cho (A, A , Φ) và (A0, A0, Φ0) là hai không gian affine và ánh xạ − → − →
Φ × Φ0 : (A × A0) × (A × A0) −→ A × A0 −−→ −−−→
((M, M 0), (N, N 0)) 7−→ (M N , M 0N 0). − → − →
Chứng minh rằng (A × A0, A × A0, Φ × Φ0) là một không gian affine. Bài tập 1.4. − → − →
Cho (A, A , Φ) là một không gian affine và − →
α là một không gian vector con của A . −−→
Hai điểm M, N ∈ A gọi là − →
α -tương đương nếu M N ∈ − → α . 25 Hình học affine và Euclid
1. Chứng minh rằng quan hệ trong định nghĩa trên là một quan hệ tương đương.
2. Ký hiệu tập các lớp tương đương là A/−→ và lớp tương đương chứa α M là [M ]. Xét ánh xạ − → Φ− → A α : A/− → α × A/− → α −→ /− → α −−→ ([M ], [N ]) 7−→ [ M N ]. − →
Chứng minh rằng (A/−→ A α , /− → α , Φ− →
α ) là một không gian affine.
Bài tập 1.5. Cho A là không gian affine và O là một điểm của A. Khi đó ánh xạ biến điểm M ∈ A −−→ − →
thành vector OM ∈ A là một song ánh. Nhờ song ánh này có thể chuyển cấu trúc không gian − →
vector từ A lên A. Hãy xây dựng các phép toán cụ thể trên A để A là một không gian vector.
Bài tập 1.6. Trong An cho α và α0 là hai siêu phẳng song song phân biệt, β là m-phẳng không
chứa trong α (β 6⊂ α). Chứng minh rằng nếu β cắt α thì β cũng cắt α0. Trong trường hợp α và α0
là các phẳng song song phân biệt tuỳ ý thì kết quả trên có còn đúng không? Tìm các kết quả đã
biết ở PTTH để minh họa. Bài tập 1.7. − →
Xét không gian vector A với cấu trúc affine chính tắc. Chứng minh mỗi không gian − →
vector con của A là một cái phẳng. Điều ngược lại có đúng không? Cho ví dụ.
Bài tập 1.8. Cho một điểm A và một m-phẳng α không chứa điểm đó. Chứng minh rằng có một
và chỉ một (m + 1)-phẳng đi qua A và chứa α. Tìm các kết quả đã biết ở PTTH để minh họa.
Bài tập 1.9. Chứng minh rằng nếu các phẳng α và β song song với phẳng γ thì α ∩ β, nếu khác
rỗng, là một phẳng song song với γ. Tìm các kết quả đã biết ở PTTH để minh họa.
Bài tập 1.10. Chứng tỏ nếu hai siêu phẳng phân biệt α và β cắt nhau, siêu phẳng γ song song
với α ∩ β sao cho các giao α ∩ γ và β ∩ γ đều khác rỗng thì α ∩ γ song song với β ∩ γ. Tìm các kết
quả đã biết ở PTTH để minh họa.
Bài tập 1.11. Trong An, hãy xét vị trí tương đối giữa một đường thẳng và một m-phẳng. Xét cụ
thể các trường hợp n = 2, 3, 4.
Bài tập 1.12. Cho α là một m-phẳng, A là một điểm không thuộc α.
1. Có bao nhiêu l-phẳng β, l ≤ m, qua A và song song với α. Hãy nhận xét về α ∩ β.
2. Có bao nhiêu l-phẳng β, l > m, qua A và song song với α. Hãy nhận xét về α ∩ β.
Bài tập 1.13. Cho α và β là hai cái phẳng có số chiều lần lượt là p và q. Chứng minh rằng α và
β song song khi và chỉ khi chúng cắt nhau cấp r hoặc chéo nhau cấp r với r = min{p, q}.
Bài tập 1.14. Cho hệ phương trình tuyến tính gồm m phương trình và n ẩn trên trường số thực R với m ≤ n.
 a11x1 + a12x2 + · · · + a1nxn = a  1  
 a21x1 + a22x2 + · · · + a2nxn = a2 .  · · · · · ·  
 am1x1 + am2x2 + · · · + amnxn = am
Giả sử rank(aij) = m, chứng minh rằng: 26 Hình học affine và Euclid
1. tập nghiệm của hệ phương trình tuyến tính thuần nhất tương ứng là một không gian vector
con (n − m)-chiều của Rn, ký hiệu là − → α ;
2. tập nghiệm của hệ phương trình trên là một (n − m)-phẳng của không gian affine Rn (cấu
trúc affine chính tắc) với phương là − → α .
Bài tập 1.15. Cho hệ gồm p + 1 điểm {M0, M1, . . . , Mp} trong không gian affine An. Chứng minh rằng
1. dim(M0 + M1 + . . . + Mp) ≤ p;
2. hệ {M0, M1, . . . , Mp} độc lập affine khi và chỉ khi dim(M0 + M1 + . . . + Mp) = p;
3. nếu hệ {M0, M1, . . . , Mp} độc lập affine thì
M0 + M1 + . . . + Mp = (M0 + M1 + . . . + Mk) + (Mk+1 + Mk+2 + . . . + Mp) và
(M0 + M1 + . . . + Mk) ∩ (Mk+1 + Mk+2 + . . . + Mp) = ∅.
Bài tập 1.16. Biết phương trình tham số của một m-phẳng α đối với một mục tiêu affine cho
trước trong An. Hãy cho nhận xét về phương trình tham số của m-phẳng β song song với α.
Bài tập 1.17. Cho phương trình tổng quát của m-phẳng α. Chứng minh rằng tập nghiệm của hệ
phương trình tuyến tính thuần nhất tương ứng xác định phương của α.
Bài tập 1.18. Viết phương trình tham số và phương trình tổng quát của m-phẳng E0+E1+. . .+Em −−−→
và của siêu phẳng E1 + E2 + . . . + E trong đó n
{E0;E0Ei} là một mục tiêu affine cho trước của An.
Bài tập 1.19. Trong An cho mục tiêu affine {O; − →
ei }. Lấy điểm E ∈ An sao cho − −→ OE = − → e1 + − → e2 + . . . + − → en.
Tìm công thức đổi toạ độ từ mục tiêu đã cho đến mục tiêu {E; − → e1 + − → e2 , − → e2 + − → e3 , . . . , − → en + − → e1 }.
Bài tập 1.20. Trong A3 cho các điểm có toạ độ đối với mục tiêu affine {O; − → e1 , − → e2 , − → e3 } (mục tiêu (1))
A0(1, 1, 1), A1(2, 0, 0), A2(1, 0, 0), A3(1, 1, 0);
A00(0, 0, 0), A01(1, 1, 0), A02(2, 0, 1), A03(1, 0, 1).
−−−→ −−−→ −−−→
−−−→ −−−→ −−−→
1. Chứng minh rằng {A0; A0A1, A0A2, A0A3} và {A0 } là các mục tiêu affine 0; A0 A0 A0 A0 0 1, A00 2, A00 3
của A3 (mục tiêu (2) và mục tiêu (3)).
2. Tìm các công thức đổi toạ độ từ mục tiêu (1) sang mục tiêu (2) và từ mục tiêu (2) sang mục tiêu (3). 27 Hình học affine và Euclid
Bài tập 1.21. Trong không gian affine An với một mục tiêu affine cho trước, hãy xét giao của
đường thẳng và siêu phẳng cho bởi các phương trình x1 − b1 x x = 2 − b2 = . . . = n − bn a1 a2 an và n Xcixi + d = 0. i=1
Bài tập 1.22. Trong A4 viết phương trình tổng quát của phẳng có số chiều bé nhất 1. đi qua điểm − →
A(1, 2, 1, 1) và có phương chứa hai vector − →
a (0, 1, 2, 0), b (1, 1, 0, 0); 2. đi qua điểm − →
M (1, 0, 1, 0) và có phương chứa ba vector − →
a (1, 0, 1, 0), b (2, 1, 2, 1), − → c (4, 1, 4, 1); − →
3. đi qua hai điểm A(1, 1, 1, 1), B(2, 3, 1, 0) và có phương chứa các vector − →
a (0, 1, 1, 1), b (1, 2, 0, 0); 4. đi qua hai điểm − →
A(1, 1, 1, 1), B(2, 3, 1, 0) và có phương chứa các vector − →
a (3, 4, 2, 1), b (2, 2, −2, 2);
5. đi qua ba điểm A(2, 1, 2, 1), B(1, 1, 1, 1), C(2, 0, 2, 0) và có phương chứa các vector − → a (2, 3, 1, 4), − → b (0, 0, 0, 1).
Viết phương trình các phẳng (cùng số chiều) đi qua O(0, 0, 0, 0) và lần lượt song song với các phẳng trong các câu trên.
Bài tập 1.23. Trong không gian A4 viết phương trình tham số của mặt phẳng có phương trình tổng quát  x1 +x2 +2x3 +x4 −1 = 0 . −x1 +2x2 −x4 +2 = 0
Bài tập 1.24. Trong không gian A4 cho 4 điểm A(3, 1, 1, 2), B(0, 1, 0, 0), C(3, 2, 3, 2), D(1, 0, 0, 1).
1. Tìm giao điểm của đường thẳng AB với các siêu phẳng tọa độ.
2. Xét vị trí tương đối của hai đường thẳng AB và CD.
Bài tập 1.25. Trong A4 xét vị trí tương đối của hai cái phẳng α và β, biết phương trình của chúng lần lượt như sau: 1.  2x α : 1 +x2 +x3 +x4 −1 = 0 , −x1 +x2 −x4 +2 = 0  x β : 1 −x2 −x4 +1 = 0 . −2x1 +x2 +2x3 +x4 +3 = 0 28 Hình học affine và Euclid 2. α :
2x1 − x2 − x3 + x4 − 2 = 0,  x1 = 1  x β : 2 = t +1 , t ∈ R. x3 = t +1  x4 = 2t +1 3. 3x α : 1 +x2 +x3 +2x4 −6 = 0 , x1 +x4 +1 = 0 x  1 = t +2  x β : 2 = −t +1 , t ∈ R. x3 = −t +1  x4 = 2t −1
Bài tập 1.26. Cho hệ điểm {Pi : i ∈ I}, với I 6= ∅, trong không gian affine An. Gọi α là bao
affine của hệ điểm đó.
1. Chứng minh rằng α chính là tập các tâm tỉ cự của các hệ con hữu hạn không rỗng của hệ điểm đã cho.
2. Giả sử I là tập hợp hữu hạn. Chứng minh rằng hệ điểm {Pi : i ∈ I} là độc lập affine khi
và chỉ khi với mọi M ∈ α, tồn tại duy nhất (sai khác một hằng số khác không) một họ hệ
số {λi : i ∈ I} để M là tâm tỉ cự của hệ điểm {Pi : i ∈ I} gắn với họ hệ số đó. Họ hệ số
{λi : i ∈ I} như thế gọi là tọa độ tỉ cự của M đối với hệ điểm {Pi : i ∈ I}.
Bài tập 1.27 (Định lý Thales). Trong An cho ba m-phẳng song song phân biệt. Hai đường thẳng
d và d0 cắt ba m-phẳng đó lần lượt tại bộ ba điểm A, B, C và A0, B0, C0. Chứng minh rằng (ABC) = (A0B0C0).
Bài tập 1.28. Trong An cho ba siêu phẳng cùng đi qua một (n − 2)-phẳng γ. Hai đường thẳng
song song d và d0 cắt ba siêu phẳng đó lần lượt tại bộ ba điểm A, B, C và A0, B0, C0 (các điểm
A, B, C, A0, B0, C0 6∈ γ). Chứng minh (ABC) = (A0B0C0).
Bài tập 1.29 (Định lý Menela¨us, Định lý Ceva ). Trong không gian affine A2 cho ba điểm A, B, C
không thẳng hàng và ba điểm P, Q, R theo thứ tự thuộc các đường thẳng BC, CA, AB không
trùng với các điểm A, B, C. Chứng minh rằng:
1. Điều kiện cần và đủ để ba điểm P, Q, R thẳng hàng là (BCP ).(CAQ).(ABR) = 1.
2. Điều kiện cần và đủ để ba đường thẳng AP, BQ, CR đồng qui hay song song là (BCP ).(CAQ).(ABR) = −1.
Bài tập 1.30. Chứng minh rằng đơn hình chính là bao lồi của tập các đỉnh và chứa trong bao
affine của tập các đỉnh. 29 Hình học affine và Euclid
Bài tập 1.31. Cho m-đơn hình với các đỉnh {P0, P1, . . . , Pm}.
1. Chứng minh rằng bao affine của hai mặt đối diện là chéo nhau.
2. Xét các đường thẳng nối một đỉnh với trọng tâm (m − 1)-mặt bên đối diện. Chứng minh
rằng các đường thẳng này đồng qui tại một điểm G.
Xét các trường hợp đặc biệt m = 2, 3.
3. Gọi G0 và G00 là trọng tâm của một cặp mặt bên đối diện, hãy tính (G0G00G).
Xét các trường hợp đặc biệt m = 2, 3. Bài tập 1.32.
1. Chứng minh rằng bao lồi của một hệ hữu hạn điểm {P1, . . . , Pm} trong không
gian affine thực An là tập các tâm tỉ cự của hệ điểm đó gắn với họ hệ số {λ1, . . . , λm} cùng dấu.
2. Chứng minh rằng bao lồi của một tập S trong không gian affine thực An là tập các tâm tỉ
cự của của các hệ hữu hạn điểm {P1, . . . , Pm} ⊂ S gắn với họ hệ số {λ1, . . . , λm} cùng dấu. BÀI TẬP CUỐI CHƯƠNG I.
Bài tập 1.33. Chứng minh rằng định nghĩa sau tương đương với định nghĩa đã biết của không gian affine. − →
Cho A là một không gian vector trên trường K và A là một tập hợp khác rỗng. Giả sử có ánh xạ − → + : A × A −→ A (p, v) 7−→ p + v,
thoả mãn các điều kiện sau: 1. p + 0 = p, ∀p ∈ A; − →
2. (p + v) + u = p + (v + u), ∀p ∈ A, v, u ∈ A ; − →
3. với p ∈ A và q ∈ A, tồn tại duy nhất v ∈ A sao cho q = p + v. − →
Khi đó ta nói rằng A là một không gian affine trên trường K liên kết với không gian vector A .
Bài tập 1.34. Trong không gian affine An, chứng minh rằng hệ m + 1 điểm {A0, A1, . . . , Am} độc
lập affine khi và chỉ khi với mọi điểm O, từ hai đẳng thức m m X −−→ − → X λi OAi = 0 và λi = 0 (λi ∈ K) i=0 i=0
ta suy ra λ0 = λ1 = · · · = λm = 0. 30 Hình học affine và Euclid
Bài tập 1.35. Chứng minh rằng điều kiện cần và đủ để m + 1 điểm A0, A1, . . . , A trong không m
gian affine n chiều (n ≥ m) cùng thuộc một (m − 1)-phẳng là với điểm O tùy ý ta luôn có m X −−→ λiOAi = 0 i=0 với Pm λ λ2 6= 0. i=0 i = 0 và Pm i=0 i
Bài tập 1.36. Cho α là p-phẳng, β là q-phẳng trong không gian affine n chiều An.
1. Chứng minh rằng nếu α và β cắt nhau cấp r thì
0 ≤ r ≤ min(p, q) và p + q − r ≤ n.
Ngược lại nếu cho các số nguyên không âm r, p, q không lớn hơn n thỏa điều kiện trên thì có
thể tìm được các p-phẳng α và q-phẳng β để α và β cắt nhau cấp r không?
2. Xét vấn đề tương tự đối với trường hợp chéo nhau cấp r. Điều kiện ở đây là
0 ≤ r ≤ min(p, q) và p + q − r + 1 ≤ n.
Bài tập 1.37. Cho α và β là hai cái phẳng chéo nhau cấp 0. Xét hai hệ điểm độc lập A =
{A0, A1, . . . , Am} ⊂ α và B = {B0, B1, . . . , Bl} ⊂ β. Chứng minh rằng A ∪ B độc lập.
Bài tập 1.38. Cho A = {A0, A1, . . . , Am} và B = {B0, B1, . . . , Bl} là hai hệ điểm độc lập. Giả sử
A ∪ B độc lập. Chứng minh rằng tồn tại hai cái phẳng chéo nhau α và β sao cho A ⊂ α; B ⊂ β.
Hãy cho các ví dụ cụ thể về các trường hợp α và β chéo nhau cấp 0, 1, 2, . . . .
Bài tập 1.39. Cho hai cái phẳng α và β chéo nhau, có số chiều lần lượt là p và q. Hãy tìm các
điều kiện để số chiều của α + β lớn nhất, số chiều của α + β bé nhất. Trong mỗi trường hợp, xác
định số chiều của α + β và cho các ví dụ cụ thể để minh họa.
Bài tập 1.40. Dùng định nghĩa ở bài tập ??, hãy trình bày lại các khái niệm và các định lý, mệnh
đề, bổ đề... trong chương này.
Bài tập 1.41. Hãy đưa ra các định nghĩa song song, chéo nhau giữa các phẳng sao cho phù hợp
với cách hiểu ở PTTH. Phát biểu lại các bài tập liên quan đến tính chéo nhau và song song cho
thích hợp với định nghĩa mới này.
Bài tập 1.42. Cho hệ điểm độc lập {M0, M1, . . . , M có
p} trong không gian affine An. Giả sử Mi
tọa độ (a1i, a2i, . . . , ani) đối với mục tiêu {O; − →
ei } cho trước. Hãy viết phương trình tham số của
m-phẳng M0 + M1 + . . . + Mp.
Bài tập 1.43. Trong không gian affine An với một mục tiêu affine cho trước, cho hai siêu phẳng
phân biệt α và α0 có phương trình tổng quát theo thứ tự là n n X X aixi + b = 0 và a0x i i + b0 = 0. i=1 i=1
1. Chứng minh rằng α và α0 song song khi và chỉ khi hai vector − → a (ai) và − → a 0(a0) phụ thuộc i tuyến tính. 31 Hình học affine và Euclid
2. Giả sử α ∩ α0 6= ∅. Khi đó dim α ∩ α0 = n − 2. Chứng minh rằng mọi siêu phẳng chứa α ∩ α0
đều có phương trình dạng n n X X λ( aixi + b) + λ0( a0 x i i + b0) = 0, i=1 i=1
trong đó λ và λ0 không đồng thời triệt tiêu (phương trình của chùm siêu phẳng xác định bởi α và α0).
Bài tập 1.44. Trong An cho m-phẳng α, 0 ≤ m ≤ n − 2, và hai điểm phân biệt M, N không
thuộc α. Chứng minh rằng, tồn tại (m + 1)-phẳng chứa m-phẳng α và không chứa hai điểm M, N.
Từ đó suy ra, tồn tại một siêu phẳng chứa α và không chứa hai điểm M, N.
Bài tập 1.45. Trong không gian A4 với mục tiêu đã chọn.
1. Viết phương trình tham số và phương trình tổng quát của cái phẳng α có số chiều bé nhất
chứa hai đường thẳng d1, d2 sau đây  x  1 = t + 1    x  1 = 0 x   d 2 = t + 2 1 : ; d2 : x2 −x3 +1 = 0 .  x  3 = t + 3    x  x 4 − 3 = 0 4 = t + 4
2. Viết phương trình của siêu phẳng đi qua M(1, 1, 1, 1) và chứa α.
3. Cho hai điểm A(1, 3, −1, 2) và B(−1, −2, 1, 3). Hãy tìm giao điểm của đường thẳng AB với
các siêu phẳng tọa độ.
4. Xét vị trí tương đối của hai mặt phẳng sau ( ( 3x 5x 2x 7 = 0
4x1 − 9x2 − 3x3 + 7x4 + 14 = 0 P 1 − 2 − 3 + 2x4 − : ; Q : .
−4x1 + 7x2 + 4x3 + 4x4 + 10 = 0
2x1 − 6x2 − 3x3 + 2x4 + 10 = 0 Bài tập 1.46. −−→
Trong không gian affine An với mục tiêu {O; − → e1 , ..., − → e với n } cho các điểm Pi OPi = a − →
i ei , ai 6= 0, i = 1, 2, . . . , n. Chứng minh rằng, hệ n điểm {P1, ..., Pn} là độc lập và phương trình
của siêu phẳng đi qua n điểm trên là x1 x + · · · + n = 1. a1 an
Bài tập 1.47. Trong An với mục tiêu đã chọn, hãy tìm công thức tính tọa độ trọng tâm của một
hệ điểm. Tổng quát hơn, hãy tìm công thức tính tọa độ của tâm tỉ cự.
Bài tập 1.48. Chứng minh rằng trong một đơn hình m-chiều các đường thẳng nối hai trọng tâm
của hai mặt bên đối diện luôn luôn đi qua một điểm cố định. Hãy phát biểu bài toán cho trường
hợp đơn hình hai chiều và đơn hình ba chiều.
Bài tập 1.49 (Định lí Pappus). Trong mặt phẳng affine A2 cho hai đường thẳng d và d0 cắt nhau
tại O. Gọi A, B, C là 3 điểm phân biệt thuộc d không trùng với điểm O; A0, B0, C0 là 3 điểm phân
biệt thuộc d0 không trùng với điểm O. Giả sử B0C cắt BC0 tại M, CA0 cắt C0A tại N, A0B cắt
AB0 tại P . Chứng minh rằng M, N, P thẳng hàng. 32 Hình học affine và Euclid
Bài tập 1.50 (Định lí Desargues). Trong mặt phẳng affine A2 cho hai tam giác ABC và A0B0C0.
Giả sử BC và B0C0 cắt nhau tại M, CA và C0A0 cắt nhau tại N, AB cắt A0B0 tại P. Chứng minh
rằng M, N, P thẳng hàng khi và chỉ khi AA0, BB0, CC0 đồng qui hoặc song song
Bài tập 1.51. Cho tam giác ABC, P là một điểm trên BC và M là một điểm trên AP. Đường
thẳng qua P và song song với CM và đường thẳng qua B song song với AP cắt nhau tại B0. Đường
thẳng qua P song song với BM và qua C song song với AP cắt nhau tại C0. Lấy I, J, K là các
trung điểm của các đoạn thẳng P M, BB0, CC0. Chứng minh rằng I, J, K thẳng hàng và M, B0, C0 cũng thẳng hàng.
Bài tập 1.52. Trên một tờ giấy vẽ hai đường thẳng d và d0 cắt nhau tại một điểm ở ngoài tờ giấy
đó. Qua một điểm M không nằm trên d hoặc d0, hãy dựng đường thẳng đi qua M và giao điểm của d và d0.
Bài tập 1.53. Giả sử G1 là tâm tỉ cự của hệ điểm {P1, . . . , Pk} gắn với họ hệ số {λ1, . . . , λk};
G2 là tâm tỉ cự của hệ điểm {Pk+1, . . . , Pm} gắn với họ hệ số {λk+1, . . . , λm}; G3 là tâm tỉ cự của
hệ điểm {P1, . . . , Pm} gắn với họ hệ số {λ1, . . . , λm}. Chứng minh rằng nếu G1, G2, G3 là 3 điểm
phân biệt thì chúng thẳng hàng. Hãy tính tỉ số đơn (G1G2G3).
Bài tập 1.54. Trong không gian affine An với mục tiêu đã chọn. Chứng minh rằng tập các điểm
có tọa độ là nghiệm của một hệ phương trình tuyến tính và bất phương trình tuyến tính n biến là
một tập lồi (xem ∅ là tập lồi).
Bài tập 1.55. Hãy chứng tỏ rằng, đơn hình và hình hộp n chiều trong không gian affine thực An
là giao của các nửa không gian. 33