数学者は数学の証明方法において特に華麗さを評価する。 これは例えば

最小限の既知事実や付加的仮定を使用した証明
異常に簡潔な証明
驚愕的な方法により結論を演繹する証明 (例えば、一見無関係な既知定理を用いた証明)
新しい独自の洞察に基づく証明
類似の問題群を解くための一般化が可能な証明方法のようなものである．

解法の美：多数の手段の中の美の発見

華麗な証明を模索する中で、数学者は一般には複数の証明方法から1つを選択することになるが、最初に使用された証明方法が常に最良とは限らない。多数の証明方法が知られている問題の典型例は三平方の定理であり、これまでに数百もの証明が公表されている。 解法の美は、この定理の証明にもいくつか見られる。右の図によれば、もはや文章や数式などを付与する必要は全くなく、図のみからその定理の成立がわかる。簡潔であるとともに説明の必要無しに直感的な理解を形成する典型例であり、上で列挙した五つの華麗さのうち少なくとも最初の四つを満たす。他の例として平方剰余の相互法則があり、カール・フリードリヒ・ガウスによりこの定理に対して8個の異なる証明が公表された。

逆に、論理的に正しいが膨大な計算量を要するような結果、念入りすぎる方法、大変に平凡なアプローチ、あるいは非常に強力な定理や既知の結果を多数使用する証明方法は通常は華麗とは看做されず、醜悪，不器用などと評価されることもある。

手法の美：モデルの美しさ

数学を道具として利用した中での手法の美のひとつとしてヨハネス・ケプラーの多面体太陽系モデル仮説が挙げられる。ケプラーの時代には太陽系の惑星として水星・金星・地球・火星・木星・土星の6個しか知られていなかった。ケプラーは正多面体が5種類しかないことと、6個の惑星の軌道による5個の隙間には、正多面体と球との外接・内接による関連性があるとの仮説を立てた。結果的にはこの仮説は彼の期待を裏切ることとなったが、後の古典力学の発展に繋がった。


https://loco.yahoo.co.jp/place/g-ljUTa2H62zs/
https://twitter.com/ogu_minerva?lang=ja
https://oguminerva.diarynote.jp/
https://saien-navi.jp/pg/profile/oguogu
https://oguminerva.exblog.jp/
https://o-g-u.hatenablog.jp/
https://profile.ameba.jp/ameba/ogu-minerva
http://o-g-u.jugem.jp/
https://twpf.jp/ogu_minerva
https://www.himekuri.net/d88/oguminerva/