すみません質問です。
三平方の定理の現代的証明（或いは公理としての取り込み方）って
ありますでしょうか？
wikiで見るとオイラーの公式から証明できるとあるのですが
少なくとも小平先生「解析入門」の本を見る限り三角関数の厳密な構成にも
残念ながら三平方の定理はア・プリオリに既知として認めてしまっているような
気もするのですが