Prove that for any quadrilateral in which the diagonals are perpendicular to each other, the area is half the product of the lengths of the diagonals.