已知平面四边形ABCD的四边长分别为AB=a,BC=b,CD=c,DA=d,且cos(A+C)=cos(B+D)=m,求四边形ABCD的面积S.
正确答案是S=14√2a2b2+2b2c2+2c2d2+2d2a2+2a2c2+2b2d2−(a4+b4+c4+d4)−8abcdm.
分析与解 连接BD,应用余弦定理有BD2=a2+d2−2adcosA=b2+c2−2bccosC,
即2adcosA−2bccosC=a2−b2−c2+d2.
即2adsinA+2bcsinC=4S.
两式平方相加,有4a2d2+4b2c2−8abcdcos(A+C)=(a2−b2−c2+d2)2+16S2,
即S=14√2a2b2+2b2c2+2c2d2+2d2a2+2a2c2+2b2d2−(a4+b4+c4+d4)−8abcdm.
特别的,当d=0时,就得到了海伦公式S=14√2a2b2+2b2c2+2c2a2−(a4+b4+c4).
事实上,可以将其变形为S=√(p−a)(p−b)(p−c)(p−d)−abcdcos2A+C2,
其中p=12(a+b+c+d),此即Bretschneider公式.