>>29
以下は全てベクトル。
AD'=AB+BD'
=AB+DC (BDCD'は平方四辺形)
=AB+AC-AD
終わり。