幾何学証明における数学的帰納法の役割