d=$3^2+$1^2-$2^2,$0=int((4*$1^2*$3^2-d*d)^.5/4+.5)