>>316
OP↑=kOH↑
OA↑=a↑,OB↑=b↑などとおく
d↑=a↑+b↑, e↑=a↑+c↑, f↑=a↑+b↑+c↑
これよりa↑,b↑,c↑をd↑,e↑,f↑で表せる

平面DEF上に点Pがあるための条件は
p↑=sd↑+te↑+uf↑と表した時、s+t+u=1

>>321
|OP↑-OQ↑|^2=|OP↑|^2-2(OP↑・OQ↑)+|OQ↑|^2=1
|OP↑|^2+|OQ↑|^2=1+2(OP↑・OQ↑)