年度は忘れたが、昔の東大の問題。全ての格子点を中心として半径rの円が描かれている。傾き2/5の任意の直線がこれらの円のどれかと必ず交わるようなrの最小値は何か、という問い。今日の授業でこれを解いた。以前に授業したこともあったと思うが、その時どう…