Hai công thức đẹp nhất về thể tích tứ diện

[huynhcongbang]

Hồi còn học THPT, thầy mình từng nói là trong hình học không gian, hai công thức đẹp nhất về thể tích tứ diện chính là:
(1) Công thức tính thể tích tứ diện theo các cạnh (có thể hiểu là công thức Heron cho tứ diện), tức là cho trước độ dài 6 cạnh của một tứ diện, tính thể tích tứ diện theo 6 cạnh đó.
(2) Công thức Crelle: S = 6VR, trong đó V là thể tích tứ diện, R là bán kính mặt cầu ngoại tiếp tứ diện và S là diện tích tam giác có các cạnh là tích các cặp cạnh đối diện.

Về c/m công thức thứ (2), mình tìm được cách chứng minh trong rất nhiều tài liệu như "Các bài toán về HHKG" của Praxolov, "Ẩn sau định lí Ptoleme" của PGS.TS. Lê Quốc Hán,...trong đề thi Olympic 30-4 cũng có sự xuất hiện của nó nữa.
Nhưng công thức thứ (1) thì quả là hiếm thật, một biểu thức dưới dấu căn dài đến hai dòng, sự đối xứng giữa các cạnh chéo nhau và giữa các cạnh kề nhau làm cho biểu thức thật đẹp. Mình đã từng chứng minh được nó bằng một ý tưởng rất đơn giản ( tính diện tích một mặt đáy, tính độ dài đường cao tương ứng bằng công thức vectơ) nhưng biến đổi dài đến 2 trang giấy! Mình nghĩ biểu thức đẹp như thế thì cũng phải có một lời giải đẹp hay ít ra là phải có một lời giải tương đối đơn giản cho nó.

Mong được các bạn giúp đỡ!
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]