>>501
昔は定義もなしに数学が展開されていたのですよ？
一部の公理を使えば例えば今回の内接の場合もクリアできます。