hdoj 1411

校庆神秘建筑

Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 2704 Accepted Submission(s): 977

Problem Description
杭州电子科技大学即将迎来50周年的校庆，作为校庆委员会成员的我被上级要求设计一座神秘的建筑物来迎合校庆，因此我苦思冥想了一个月，终于设计出了一套方案，这座建筑物有点象古老埃及的金字塔，不过这个神秘建筑的根基是三角形的而不是矩形的，从数学的专业角度来讲，它是四面体。当我打算上交我的设计图纸的时候发现，我不知道怎么计算这个神秘建筑的体积（我知道这座建筑的各边的尺寸），于是我找来了聪明的你来帮助我解决这个难题。

Input
输入文件包含6个不超过1000的实数，每个数之间用空格隔开。每个数代表金字塔ABCD的一条棱边长度，棱边排序如下：AB，AC，AD，BC，BD，CD。

Output
输出数据应是一个实数，表示金字塔的体积，精确到4位小数。

Sample Input
2 2 2 2 2 2

Sample Output
0.9428

蜜汁思路：一看就是一道数学题，肯定有公式，然后我就百度到了。。。有的大佬能推出来，反正我不能。。。想想就麻烦

#include<stdio.h>
#include<math.h>
#include<string.h>
int main()
{
    double l,n,a,m,b,c;
    double x,y;
    while(scanf("%lf%lf%lf%lf%lf%lf",&l,&n,&a,&m,&b,&c)!=EOF)
    {
        x=4*a*a*b*b*c*c-a*a*(b*b+c*c-m*m)*(b*b+c*c-m*m)-b*b*(c*c+a*a-n*n)*(c*c+a*a-n*n);
        y=c*c*(a*a+b*b-l*l)*(a*a+b*b-l*l)-(a*a+b*b-l*l)*(b*b+c*c-m*m)*(c*c+a*a-n*n);
        printf("%.4lf\n",sqrt(x-y)/12);
    }
}