ｸｲｽﾞ大陸

これでもできますね
やはり"ある定理"を使って証明できますね
確かに、例の延長線上の点を求めるのが本来の目的ですので、中点を求めるのは必ずしも必要というわけではなさそうですね。
ただ僕はこの問題だけではなく、コンパスの無い作図の可能性を考えていましたので…
中点を求めるのを先にしておくと、ヒントにも書いたようにn等分などがしやすそうだな、と思って「中点を求める方法」を前面に押し出してしまいました