prove that AB^2 + CD^2 = BD^2 + AC^2.