この記事は、日曜数学 Advent Calendar 2020 の9日目の記事です。 昨日はヘカテーさんの「世界二難しい論理パズル(?)の類題と、削除符号。」でした。 最近、仕事で図面を描くことがある*1。図面といえば図形であり、描くには幾何学の知識が必要になる……かと…