>>793
全体を−αだけ回転して
ベクトルA'↑=(1,0) とベクトルB'↑=(cos(β-α),sin(β-α))
を考えればいい。