0627132人目の素数さん垢版 | 大砲2017/10/28(土) 17:38:37.91ID:dVnNrIca すみません質問です。 三平方の定理の現代的証明(或いは公理としての取り込み方)って ありますでしょうか? wikiで見るとオイラーの公式から証明できるとあるのですが 少なくとも小平先生「解析入門」の本を見る限り三角関数の厳密な構成にも 残念ながら三平方の定理はア・プリオリに既知として認めてしまっているような 気もするのですが