prove that d2^2 = c^2 + d1^2.