Paste a Euclidean geometry problem.
Get a publication-quality diagram
that’s actually correct.
Circles G1 and G2 meet at M and N. A common tangent touches G1 at A and G2 at B, with M closer to line AB than N is. The line through M parallel to AB meets G1 again at C and G2 again at D. Lines AC and BD meet at E, and lines AN and BN meet CD at P and Q, respectively. Prove that EP = EQ.
From statement to finished diagram
One conversation does it all: paste the problem, pick a style, ask for changes in your own words, drag the points, fine-tune in Edit design, and download.
Built from the statement, checked against it
A figure here is not a sketch of what the problem probably looks like. It is constructed from the conditions the problem states, and then tested against them.
The statement becomes a construction
The problem, in plain text or LaTeX, is translated into a construction: each point, line and circle is written as how it arises from the others.
The construction is solved numerically for a figure in which every stated condition holds. If no such figure exists, you are told so, not shown a figure of a different problem.
The conclusion is checked, not assumed
What the problem asks you to prove is tested on the drawn figure, and the reply says what was checked and whether it holds.
A claim that fails is reported, never drawn as if it were true. What is to be proved is drawn apart, dashed and in its own colour, so a conclusion never reads as a given.
Marks and labels follow the words
Equal segments get ticks, equal angles arcs and right angles their squares, only where the statement states them or you add them.
Labels are placed on the finished drawing, clear of the ink, where each reads as its own point's name; the printed size is chosen for each figure, as in a contest booklet.
The drawing is Asymptote's, and it stays live
What you download is Asymptote's own output: SVG, PDF and PNG from one source, and that source as readable code that compiles to the same figure.
In the chat the figure stays live: drag a point and the whole construction is solved again, and every position you see still satisfies every condition.
Solutions. A solution pasted with its problem gets a figure of its own, with the points and lines the solution introduces under the solution's own names.
Loci. A locus problem comes back with the locus traced.
Gallery. The gallery shows problems drawn this way; every figure there is live.
Where the figures go
A forum post or a solution write-up
Every plan downloads it, Free included.
A worksheet, a handout, an exam, a paper
Vector, so it prints sharp at any size.
A LaTeX document or a book
The Asymptote source, organised and commented, with the points as named variables. It compiles to the same figure on its own or inside your LaTeX file, and you can keep editing it there.
A web page, a blog, an online course
The live figure as a small web page or an embed: readers drag the points and the construction holds.
Before you paste
Plane geometry only.
Points, lines, circles, polygons, conics and loci; there is no three-dimensional figure.
Paste the complete statement, exactly as written.
The figure follows the words: a missing or mistyped condition draws a different figure, or none, and still uses credits.
It draws and checks; it does not prove.
The conclusion is tested numerically on the figure that was drawn. A claim holding in one figure is evidence, not a proof.
Your conversations stay closed.
They are never opened (unless you send one as feedback), published or used to test the service, and deleting one deletes it from our server at once.
To be read, a statement is sent to AI services, so a problem that must stay secret, such as a competition proposal, should not be sent. The privacy page says exactly what leaves the server.
Ready when you are.
Bring a problem statement. Most figures take seconds; the hardest problems, a few minutes.
Open the chatFree to try. Paid plans give more figures, vector downloads and the Asymptote source. See pricing