MathLabs
Định lýĐã chứng minh

Định lý tỉ số thể tích của khối chóp tam giác chung đỉnh

Phát biểu

Cho hình chóp tam giác S.ABCS.ABC và các điểm A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC trên ba cạnh bên của nó, hình chóp S.A′B′C′S.A'B'C' thỏa mãn VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}.

Vì sao đúng?

Trượt độc lập từng điểm trong ba điểm dọc theo cạnh của nó từ đỉnh sẽ kéo giãn hình chóp độc lập theo ba hướng khác nhau, nên thể tích phải thay đổi theo tích của ba hệ số kéo giãn độc lập đó, giống như việc co giãn độc lập ba cạnh của một hình hộp sẽ nhân thể tích của nó với tích của ba hệ số co giãn.

Phác thảo chứng minh

Đặt đỉnh SS làm gốc tọa độ và gọi u⃗=SA→\vec{u} = \overrightarrow{SA}, v⃗=SB→\vec{v} = \overrightarrow{SB}, w⃗=SC→\vec{w} = \overrightarrow{SC}. Thể tích của tứ diện tạo bởi ba vectơ cạnh chung một đỉnh được cho bởi tích hỗn hợp VS.ABC=16∣u⃗⋅(v⃗×w⃗)∣V_{S.ABC} = \frac{1}{6}\left|\vec{u}\cdot(\vec{v}\times\vec{w})\right|.

Vì A′∈SAA' \in SA, B′∈SBB' \in SB, C′∈SCC' \in SC, ta có thể viết SA′→=k1u⃗\overrightarrow{SA'} = k_1\vec{u}, SB′→=k2v⃗\overrightarrow{SB'} = k_2\vec{v}, SC′→=k3w⃗\overrightarrow{SC'} = k_3\vec{w} với k1=SA′SAk_1 = \frac{SA'}{SA}, k2=SB′SBk_2 = \frac{SB'}{SB}, k3=SC′SCk_3 = \frac{SC'}{SC}. Khi đó VS.A′B′C′=16∣(k1u⃗)⋅((k2v⃗)×(k3w⃗))∣V_{S.A'B'C'} = \frac{1}{6}\left|(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big)\right|.

Tích hỗn hợp là tam tuyến tính (tuyến tính theo từng vectơ trong ba vectơ), nên (k1u⃗)⋅((k2v⃗)×(k3w⃗))=k1k2k3(u⃗⋅(v⃗×w⃗))(k_1\vec{u})\cdot\big((k_2\vec{v})\times(k_3\vec{w})\big) = k_1 k_2 k_3 \left(\vec{u}\cdot(\vec{v}\times\vec{w})\right). Lấy giá trị tuyệt đối và chia cả hai vế cho 6, ta được VS.A′B′C′=k1k2k3⋅VS.ABCV_{S.A'B'C'} = k_1k_2k_3 \cdot V_{S.ABC}, sắp xếp lại chính xác thành VS.A′B′C′VS.ABC=SA′SA⋅SB′SB⋅SC′SC\dfrac{V_{S.A'B'C'}}{V_{S.ABC}} = \dfrac{SA'}{SA}\cdot\dfrac{SB'}{SB}\cdot\dfrac{SC'}{SC}.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Euclid; trans. T. L. Heath (1908). Euclid's Elements, Book XII (method of exhaustion; pyramid and prism volumes)
  2. Weisstein, Eric W. (2024). Platonic solid