初等幾何における、補助線の引き方に必然性はありますか？
図形の性質から逆算すると聞いた覚えがあります。