この記事は好きな証明 Advent Calendar 2018 - Adventar の19日目の記事です。 皆さん、数学してますか? どうも、数学クソ解説botです。 今回は好きな証明アドベントカレンダーとして、僕の好きな証明、ひいては定理を紹介したいと思います。 今回紹介するのは九点円の定理と六点円の定理です。どちらも共にエッッッッッッッモい(Well definedでない)ので是非覚えていただければと思います。 中学三年生レベルの知識があれば理解できると思います。 人はエモを食べる生き物である。 —数学クソ解説bot 九点円 三角形ABCがあります。 垂線を引いてみました。 ここで、BCの中点をA1、ACの中点をB1、ABの中点をC1とします。 次に、垂線とBCがぶつかるところをA2、ACがぶつかるところをB2、ABがぶつかるところをC2とします。(これらの点を数学的には垂線の足