有

A=D

B=E

C=F

即

1/2ghsinA·1/2ijsinC·1/2klsinE

/

1/2hisinB·1/2jksinD·1/2lgsinF

=

1

即

S1·S3·S5/(S2·S4·S6)=1

即

ace/(bdf)=1

即

a/b·c/d·e/f=1

得證