Interesting problem, I approach the proof from anther prospective from vectors.
Frederick, nice solution! It reminds of ???? formula.