質問: 写真(2)についてです。
回答: OA↑・(OP↑-OB↑)=0 が成立していても 「OA↑≠0↑よりOP↑=OB↑」は一般的に成立しません。 OP↑=OB↑ということは、 OP↑-OB↑=0↑ということですが、 a↑・b↑=0↑⇒a↑=0↑またはb↑=0↑またはa↑⊥b↑です。 つまりOP↑-OB↑=0↑でなくてもOA↑・(OP↑-OB↑)=0↑は 成立することがあるのでここで論理展開をミスっています。