Appearance
Cụm 10 — Hình không gian
Cụm này dựng toàn bộ hình học không gian từ một nhúm tiên đề về điểm, đường, mặt rồi leo dần lên thể tích và tọa độ:
- Câu hỏi gốc — làm sao gắn các đối tượng không gian không nhìn thấy được trực tiếp vào một hệ quy tắc tính toán chính xác và không mâu thuẫn.
- Trụ một là quan hệ vị trí — từ tiên đề "qua ba điểm không thẳng hàng có duy nhất một mặt phẳng" xây quan hệ song song và vuông góc giữa đường và mặt, đỉnh điểm là định lý ba đường vuông góc.
- Trụ hai là độ đo — mỗi công thức thể tích khối chóp, lăng trụ, khối tròn xoay là một định lý có gốc từ nguyên lý lát cắt, không phải mẹo nhớ.
- Trụ ba là tọa độ hóa — gắn hệ trục Oxyz biến mọi câu hỏi vị trí và khoảng cách thành đại số thuần, là cây cầu nối hình học với vector và giải tích.
- Vì sao là nền — toàn bộ tích phân thể tích, hình giải tích và mô hình hóa không gian sau này đều mượn lại bộ tiên đề và công thức thể tích dựng ở đây.
Đồ thị khái niệm
Đọc đồ thị:
- Màu — node xanh đậm là tiên đề gốc; xanh nhạt là quan hệ vị trí dẫn xuất; xanh lá là tầng độ đo và tọa độ hóa cho ra số.
- Hướng — mọi nhánh đều mọc ra từ "mặt phẳng xác định", nên nắm chắc tiên đề ba điểm trước rồi mới sang quan hệ vuông góc và thể tích.
Giả định nền: không gian Euclid ba chiều, các tiên đề kết hợp và song song của hình học cổ điển giữ nguyên, mọi khối xét đều là khối đặc đo được thể tích.
Glossary nhãn chart (English keyword -> tiếng Việt):
- Axioms — nhóm tiên đề gốc về điểm, đường thẳng, mặt phẳng.
- Plane determination — điều kiện đủ để có duy nhất một mặt phẳng.
- Parallelism — quan hệ song song giữa đường thẳng và mặt phẳng.
- Perpendicularity — quan hệ vuông góc giữa đường thẳng và mặt phẳng.
- Three perpendiculars — định lý ba đường vuông góc, nối ba quan hệ vuông góc.
- Solid volume — thể tích khối chóp và lăng trụ.
- Solid of revolution — thể tích khối trụ, nón, cầu.
- Coordinate system — hệ tọa độ Descartes ba chiều
. - Distance — độ dài đoạn nối hai điểm.
- Sphere plane equation — phương trình đại số của mặt cầu và mặt phẳng.
- Symmetry — phép lấy ảnh đối xứng qua trục, mặt, gốc.
1. Tiên đề và quan hệ vị trí
1.1 Tiên đề và khái niệm nền
Hình học không gian không định nghĩa được điểm, đường thẳng, mặt phẳng bằng vật có trước, nên ta nhận chúng làm đối tượng nguyên thủy và chỉ phát biểu quan hệ giữa chúng qua các tiên đề.
- Đối tượng nguyên thủy — điểm, đường thẳng, mặt phẳng là ba loại đối tượng gốc không định nghĩa, mọi hình khối đều là tập hợp điểm thỏa quan hệ nào đó.
- Tiên đề A1 đường qua hai điểm — qua hai điểm phân biệt có duy nhất một đường thẳng.
- Tiên đề A2 mặt phẳng qua ba điểm — qua ba điểm không thẳng hàng có duy nhất một mặt phẳng, đây là tiên đề trục để xác định mặt phẳng.
- Tiên đề A3 đường nằm trong mặt — nếu một đường thẳng có hai điểm phân biệt thuộc một mặt phẳng thì mọi điểm của đường thẳng đều thuộc mặt phẳng đó.
- Tiên đề A4 giao của hai mặt — nếu hai mặt phẳng phân biệt có một điểm chung thì chúng có một đường thẳng chung duy nhất chứa mọi điểm chung.
- Hệ quả của tiên đề A2 — một mặt phẳng cũng được xác định duy nhất bởi một đường thẳng và một điểm ngoài nó, hoặc bởi hai đường thẳng cắt nhau, vì cả hai trường hợp đều quy về ba điểm không thẳng hàng.
1.2 Định nghĩa quan hệ song song và vuông góc
Từ ba đối tượng gốc ta định nghĩa các quan hệ vị trí, mỗi quan hệ định nghĩa bằng giao điểm hoặc bằng góc đã có ở hình phẳng.
- Định nghĩa đường song song mặt — đường thẳng
song song mặt phẳng khi và không có điểm chung nào. - Định nghĩa đường vuông góc mặt — đường thẳng
vuông góc mặt phẳng khi vuông góc với mọi đường thẳng nằm trong . - Định nghĩa hai mặt vuông góc — hai mặt phẳng vuông góc khi góc nhị diện giữa chúng bằng
. - Định nghĩa hình chiếu vuông góc — hình chiếu của điểm
lên mặt phẳng là chân đường vuông góc hạ từ xuống , là điểm của gần nhất.
1.3 Định lý điều kiện đường vuông góc mặt
Nếu đường thẳng
vuông góc với hai đường thẳng cắt nhau cùng nằm trong mặt phẳng thì vuông góc với .
Định hướng chứng minh.
- Bước một dựng cơ sở — gọi
và là hai đường cắt nhau trong mà vuông góc, vì và cắt nhau nên hai vector chỉ phương của chúng tạo thành một cơ sở của mặt phẳng . - Bước hai biểu diễn — mọi đường thẳng
trong có vector chỉ phương viết được thành tổ hợp tuyến tính của hai vector chỉ phương của và . - Bước ba dùng tích vô hướng — vì
vuông góc và vuông góc nên tích vô hướng của vector chỉ phương với từng vector cơ sở bằng , suy ra tích vô hướng với mọi tổ hợp tuyến tính cũng bằng . - Bước bốn kết luận —
vuông góc với mọi đường trong , đúng theo định nghĩa đường vuông góc mặt.
Ý nghĩa thực tế là chỉ cần kiểm tra vuông góc với hai phương cắt nhau thay vì kiểm tra với vô hạn đường trong mặt, đây là công cụ dựng đường cao và trục của khối.
2. Định lý ba đường vuông góc
Đây là định lý xương sống nối ba quan hệ vuông góc trong không gian, dùng để tính góc và khoảng cách mà không cần dựng hình đầy đủ.
2.1 Phát biểu
Cho đường thẳng
không vuông góc với mặt phẳng và đường thẳng nằm trong . Khi đó vuông góc với khi và chỉ khi vuông góc với hình chiếu của trên .
2.2 Định hướng chứng minh
- Bước một dựng đường vuông góc — lấy điểm
trên , gọi là hình chiếu vuông góc của lên , khi đó đoạn vuông góc với nên vuông góc với vì nằm trong . - Bước hai gom hai vuông góc — nếu giả thiết
vuông góc , thì đồng thời vuông góc với và với , mà và là hai đường cắt nhau xác định một mặt phẳng chứa cả . - Bước ba áp định lý 1.3 — theo định lý điều kiện đường vuông góc mặt,
vuông góc với mặt phẳng chứa và , nên vuông góc với hình chiếu nằm trong mặt phẳng đó. - Bước bốn chiều ngược lại — đảo lại, nếu
vuông góc thì vuông góc với cả và , suy ra vuông góc mặt phẳng chứa , nên vuông góc .
2.3 Ý nghĩa và ứng dụng
- Quy bài toán không gian về hình phẳng — muốn xét góc giữa đường xiên
và mặt , ta chiếu xuống thành rồi làm việc trong tam giác vuông phẳng . - Tính khoảng cách điểm tới đường trong mặt — kết hợp với đường cao
để dựng đoạn vuông góc chung. - Bẫy hay gặp — quên điều kiện
phải nằm trong mặt , định lý chỉ áp cho đường nằm trong mặt chứa hình chiếu.
3. Thể tích khối chóp và lăng trụ
Mỗi công thức thể tích là một định lý có gốc từ nguyên lý lát cắt Cavalieri, không phải quy ước. Ta nhận nguyên lý này làm tiên đề độ đo rồi suy ra mọi công thức.
3.1 Tiên đề độ đo thể tích
- Tiên đề đơn vị — khối hộp chữ nhật ba cạnh
, , có thể tích , đây là mốc đo gốc. - Tiên đề Cavalieri — hai khối có cùng chiều cao mà mọi mặt phẳng song song đáy cắt chúng cho hai thiết diện cùng diện tích thì hai khối có thể tích bằng nhau.
3.2 Định lý thể tích lăng trụ
Khối lăng trụ có diện tích đáy
và chiều cao có thể tích .
- Biến:
— diện tích mặt đáy của lăng trụ. — chiều cao, là khoảng cách vuông góc giữa hai mặt đáy song song. — thể tích khối lăng trụ.
Chứng minh. Lát mọi mặt phẳng song song đáy cắt lăng trụ đều cho thiết diện bằng đúng đáy nên diện tích thiết diện luôn là
3.3 Định lý thể tích khối chóp
Khối chóp có diện tích đáy
và chiều cao có thể tích .
- Biến:
— diện tích mặt đáy của chóp. — chiều cao, là khoảng cách từ đỉnh xuống mặt phẳng đáy. — hệ số đặc trưng của khối chóp, gốc của hệ số này là nội dung cần chứng minh.
Định hướng chứng minh.
- Bước một chia lăng trụ tam giác — một khối lăng trụ tam giác bất kỳ cắt được thành đúng ba khối chóp tam giác có thể tích bằng nhau từng đôi qua phép so cặp đáy và đỉnh chung.
- Bước hai suy hệ số một phần ba — vì ba chóp bằng nhau lấp đầy một lăng trụ thể tích
, mỗi chóp có thể tích . - Bước ba mở rộng đáy đa giác — chóp đáy đa giác bất kỳ chia thành các chóp đáy tam giác cùng đỉnh, cộng thể tích từng phần vẫn giữ hệ số
. - Bước bốn dùng Cavalieri kiểm chéo — hai chóp cùng đáy diện tích
và cùng chiều cao cho thiết diện đồng dạng theo tỉ lệ bình phương độ cao nên cùng thể tích, xác nhận công thức không phụ thuộc hình dạng đáy.
Ý nghĩa thực tế là khối chóp luôn bằng một phần ba lăng trụ cùng đáy cùng cao, đây là hệ số học sinh hay quên và là bẫy kinh điển nhất của cụm.
3.4 Dạng câu hỏi trong đề
- Tính trực tiếp — cho kích thước hộp, lăng trụ hoặc chóp rồi hỏi thể tích, diện tích đáy, đường chéo.
- Tọa độ hóa thể tích — cho tọa độ bốn đỉnh tứ diện rồi tính thể tích qua tích hỗn tạp.
- Thiết diện và tỉ lệ — chóp tam giác dựng trong lập phương rồi tính phần thể tích cắt ra.
3.5 Bẫy hay gặp
- Quên hệ số một phần ba — lấy đáy nhân cao mà bỏ
của chóp, hoặc gán nhầm hệ số đó cho lăng trụ. - Nhầm đường sinh với chiều cao — chiều cao là khoảng cách vuông góc đỉnh xuống đáy, không phải cạnh bên xiên.
- Đồng dạng nhầm thành bằng nhau — hai đáy chóp cụt đồng dạng chứ không bằng, còn lăng trụ thì hai đáy bằng nhau.
4. Thể tích và diện tích khối tròn xoay
Khối tròn xoay sinh từ phép quay một hình phẳng quanh một trục: trụ từ hình chữ nhật, nón từ tam giác vuông, cầu từ nửa hình tròn.
4.1 Định lý quan hệ đường sinh
Trong hình nón bán kính đáy
, chiều cao , đường sinh thỏa .
- Biến:
— bán kính đáy nón. — chiều cao nón, là cạnh góc vuông đứng. — đường sinh, là cạnh huyền của tam giác vuông sinh ra nón.
Chứng minh. Cắt nón bằng mặt phẳng qua trục cho tam giác cân, nửa tam giác là tam giác vuông có hai cạnh góc vuông là bán kính
4.2 Định lý thể tích khối trụ
Khối trụ bán kính đáy
, chiều cao có thể tích và diện tích xung quanh .
- Biến:
— bán kính đáy tròn. — chiều cao trụ. — diện tích đáy hình tròn.
Chứng minh. Trụ là lăng trụ có đáy là hình tròn diện tích
4.3 Định lý thể tích khối nón
Khối nón bán kính đáy
, chiều cao có thể tích và diện tích xung quanh .
- Biến:
— bán kính đáy nón. — chiều cao nón. — đường sinh nón.
Định hướng chứng minh.
- Phần thể tích — nón là chóp có đáy hình tròn diện tích
, áp định lý thể tích khối chóp mục 3.3 với được . - Phần diện tích xung quanh — trải mặt bên nón thành hình quạt tròn bán kính bằng đường sinh
, độ dài cung quạt bằng chu vi đáy , diện tích quạt là .
4.4 Định lý thể tích và diện tích mặt cầu
Khối cầu bán kính
có thể tích và mặt cầu có diện tích .
- Biến:
— bán kính cầu. — hệ số đặc trưng của khối cầu.
Định hướng chứng minh.
- Bước một dựng khối so sánh — đặt nửa cầu bán kính
cạnh một khối trụ bán kính cao đã khoét bỏ một nón đỉnh ở tâm. - Bước hai so thiết diện — tại độ cao
, thiết diện nửa cầu là hình tròn diện tích , còn thiết diện trụ khoét nón là vành khăn cũng diện tích , hai diện tích bằng nhau tại mọi độ cao. - Bước ba áp Cavalieri — hai khối cùng thiết diện tại mọi lát nên cùng thể tích, thể tích trụ khoét nón bằng
là thể tích nửa cầu, nhân đôi được . - Bước bốn suy diện tích — coi cầu là vô số chóp mỏng đỉnh ở tâm cao
đáy phủ mặt cầu, tổng thể tích cho .
4.5 Dạng câu hỏi và bẫy
- Khai triển mặt nón ra góc ở tâm — cho tỉ lệ diện tích hoặc chu vi đáy rồi tìm góc ở tâm
, chiều cao hoặc đường sinh. - Hai trường hợp quay quanh hai cạnh — quay hình chữ nhật quanh cạnh dài và cạnh ngắn cho hai bán kính khác nhau nên đáp số có hai giá trị.
- Tròn xoay với không tròn xoay — lăng trụ trông đối xứng nhưng không sinh từ phép quay nên không phải khối tròn xoay.
5. Tọa độ Oxyz và khoảng cách
Hệ tọa độ Descartes biến mọi điểm không gian thành một bộ ba số, mọi câu hỏi vị trí thành đại số thuần.
5.1 Định nghĩa hệ tọa độ và điểm
- Định nghĩa hệ Oxyz — ba trục
, , đôi một vuông góc cắt nhau tại gốc , mỗi trục có một vector đơn vị. - Định nghĩa tọa độ điểm — điểm
ứng với bộ ba số là độ dài đại số hình chiếu của lên ba trục.
5.2 Định lý khoảng cách hai điểm
Khoảng cách giữa hai điểm
và là .
- Biến:
— hiệu tọa độ theo trục . — hiệu tọa độ theo trục . — hiệu tọa độ theo trục .
Chứng minh. Dựng hình hộp chữ nhật nhận
5.3 Định lý tọa độ trung điểm
Trung điểm
của đoạn có tọa độ .
- Biến:
— tọa độ trục của hai đầu mút. — tọa độ trục của hai đầu mút. — tọa độ trục của hai đầu mút.
Chứng minh. Trung điểm chia đoạn theo tỉ lệ một một nên mỗi tọa độ của
5.4 Dạng câu hỏi và bẫy
- Trung tuyến tam giác — cho ba đỉnh tọa độ, tìm trung điểm cạnh đối trước rồi lấy khoảng cách từ đỉnh tới trung điểm.
- Điểm chia đoạn trên khối — gắn gốc vào một đỉnh lập phương, ba cạnh là ba trục, đọc tọa độ rồi nội suy điểm chia theo trọng số.
- Sót dấu trừ trong khoảng cách — hiệu tọa độ phải đặt đúng dấu trước khi bình phương dù bình phương khử dấu.
6. Phương trình mặt cầu và mặt phẳng
Tọa độ hóa cho phép viết mặt cầu và mặt phẳng thành một phương trình đại số, mỗi phương trình là một định lý suy từ định nghĩa khoảng cách.
6.1 Định lý phương trình mặt cầu
Mặt cầu tâm
bán kính có phương trình .
- Biến:
— tọa độ tâm mặt cầu. — bán kính mặt cầu. — tọa độ điểm chạy trên mặt cầu.
Chứng minh. Mặt cầu là tập điểm
6.2 Định lý phương trình mặt phẳng
Mặt phẳng qua điểm
nhận vector làm pháp tuyến có phương trình .
- Biến:
— tọa độ vector pháp tuyến vuông góc mặt phẳng. — tọa độ một điểm cho trước thuộc mặt phẳng. — tọa độ điểm chạy trên mặt phẳng.
Chứng minh. Điểm
6.3 Định lý khoảng cách điểm tới mặt phẳng
Khoảng cách từ điểm
tới mặt phẳng là .
- Biến:
— giá trị thế tọa độ điểm vào vế trái phương trình mặt phẳng. — độ dài vector pháp tuyến để chuẩn hóa.
Định hướng chứng minh.
- Bước một dựng hình chiếu — gọi
là hình chiếu vuông góc của lên mặt phẳng, đoạn song song pháp tuyến . - Bước hai chiếu vector — khoảng cách
bằng độ dài hình chiếu của vector lên hướng pháp tuyến, tính bằng tích vô hướng chia độ dài pháp tuyến. - Bước ba thế tọa độ — vì
thuộc mặt phẳng nên thế gọn được tử số thành , mẫu số là độ dài pháp tuyến.
7. Phép đối xứng trong Oxyz
Phép đối xứng biến một điểm thành ảnh qua trục, mặt phẳng tọa độ hoặc gốc, bản chất là phép đổi dấu một nhóm tọa độ.
7.1 Định lý luật đổi dấu
Phép đối xứng qua một mặt phẳng tọa độ đổi dấu đúng tọa độ vuông góc mặt đó. Phép đối xứng qua một trục giữ tọa độ trên trục và đổi dấu hai tọa độ kia. Phép đối xứng qua gốc đổi dấu cả ba tọa độ.
- Qua mặt
— ảnh của là . - Qua mặt
— ảnh của là . - Qua mặt
— ảnh của là . - Qua trục
— ảnh của là . - Qua gốc
— ảnh của là .
Chứng minh. Phép đối xứng qua mặt phẳng tọa độ giữ điểm chiếu lên mặt cố định và lật phần vuông góc sang phía đối diện, nên chỉ tọa độ vuông góc mặt đổi dấu còn hai tọa độ trong mặt giữ nguyên. Đối xứng qua trục là tích của hai phép đối xứng qua hai mặt chứa trục đó nên đổi dấu hai tọa độ. Đối xứng qua gốc là tích ba phép đối xứng qua ba mặt nên đổi dấu cả ba.
7.2 Dạng câu hỏi và bẫy
- Tìm ảnh đối xứng — cho điểm rồi hỏi ảnh qua mặt phẳng tọa độ, qua trục hoặc qua gốc.
- Khoảng cách điểm và ảnh — lấy ảnh đối xứng xong tính ngay khoảng cách, thường ra số đẹp.
- Lẫn trục với mặt phẳng — qua trục giữ một đổi hai, qua mặt phẳng giữ hai đổi một, nhớ ngược là sai hết.
- Quên đổi đủ dấu qua gốc — đối xứng qua gốc phải đổi cả ba, dễ sót một tọa độ.
8. Quy trình không trượt bước
- Khai triển mặt nón — viết độ dài cung quạt bằng chu vi đáy
, lập ra góc ở tâm, dùng rút chiều cao, kiểm thứ nguyên. - Diện tích hoặc thể tích khối — nhận đúng loại khối, viết công thức chuẩn, xác định
, , qua tam giác đường sinh, thay số rồi rút gọn. - Thể tích bằng tọa độ — lấy ba vector từ một đỉnh, tính thể tích tứ diện bằng
trị tuyệt đối tích hỗn tạp, kiểm dấu trước khi lấy trị tuyệt đối. - Lấy điểm đối xứng — xác định đối xứng qua trục hay mặt hay gốc, áp luật giữ đổi đúng nhóm tọa độ, viết bộ ba mới rồi đọc lại.
- Khoảng cách điểm tới mặt phẳng — thế tọa độ điểm vào vế trái phương trình, lấy trị tuyệt đối, chia cho độ dài pháp tuyến.
9. Ví dụ mẫu có lời giải
9.1 Thể tích chóp tứ giác đều
- Đề — chóp tứ giác đều có cạnh đáy
và chiều cao , tính thể tích. - Bước một diện tích đáy — đáy là hình vuông cạnh
nên . - Bước hai áp định lý thể tích chóp — theo mục 3.3 có
. - Kết luận — thể tích khối chóp bằng
đơn vị thể tích, lưu ý không quên hệ số .
9.2 Ảnh đối xứng và khoảng cách
- Đề — cho điểm
, tìm ảnh qua mặt phẳng rồi tính khoảng cách . - Bước một lấy ảnh — qua
đổi dấu tọa độ nên . - Bước hai khoảng cách — áp định lý khoảng cách mục 5.2 với hiệu chỉ có ở trục
, được . - Kết luận — khoảng cách bằng
, đúng bằng hai lần trị tuyệt đối tọa độ vì hai điểm chỉ khác nhau ở trục đó.
10. Kết nối
- Nền cho vector và tích hỗn tạp — quan hệ vuông góc và pháp tuyến ở đây là cửa vào cụm vector, nơi tích vô hướng và tích có hướng định lượng góc và diện tích.
- Nền cho tích phân thể tích — nguyên lý Cavalieri và lát cắt mở thẳng sang tính thể tích vật thể tròn xoay bằng tích phân ở cụm đạo hàm và tích phân.
- Nền cho hình giải tích — phương trình mặt phẳng và mặt cầu là bản nâng ba chiều của phương trình đường thẳng và đường tròn trong cụm hình giải tích phẳng.
- Vai trò với phân tích dữ liệu — tọa độ hóa và khoảng cách Euclid ba chiều chính là nền của khoảng cách trong không gian đặc trưng nhiều chiều dùng ở mô hình hóa sau này.