>>141
そのp↑とb↑-c↑の内積が0、という式がkについての1次方程式。
kは|b↑|^2、|c↑|^2、b↑・c↑で表せるから、その結果をp↑に代入。