>>258
OH↑の実数倍が
s*a↑+t*b↑+u*c↑(s+t+u=1)で書けるから
係数比較とs+t+u=1で解ける。