>>695
「2点間の最短距離を実現するのが線分である」を用いた証明も厳密だと思いますが。。。
外接円のほうもこのくらいわかりやすく説明できないものかと思ったのですがそれはどうやら無理そうですね。