Since the formula is symmetric in the variables, the formulas hold for the latter two cases as well. This
can also be seen as a proof without words in Figure 7 where the dotted segments are
the diagonals of the three respective trapezoids. Since the diagonals of an isosceles
trapezoid are congruent, we have