SRM602 Div1 Hardの解説記事に書いた「光の閉路が出来ていれば鏡の閉路も出来ている」の証明っぽいものを思いついたので書きます。各セルを鏡で二等辺直角三角形に分けて、光が通った三角形だけを取り出してみる。それらの概形は、三角形どうしは縦の辺とか…