>>700
ｓ、ｔは共に１より大きい正の実数と仮定してよい。
これを仮定しないと「2つの線分BPとAQの交点をR」は定まらない。
あとの基本方針はメネラウスの定理を使う。
細部は省略。