>>263
前半
OP↑=OA↑+tAB↑を成分で表すだけ
後半
OQ↑=OC↑+sCD↑とおいて
PQ↑・AB↑=0かつPQ↑・CD↑=0