File size: 1,014 Bytes
eab734a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | {
"statement": "Angle bisector of angle BAC meets BC at D.",
"points": [
{"name": "A", "hint": [0, 1.5]},
{"name": "B", "hint": [-2, 0]},
{"name": "C", "hint": [1, 0]},
{"name": "D", "hint": [-0.5, 0]}
],
"segments": [
{"a": "A", "b": "B", "draw": true},
{"a": "B", "b": "C", "draw": true},
{"a": "C", "b": "A", "draw": true},
{"a": "A", "b": "D", "draw": true}
],
"lines": [],
"circles": [],
"angle_marks": [
{"vertex": "A", "a": "B", "b": "D", "right_angle": false, "label": null},
{"vertex": "A", "a": "D", "b": "C", "right_angle": false, "label": null}
],
"labels": [],
"constraints": [
{"type": "equal_angle", "a1": "B", "v1": "A", "b1": "D", "a2": "D", "v2": "A", "b2": "C"},
{"type": "on_line", "point": "D", "a": "B", "b": "C"},
{"type": "length", "a": "A", "b": "B", "value": 2.5},
{"type": "length", "a": "A", "b": "C", "value": 1.8},
{"type": "length", "a": "B", "b": "C", "value": 3.0}
],
"expected_mode": "exact"
}
|