凸四角形PBCQと三角形の不等式を用いた辺の関係の証明

△ABCの内部に点P、Qをとったとき、四角形PBCQが凸四角形になる場合、AB+AC＞BP+PQ+QCが成立することを示すには、補助線を引き三角形の成立条件や不等式を用いる方法が有効です。

従来の解法

一般的な解法では、直線BPと辺ACの交点をR、直線PQと辺ACの交点をSとし、補助線PRとQSを引きます。すると△ABR、△PRS、△QSCの各三角形に三角不等式を適用でき、段階的にAB+AC＞BP+PQ+QCを導きます。

別のアプローチの検討

質問者の提案では、AP+BP+CP＞(AB+BC+CA)/2やAQ+BQ+CQ＞(AB+BC+CA)/2のような三角形の不等式を使おうとしています。この方法は三角形に対する距離和の不等式を利用するもので、理論的には関連性があります。

難易度と制約

ただし、このアプローチではPとQが△ABC内の任意の位置にあるため、AP、BP、CPやAQ、BQ、CQの関係を直接AB+AC＞BP+PQ+QCに結びつけるのが複雑です。点の位置によっては不等式の組み合わせが必ずしも単純に評価できないため、途中で詰まるのは自然なことです。

結論

したがって、三角形の成立条件や補助線を使う従来の方法が最も直接的で明快な証明手段となります。距離和のアプローチでも可能性はありますが、計算や場合分けが複雑になるため、一般的な証明としては難しいと考えられます。

まとめ

凸四角形PBCQにおけるAB+AC＞BP+PQ+QCの証明では、補助線と三角形の不等式を使った方法がシンプルかつ確実です。距離和を用いた方法は理論上の検討は可能ですが、実用的な証明には適さないことが多いです。