A geometric problem known as the "art gallery theorem." It also involves graph theory, but no prior knowledge is required. 0:00 Intro 0:25 Problem 1:29 Solution X: / evima0
数学的帰納法です。 高校数学でよく見る形は k で成立することから k + 1 でも成立することを導くものですが、k 以下の仮定から k + 1 を導くことも同様の原理で可能です。 他にも k の仮定から 2k と k - 1 を導くパターン (多変数の相加相乗平均の関係の証明に用いられることがある) なども見かけます。