SA vuông góc ABCD nên SA v/g AC , SA = AB =a => t/g SAB vuông cân tại A
=> SA là h`c' của SB trên ( SAB) (1)
trong (SAC) có SA vuông góc với AC (2)
từ (1) và (2) => AC vuông góc với SB (*)
Gọi H là trung điểm của SB => AH v/g SB (**)
từ (*) và (**) => SB v/g với (AHC)
từ H kẻ HI v/g AC, HI thuộc ( AHC) => HI v/g SB
=> d(AC,SB) = HI
ta có : BC v/g AB
SA v/g BC ( SA v/g (ABCD))
=> BC v/g (SAB) => BC v/g SB và BC v/g AH
AH v/g SB
AH v/g BC => AH v/g ( SBC) => AH v/g HC => t/g AHC vuông tại H
sau đó chỉ cần dùng hệ thức lượng trong tam giác vuông và định lý py ta go để tính các cạnh là xong