>>42
AD が2つあるぞ

始点をAじゃなく、球の中心Oにそろえ、OA↑= a↑、(以下略)とおく。
後は素直に p1↑、q1↑、・・・ を求めて、ベクトルの絶対値を計算
|a↑| = |b↑| = ・・・ に注意