对角线互相垂直的四边形面积等于两条对角线乘积的一半,这个结论对吗?