これは好きな証明 Advent Calendar 2018 - Adventarへの参加記事です。 次のような初等幾何の美しい定理があります*1：定理 平面上に８つの点$Z_1,Z_2,Z_3,Z_4,W_1,W_2,W_3,W_4$があり、 $(Z_1,Z_2,W_1,W_2),(Z_2,Z_3,W_2,W_3),(Z_3,Z_4,W_3,W_4),(Z_4,Z_1,W…

滑り込みですが枠が空いていたので、 日曜数学 Advent Calendar 2018 - Adventar に参戦します。唐突ですが、超双曲型方程式 - Wikipediaを見ると、最後に「超双曲型方程式は調和函数に対する平均値の定理に似たものを満たす。」という記述があります。上の…