鸡老板上帖有个笔误：右边第一行\(z_D\) 应为\(z_B\)。

下面是简单c-程序，用免费的cygwin可以执行。

俺的方法与鸡老板的方法结果相同。但鸡老板方法比较直接。例如，
鸡老板推出：AF=1。
俺用正弦定理的结果是：(1- tan (15*dg)) * sin (75*dg)/ sin (45*dg)

算了一下也是1。
--------------
#include <stdio.h>
#include <math.h>

int main(){
float pi, dg, ae, ab, ad, dh, ac, s;
pi=atan(1)*4;
dg=pi/180;
ae= (1- tan (15*dg)) * sin (75*dg)/ sin (45*dg);
ab= sqrt(3) + ae;
ad= sqrt(1.5)* (1-tan(15*dg));
dh= 1/cos(15*dg);
ac= sqrt(2) + dh + ad;
s= ab*ac* sqrt(2)/4;
printf("%f hhn",s);
return 0;
}