ta có tam giác SAB= tan giác SAD( tự chứng minh)
$\Rightarrow$ $\{ESA}$ = $\{FSA}$
tam giác SAE= tam giác SAF
$\Rightarrow$ SE=SF
ta có [TEX]\frac{SE}{SF}=\frac{EB}{FD}[/TEX]
Áp dụng định lí Ta lét đảo
$\Rightarrow$ EF//DB
mà SC vuông BD (định lí 3 đường vuông góc)
$\Rightarrow$ EF vuông SC(*)
BC vuông AB
BC vuông SA
$\Rightarrow$ BC vuông (SAB) ---> BC vuông AE
AE vuông SB,
$\Rightarrow$ AE vuông (SBC)
$\Rightarrow$ AE vuông SC (*)(*)
Từ (*) và (*)(*) ----> SC vuông (AFE)
Phần thể tích bạn có thể tính như thế này:
SC vuông (AFE) nên SC vuông AI
Áp dụng công thức tỉ số thể tích
[TEX]\frac{V_{S.AEI}}{V_{S.ABC}}=\frac{SE*SA*SI}{SB*SA*SC}[/TEX]
[TEX]\frac{V_{S.AFI}}{V_{S.ACD}}=\frac{SA*SI*SF}{SA*SC*SD}[/TEX]
ban đầu tính AI, AE, AF nhờ hệ thức lượng trong tam giác ---> SI, SF, SE nhờ Pitago
thể tích chóp S.AEIF thì cộng thể tích 2 phần lại thôi.