Exercices et devoirs de maths et physique-chimie sur mesure pour le collège et le lycée

Démontrer par récurrence que \[ \text{Pour tout n dans } \mathbb{N}, n + 1 \gt n \]

{"options": {"runner": {"environment": "theorems"}, "toolbox": [{"concl": [{"type": "concl_rec"}], "hypo": [{"type": "hypo_rec"}], "type": "SiAlorsImplication"}, {"type": "RecurrenceImplication"}, {"type": "init"}, {"type": "r"}], "blocks": {"base_start": {"inputs": [{"fields": [{"text": "Au d\u00e9marrage", "type": "text"}], "align": "left", "type": "dummy_input"}], "on_event": "start", "creatable": false, "tooltip": "D\u00e9marrage de l'algorithme", "colour": 65, "next_statement": true}, "RecurrenceImplication": {"inputs": [{"fields": [{"text": "On sait que", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "(Initialisation)", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "init", "check": null}, {"fields": [{"text": "et", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": "(h\u00e9r\u00e9dit\u00e9)", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "recurrence", "check": null}, {"fields": [{"text": "donc, par r\u00e9currence", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "concl", "check": null}], "colour": 120, "next_statement": true, "tooltip": "D\u00e9monstration par r\u00e9currence", "previous_statement": true}, "init": {"colour": 210, "previous_statement": true, "compound": {"blocks": {"base_expressiontostatement": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "expression", "check": null}], "colour": 210, "inline": true, "next_statement": true, "previous_statement": true}, "SimpleComparison": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": null}, {"fields": [{"type": "dropdown", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "name": "op"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": null}], "colour": 210, "next_statement": true, "previous_statement": true}, "base_numberinput": {"inputs": [{"fields": [{"default": 0.0, "type": "number_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni un nombre", "output": "Number"}}, "ast": {"expression": {"value_1": {"type": "base_numberinput", "value": 1.0}, "value_2": {"type": "base_numberinput", "value": 0.0}, "type": "SimpleComparison", "op": "GT"}, "type": "base_expressiontostatement"}}, "inline": true, "next_statement": true}, "r": {"colour": 210, "previous_statement": true, "compound": {"blocks": {"SimpleComparison": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": null}, {"fields": [{"type": "dropdown", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "name": "op"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": null}], "colour": 210, "next_statement": true, "previous_statement": true}, "Quantifier": {"inputs": [{"fields": [{"type": "dropdown", "values": [["pour tout", "forall"], ["il existe", "exists"]], "name": "quantifier"}], "align": "left", "type": "dummy_input"}, {"fields": [{"default": "n", "type": "text_input", "name": "variable"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": " dans ", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [{"type": "dropdown", "values": [["\u2115", "N"]], "name": "set"}], "align": "left", "type": "dummy_input"}, {"fields": [{"text": ",", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value", "check": null}], "colour": 210, "inline": true, "next_statement": true, "previous_statement": true}, "n_1": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n + 1"}}}, "n": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n"}}}}, "ast": {"variable": "n", "quantifier": "forall", "set": "N", "type": "Quantifier", "value": {"value_1": {"type": "n_1"}, "value_2": {"type": "n"}, "type": "SimpleComparison", "op": "GT"}}}, "inline": true, "next_statement": true}, "hypo_rec": {"colour": 210, "previous_statement": true, "compound": {"blocks": {"base_expressiontostatement": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "expression", "check": null}], "colour": 210, "inline": true, "next_statement": true, "previous_statement": true}, "SimpleComparison": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": null}, {"fields": [{"type": "dropdown", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "name": "op"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": null}], "colour": 210, "next_statement": true, "previous_statement": true}, "n_1": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n + 1"}}}, "n": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n"}}}}, "ast": {"expression": {"value_1": {"type": "n_1"}, "value_2": {"type": "n"}, "type": "SimpleComparison", "op": "GT"}, "type": "base_expressiontostatement"}}, "inline": true, "next_statement": true}, "concl_rec": {"colour": 210, "previous_statement": true, "compound": {"blocks": {"base_expressiontostatement": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "expression", "check": null}], "colour": 210, "inline": true, "next_statement": true, "previous_statement": true}, "SimpleComparison": {"inputs": [{"fields": [], "align": "left", "type": "value_input", "name": "value_1", "check": null}, {"fields": [{"type": "dropdown", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "name": "op"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "value_input", "name": "value_2", "check": null}], "colour": 210, "next_statement": true, "previous_statement": true}, "n_1": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n + 1"}}}, "n_2": {"colour": 260, "output": "String", "tooltip": "Fourni une chaine de caract\u00e8re", "compound": {"blocks": {"base_stringinput": {"inputs": [{"fields": [{"default": "", "type": "text_input", "name": "value"}], "align": "left", "type": "dummy_input"}], "colour": 260, "tooltip": "Fourni une chaine de caract\u00e8re", "output": "String"}}, "ast": {"type": "base_stringinput", "value": "n + 2"}}}}, "ast": {"expression": {"value_1": {"type": "n_2"}, "value_2": {"type": "n_1"}, "type": "SimpleComparison", "op": "GT"}, "type": "base_expressiontostatement"}}, "inline": true, "next_statement": true}, "SiAlorsImplication": {"inputs": [{"fields": [{"text": "Si", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "hypo", "check": null}, {"fields": [{"text": "alors,", "type": "text"}], "align": "left", "type": "dummy_input"}, {"fields": [], "align": "left", "type": "statement_input", "name": "concl", "check": null}], "colour": 120, "next_statement": true, "tooltip": "Une implication", "previous_statement": true}}}, "ast": [[{"editable": false, "type": "base_start", "deletable": false}]]}

Pour accéder à cet exercice, il faut être connecté.