Le plan - 5e

Hauteurs, médiatrices

Exercice 1 : Reconnaître une médiatrice d'un triangle isocèle

Sachant que MU = MV, NU = NV et \( (d) \) est la médiatrice de [UV].

Prouver que la droite (MN) est la médiatrice du segment [UV].

{"options": {"runner": {"environment": "theorems"}, "blocks": {"And": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "Combine plusieurs propositions", "inputs": [{"type": "statement_input", "fields": [], "align": "left", "name": "bool1", "check": null}, {"type": "dummy_input", "fields": [{"text": "et", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "bool2", "check": null}]}, "VarValueSegmentNA": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "NU"}}, "output": "Segment", "colour": 330}, "SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "VarValuePointN": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "N"}}, "output": "Point", "colour": 330}, "VarValueSegmentCD": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[UV]"}}, "output": "Segment", "colour": 330}, "Mediatrice": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "line", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "est la m\u00e9diatrice de", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "segment", "check": "Segment"}]}, "Start": {"next_statement": true, "colour": 65, "tooltip": "D\u00e9marrage de la d\u00e9monstration", "inputs": [{"type": "dummy_input", "fields": [{"text": "D\u00e9monstration", "type": "text"}], "align": "left"}], "creatable": false, "on_event": "start"}, "theorem_EqualDistanceMediatrice": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Si un point est \u00e9quidistant", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "des extr\u00e9mit\u00e9s d'un segment", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "alors ce point appartient \u00e0 la", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "m\u00e9diatrice de ce segment.", "type": "text"}], "align": "left"}]}, "DroiteConfondues": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "dummy_input", "fields": [{"text": "La droite ", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "line_1", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "et la droite ", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "line_2", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "sont confondues ", "type": "text"}], "align": "left"}]}, "VarValueSegmentNB": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "NV"}}, "output": "Segment", "colour": 330}, "Implication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "\u00c0 partir d'hypoth\u00e8ses et d'une propri\u00e9t\u00e9 d\u00e9montre un r\u00e9sultat", "inputs": [{"type": "dummy_input", "fields": [{"text": "On sait que", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "hypo", "check": null}, {"type": "dummy_input", "fields": [{"text": "or,", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "theo", "check": null}, {"type": "dummy_input", "fields": [{"text": "donc", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "theorem_DeuxDroitesSontConfondues": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Par deux points, il ne passe", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "qu'une droite.", "type": "text"}], "align": "left"}]}, "VarValueLineD": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(d)"}}, "output": "Line", "colour": 330}, "SiAlorsImplication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "Une implication", "inputs": [{"type": "dummy_input", "fields": [{"text": "Si", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "hypo", "check": null}, {"type": "dummy_input", "fields": [{"text": "alors,", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "VarValueSegmentMB": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "MV"}}, "output": "Segment", "colour": 330}, "VarValueSegmentMA": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "MU"}}, "output": "Segment", "colour": 330}, "VarValueLineMN": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(MN)"}}, "output": "Line", "colour": 330}, "VarValuePointM": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "M"}}, "output": "Point", "colour": 330}, "theorem_MediatriceEqualDistance": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Si un point appartient \u00e0 la", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "m\u00e9diatrice d'un segment alors", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "il est \u00e0 \u00e9gale distance des", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "extr\u00e9mit\u00e9s de ce segment.", "type": "text"}], "align": "left"}]}}, "toolbox": [{"type": "And"}, {"type": "DroiteConfondues"}, {"type": "DroiteConfondues", "line_1": {"type": "VarValueLineMN"}, "line_2": {"type": "VarValueLineD"}}, {"type": "Implication"}, {"type": "Mediatrice", "line": {"type": "VarValueLineD"}, "segment": {"type": "VarValueSegmentCD"}}, {"type": "Mediatrice"}, {"type": "SiAlorsImplication"}, {"type": "SimpleComparison", "op": "BELONGS"}, {"type": "SimpleComparison", "op": "EQ"}, {"type": "SimpleComparison", "value_1": {"type": "VarValuePointM"}, "value_2": {"type": "VarValueLineD"}, "op": "BELONGS"}, {"type": "VarValueLineD"}, {"type": "VarValueLineMN"}, {"type": "VarValuePointM"}, {"type": "VarValuePointN"}, {"type": "VarValueSegmentCD"}, {"type": "VarValueSegmentMA"}, {"type": "VarValueSegmentMB"}, {"type": "VarValueSegmentNA"}, {"type": "VarValueSegmentNB"}, {"type": "theorem_DeuxDroitesSontConfondues"}, {"type": "theorem_EqualDistanceMediatrice"}, {"type": "theorem_MediatriceEqualDistance"}]}, "ast": [[{"type": "Start", "deletable": false, "movable": false, "editable": false}]]}

Exercice 2 : Construire la hauteur (extérieure) du côté d'un triangle

Dans le triangle \( ABC \) suivant, tracer la hauteur relative au côté \( [AB] \).

{"init": {"range": [[-10, 10], [-10, 10]], "scale": [35, 35]}, "line": [[[-10.0, -10.0], [10.0, -10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -9.0], [10.0, -9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -8.0], [10.0, -8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -7.0], [10.0, -7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -6.0], [10.0, -6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -5.0], [10.0, -5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -4.0], [10.0, -4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -3.0], [10.0, -3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -2.0], [10.0, -2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -1.0], [10.0, -1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 0.0], [10.0, 0.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 1.0], [10.0, 1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 2.0], [10.0, 2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 3.0], [10.0, 3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 4.0], [10.0, 4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 5.0], [10.0, 5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 6.0], [10.0, 6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 7.0], [10.0, 7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 8.0], [10.0, 8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 9.0], [10.0, 9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -10.0], [-10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-9.0, -10.0], [-9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-8.0, -10.0], [-8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-7.0, -10.0], [-7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.0, -10.0], [-6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-5.0, -10.0], [-5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-4.0, -10.0], [-4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.0, -10.0], [-3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-2.0, -10.0], [-2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.0, -10.0], [-1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[0.0, -10.0], [0.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[1.0, -10.0], [1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[2.0, -10.0], [2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[3.0, -10.0], [3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[4.0, -10.0], [4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[5.0, -10.0], [5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[6.0, -10.0], [6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[7.0, -10.0], [7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[8.0, -10.0], [8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[9.0, -10.0], [9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[10.0, -10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.1, -2.0], [-2.9, -2.0], {}], [[-3.0, -2.1], [-3.0, -1.9], {}], [[0.9, -2.0], [1.1, -2.0], {}], [[1.0, -2.1], [1.0, -1.9], {}], [[5.9, -4.0], [6.1, -4.0], {}], [[6.0, -4.1], [6.0, -3.9], {}], [[-3.0, -2.0], [1.0, -2.0], {"subtype": "segment"}], [[1.0, -2.0], [6.0, -4.0], {"subtype": "segment"}], [[6.0, -4.0], [-3.0, -2.0], {"subtype": "segment"}]], "label": [[[-3.0, -2.0], "A", "left", {}], [[1.0, -2.0], "B", "above left", {}], [[6.0, -4.0], "C", "right", {}]], "drawing_options": {"tools": ["line"]}}

Exercice 3 : Démontrer l'équidistance entre un point sur la médiatrice et les deux sommets du triangle associés

Sachant que \((d)\) est la médiatrice de \([EF]\) et \(M \in (d)\)

{"init": {"range": [[-10, 10], [-10, 10]], "scale": [35, 35]}, "line": [[[-10.0, -10.0], [10.0, -10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -9.0], [10.0, -9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -8.0], [10.0, -8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -7.0], [10.0, -7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -6.0], [10.0, -6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -5.0], [10.0, -5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -4.0], [10.0, -4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -3.0], [10.0, -3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -2.0], [10.0, -2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -1.0], [10.0, -1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 0.0], [10.0, 0.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 1.0], [10.0, 1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 2.0], [10.0, 2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 3.0], [10.0, 3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 4.0], [10.0, 4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 5.0], [10.0, 5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 6.0], [10.0, 6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 7.0], [10.0, 7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 8.0], [10.0, 8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 9.0], [10.0, 9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -10.0], [-10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-9.0, -10.0], [-9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-8.0, -10.0], [-8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-7.0, -10.0], [-7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.0, -10.0], [-6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-5.0, -10.0], [-5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-4.0, -10.0], [-4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.0, -10.0], [-3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-2.0, -10.0], [-2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.0, -10.0], [-1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[0.0, -10.0], [0.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[1.0, -10.0], [1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[2.0, -10.0], [2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[3.0, -10.0], [3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[4.0, -10.0], [4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[5.0, -10.0], [5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[6.0, -10.0], [6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[7.0, -10.0], [7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[8.0, -10.0], [8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[9.0, -10.0], [9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[10.0, -10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.1, -6.0], [-5.9, -6.0], {}], [[-6.0, -6.1], [-6.0, -5.9], {}], [[3.9, -6.0], [4.1, -6.0], {}], [[4.0, -6.1], [4.0, -5.9], {}], [[5.9, 1.0], [6.1, 1.0], {}], [[6.0, 0.9], [6.0, 1.1], {}], [[-1.1, -3.0], [-0.9, -3.0], {}], [[-1.0, -3.1], [-1.0, -2.9], {}], [[-6.0, -6.0], [4.0, -6.0], {"subtype": "segment"}], [[4.0, -6.0], [6.0, 1.0], {"subtype": "segment"}], [[6.0, 1.0], [-6.0, -6.0], {"subtype": "segment"}], [[-1.0, 10.0], [-1.0, -9.5], {"subtype": "line"}]], "label": [[[-6.0, -6.0], "E", "left", {}], [[4.0, -6.0], "F", "below right", {}], [[6.0, 1.0], "G", "above right", {}], [[-1.0, -3.0], "M", "above left", {}], [[-1.0, -10.0], "(d)", {"subtype": "line"}]]}

Prouver que \(EM = FM\).

{"options": {"runner": {"environment": "theorems"}, "blocks": {"theorem_MediatriceEqualDistance": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Si un point appartient \u00e0 la", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "m\u00e9diatrice d'un segment alors", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "il est \u00e0 \u00e9gale distance des", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "extr\u00e9mit\u00e9s de ce segment.", "type": "text"}], "align": "left"}]}, "VarValueSegmentAB": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[EF]"}}, "output": "Segment", "colour": 330}, "VarValuePointC": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "G"}}, "output": "Point", "colour": 330}, "VarValuePointM": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "M"}}, "output": "Point", "colour": 330}, "VarValueSegmentBM": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "FM"}}, "output": "Segment", "colour": 330}, "VarValuePointB": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "F"}}, "output": "Point", "colour": 330}, "Mediatrice": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "line", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "est la m\u00e9diatrice de", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "segment", "check": "Segment"}]}, "Start": {"next_statement": true, "colour": 65, "tooltip": "D\u00e9marrage de la d\u00e9monstration", "inputs": [{"type": "dummy_input", "fields": [{"text": "D\u00e9monstration", "type": "text"}], "align": "left"}], "creatable": false, "on_event": "start"}, "VarValueSegmentAM": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "EM"}}, "output": "Segment", "colour": 330}, "SimpleComparison": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": null}, {"type": "dummy_input", "fields": [{"name": "op", "values": [["=", "EQ"], ["\u2260", "NE"], ["<", "LT"], ["\u2264", "LE"], [">", "GT"], ["\u2265", "GE"], ["appartient \u00e0", "BELONGS"]], "type": "dropdown"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": null}]}, "VarValueSegmentBC": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "FG"}}, "output": "Segment", "colour": 330}, "VarValuePointA": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "E"}}, "output": "Point", "colour": 330}, "And": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "Combine plusieurs propositions", "inputs": [{"type": "statement_input", "fields": [], "align": "left", "name": "bool1", "check": null}, {"type": "dummy_input", "fields": [{"text": "et", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "bool2", "check": null}]}, "theorem_EqualDistanceMediatrice": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Si un point est \u00e9quidistant", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "des extr\u00e9mit\u00e9s d'un segment", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "alors ce point appartient \u00e0 la", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "m\u00e9diatrice de ce segment.", "type": "text"}], "align": "left"}]}, "VarValueLined": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(d)"}}, "output": "Line", "colour": 330}, "Implication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "\u00c0 partir d'hypoth\u00e8ses et d'une propri\u00e9t\u00e9 d\u00e9montre un r\u00e9sultat", "inputs": [{"type": "dummy_input", "fields": [{"text": "On sait que", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "hypo", "check": null}, {"type": "dummy_input", "fields": [{"text": "or,", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "theo", "check": null}, {"type": "dummy_input", "fields": [{"text": "donc", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "VarValueSegmentAC": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[EG]"}}, "output": "Segment", "colour": 330}}, "toolbox": [{"type": "And"}, {"type": "Implication"}, {"type": "Mediatrice"}, {"type": "SimpleComparison", "op": "BELONGS"}, {"type": "SimpleComparison", "op": "EQ"}, {"type": "VarValueLined"}, {"type": "VarValuePointA"}, {"type": "VarValuePointB"}, {"type": "VarValuePointC"}, {"type": "VarValuePointM"}, {"type": "VarValueSegmentAB"}, {"type": "VarValueSegmentAC"}, {"type": "VarValueSegmentAM"}, {"type": "VarValueSegmentBC"}, {"type": "VarValueSegmentBM"}, {"type": "theorem_EqualDistanceMediatrice"}, {"type": "theorem_MediatriceEqualDistance"}]}, "ast": [[{"type": "Start", "deletable": false, "movable": false, "editable": false}]]}

Exercice 4 : Démontrer qu'une médiatrice et une hauteur sont parallèles

Sachant que \((h)\) est la hauteur issue de \(C\) et \((m)\) est la médiatrice de \([AB]\)

{"init": {"range": [[-10, 10], [-10, 10]], "scale": [35, 35]}, "line": [[[-10.0, -10.0], [10.0, -10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -9.0], [10.0, -9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -8.0], [10.0, -8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -7.0], [10.0, -7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -6.0], [10.0, -6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -5.0], [10.0, -5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -4.0], [10.0, -4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -3.0], [10.0, -3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -2.0], [10.0, -2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -1.0], [10.0, -1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 0.0], [10.0, 0.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 1.0], [10.0, 1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 2.0], [10.0, 2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 3.0], [10.0, 3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 4.0], [10.0, 4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 5.0], [10.0, 5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 6.0], [10.0, 6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 7.0], [10.0, 7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 8.0], [10.0, 8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 9.0], [10.0, 9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -10.0], [-10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-9.0, -10.0], [-9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-8.0, -10.0], [-8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-7.0, -10.0], [-7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.0, -10.0], [-6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-5.0, -10.0], [-5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-4.0, -10.0], [-4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.0, -10.0], [-3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-2.0, -10.0], [-2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.0, -10.0], [-1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[0.0, -10.0], [0.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[1.0, -10.0], [1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[2.0, -10.0], [2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[3.0, -10.0], [3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[4.0, -10.0], [4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[5.0, -10.0], [5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[6.0, -10.0], [6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[7.0, -10.0], [7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[8.0, -10.0], [8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[9.0, -10.0], [9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[10.0, -10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.1, -5.0], [-2.9, -5.0], {}], [[-3.0, -5.1], [-3.0, -4.9], {}], [[-3.1, 1.0], [-2.9, 1.0], {}], [[-3.0, 0.9], [-3.0, 1.1], {}], [[-5.1, 6.0], [-4.9, 6.0], {}], [[-5.0, 5.9], [-5.0, 6.1], {}], [[-3.0, -5.0], [-3.0, 1.0], {"subtype": "segment"}], [[-3.0, -5.0], [-5.0, 6.0], {"subtype": "segment"}], [[-3.0, 1.0], [-5.0, 6.0], {"subtype": "segment"}], [[10.0, -2.0], [-9.5, -2.0], {"subtype": "line"}], [[10.0, 6.0], [-9.5, 6.0], {"subtype": "line"}]], "label": [[[-3.0, -5.0], "A", "below", {}], [[-3.0, 1.0], "B", "above right", {}], [[-5.0, 6.0], "C", "above", {}], [[-10.0, -2.0], "(m)", {"subtype": "line"}], [[-10.0, 6.0], "(h)", {"subtype": "line"}]]}

Démontrer que \((h)\) et \((m)\) sont parallèles.
Si plusieurs blocs "On sait que, or, donc" sont nécessaires, il faut les écrire à la suite les uns des autres et non imbriqués les uns dans les autres.

{"options": {"runner": {"environment": "theorems"}, "blocks": {"VarValueLinem": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(m)"}}, "output": "Line", "colour": 330}, "VarValuePointB": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "B"}}, "output": "Point", "colour": 330}, "Mediatrice": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "line", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "est la m\u00e9diatrice de", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "segment", "check": "Segment"}]}, "VarValuePointA": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "A"}}, "output": "Point", "colour": 330}, "VarValuelineAC": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(AC)"}}, "output": "Line", "colour": 330}, "VarValueSegmentAC": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[AC]"}}, "output": "Segment", "colour": 330}, "And": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "Combine plusieurs propositions", "inputs": [{"type": "statement_input", "fields": [], "align": "left", "name": "bool1", "check": null}, {"type": "dummy_input", "fields": [{"text": "et", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "bool2", "check": null}]}, "theorem_MediatricePerpendicularProperty": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Par d\u00e9finition, la m\u00e9diatrice", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "d'un segment est", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "perpendiculaire \u00e0 la droite", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "passant par ce segment.", "type": "text"}], "align": "left"}]}, "theorem_PerpendicularParallelTrans": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Si deux droites sont", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "perpendiculaires \u00e0 une m\u00eame", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "troisi\u00e8me alors elles sont", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "parall\u00e8les entres elles", "type": "text"}], "align": "left"}]}, "VarValuelineBC": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(BC)"}}, "output": "Line", "colour": 330}, "Hauteur": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "line", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "est la hauteur issue de ", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "point", "check": "Point"}, {"type": "dummy_input", "fields": [{"text": "et relative au c\u00f4t\u00e9 ", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "segment", "check": "Segment"}]}, "VarValueLineAB": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(AB)"}}, "output": "Line", "colour": 330}, "Perpendicular": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "\u22a5", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": "Line"}]}, "Implication": {"previous_statement": true, "next_statement": true, "colour": 120, "tooltip": "\u00c0 partir d'hypoth\u00e8ses et d'une propri\u00e9t\u00e9 d\u00e9montre un r\u00e9sultat", "inputs": [{"type": "dummy_input", "fields": [{"text": "On sait que", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "hypo", "check": null}, {"type": "dummy_input", "fields": [{"text": "or,", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "theo", "check": null}, {"type": "dummy_input", "fields": [{"text": "donc", "type": "text"}], "align": "left"}, {"type": "statement_input", "fields": [], "align": "left", "name": "concl", "check": null}]}, "Start": {"next_statement": true, "colour": 65, "tooltip": "D\u00e9marrage de la d\u00e9monstration", "inputs": [{"type": "dummy_input", "fields": [{"text": "D\u00e9monstration", "type": "text"}], "align": "left"}], "creatable": false, "on_event": "start"}, "VarValuePointC": {"compound": {"blocks": {"VarValuePoint": {"output": "Point", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValuePoint", "value": "C"}}, "output": "Point", "colour": 330}, "VarValueSegmentAB": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[AB]"}}, "output": "Segment", "colour": 330}, "VarValueLineh": {"compound": {"blocks": {"VarValueLine": {"output": "Line", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueLine", "value": "(h)"}}, "output": "Line", "colour": 330}, "VarValueSegmentBC": {"compound": {"blocks": {"VarValueSegment": {"output": "Segment", "colour": 330, "inputs": [{"type": "dummy_input", "fields": [{"name": "value", "default": "", "type": "text_input"}], "align": "left"}]}}, "ast": {"type": "VarValueSegment", "value": "[BC]"}}, "output": "Segment", "colour": 330}, "Parallel": {"previous_statement": true, "next_statement": true, "colour": 210, "inputs": [{"type": "value_input", "fields": [], "align": "left", "name": "value_1", "check": "Line"}, {"type": "dummy_input", "fields": [{"text": "//", "type": "text"}], "align": "left"}, {"type": "value_input", "fields": [], "align": "left", "name": "value_2", "check": "Line"}]}, "theorem_HauteurPerpendicularProperty": {"previous_statement": true, "next_statement": true, "colour": 23, "inputs": [{"type": "dummy_input", "fields": [{"text": "Par d\u00e9finition, la hauteur", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "passant par un sommet est", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "perpendiculaire \u00e0 la droite", "type": "text"}], "align": "left"}, {"type": "dummy_input", "fields": [{"text": "passant par le c\u00f4t\u00e9 oppos\u00e9.", "type": "text"}], "align": "left"}]}}, "toolbox": [{"type": "And"}, {"type": "Hauteur"}, {"type": "Implication"}, {"type": "Mediatrice"}, {"type": "Parallel"}, {"type": "Perpendicular"}, {"type": "VarValueLineAB"}, {"type": "VarValueLineh"}, {"type": "VarValueLinem"}, {"type": "VarValuePointA"}, {"type": "VarValuePointB"}, {"type": "VarValuePointC"}, {"type": "VarValueSegmentAB"}, {"type": "VarValueSegmentAC"}, {"type": "VarValueSegmentBC"}, {"type": "VarValuelineAC"}, {"type": "VarValuelineBC"}, {"type": "theorem_HauteurPerpendicularProperty"}, {"type": "theorem_MediatricePerpendicularProperty"}, {"type": "theorem_PerpendicularParallelTrans"}]}, "ast": [[{"type": "Start", "deletable": false, "movable": false, "editable": false}]]}

Exercice 5 : Construire la hauteur (intérieure) du côté d'un triangle

Dans le triangle \( ABC \) suivant, tracer la hauteur relative au côté \( [AB] \).

{"init": {"range": [[-10, 10], [-10, 10]], "scale": [35, 35]}, "line": [[[-10.0, -10.0], [10.0, -10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -9.0], [10.0, -9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -8.0], [10.0, -8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -7.0], [10.0, -7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -6.0], [10.0, -6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -5.0], [10.0, -5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -4.0], [10.0, -4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -3.0], [10.0, -3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -2.0], [10.0, -2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -1.0], [10.0, -1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 0.0], [10.0, 0.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 1.0], [10.0, 1.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 2.0], [10.0, 2.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 3.0], [10.0, 3.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 4.0], [10.0, 4.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 5.0], [10.0, 5.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 6.0], [10.0, 6.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 7.0], [10.0, 7.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 8.0], [10.0, 8.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 9.0], [10.0, 9.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, 10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-10.0, -10.0], [-10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-9.0, -10.0], [-9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-8.0, -10.0], [-8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-7.0, -10.0], [-7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-6.0, -10.0], [-6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-5.0, -10.0], [-5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-4.0, -10.0], [-4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-3.0, -10.0], [-3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-2.0, -10.0], [-2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.0, -10.0], [-1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[0.0, -10.0], [0.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[1.0, -10.0], [1.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[2.0, -10.0], [2.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[3.0, -10.0], [3.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[4.0, -10.0], [4.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[5.0, -10.0], [5.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[6.0, -10.0], [6.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[7.0, -10.0], [7.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[8.0, -10.0], [8.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[9.0, -10.0], [9.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[10.0, -10.0], [10.0, 10.0], {"subtype": "segment", "stroke": "#ccc"}], [[-1.1, -1.0], [-0.9, -1.0], {}], [[-1.0, -1.1], [-1.0, -0.9], {}], [[6.9, -1.0], [7.1, -1.0], {}], [[7.0, -1.1], [7.0, -0.9], {}], [[-0.1, -5.0], [0.1, -5.0], {}], [[0.0, -5.1], [0.0, -4.9], {}], [[-1.0, -1.0], [7.0, -1.0], {"subtype": "segment"}], [[7.0, -1.0], [0.0, -5.0], {"subtype": "segment"}], [[0.0, -5.0], [-1.0, -1.0], {"subtype": "segment"}]], "label": [[[-1.0, -1.0], "A", "above left", {}], [[7.0, -1.0], "B", "right", {}], [[0.0, -5.0], "C", "below left", {}]], "drawing_options": {"tools": ["line"]}}

Revenir au choix du niveau