In space quadrilateral ABCD, ab ⊥ CD, BC ⊥ Da, prove: ab ^ 2 + CD ^ 2 = BC ^ 2 + Da ^ 2

In space quadrilateral ABCD, ab ⊥ CD, BC ⊥ Da, prove: ab ^ 2 + CD ^ 2 = BC ^ 2 + Da ^ 2

The vector proof is the most simple, ad → = ab → + BC → + CD → { ad → - BC → = ab → + CD → (AD → - BC →) & { 178; = (AB → + CD →) & { 178; ad & { 178; + BC & { 178; - 2ad → * BC → = AB & { 178; + CD & { 178; - 2Ab → * CD → ⊥ BC →, ab →⊥ CD →{ ad → * BC → = ab → * CD → = 0