| { |
| "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" |
| } |
|
|