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