>>929
OH↑=(1+t)/(s+t+2)*a↑+(1+s)/(s+t+2)*b↑
のはず。内分点だから。