二次凸多面体とは、 凸凹のうちで、普通、凸凹は数学では、凸の方を考えて、 凹多角形というのは考えません、考察対象しません、というのはあまり美しくないからだと思いますが
その基本的なものが、 逆に、凸多角形とかだといくらでも類題がありますので、凸になっているものは考える。 解析でも、 上に凸であるとはいいますが、上に凹という言い方はない。
イワンサイヴェルマンとゲルファントゲルビンスキーとの共同研究で開始されたもので、情報科学理論に応用される。 実は平成16年頃から、慶応大学とかでもとっくに研究が開始されていたもので
今に始まったわけではない。昔からあったものであるが、当時は朽ち果てていて誰も相手にしていなかった。2004年と言うと、こち亀に、御堂春とかが出ていて、うざいとも言われていたがまだ社会全体
はエロ落ちしていなかった。
フェルマーの問題で、 x^4+y^4=z^4に解がないというのは、事実に属するというか、 主張みたいなものであるので、専門的な議論だけをして証明できます。エレガントな証明とかそういう要素は
この個別の問題には入っていない気がする。だから真面目に議論しないとだめである。n=3の場合の証明はいかんながらどこにも公開されていないので解説することはできない。