Rules

You will start with only two elements: Points $A$ and $B$ such that $A neq B$. These points occupy a plane that is infinite in all directions.

At any step in the process you may do any of the three following actions:

1. Draw a line that passes through two points.




2. Draw a circle centered at one point such that another point lies on the circle.




3. Add a new point where two objects (lines and circles) intersect.

Your goal is to create 5 points such that they form the vertices of a regular pentagon (a convex polygon with 5 sides equal in length) using as few circles as possible. You may of course have other points but 5 of them must for a regular pentagon. You do not have to draw the edges of the pentagon for your scoring.

Scoring

When comparing two answers the one that draws fewer circles is better. In the case of a tie in circles the answer that draws the fewest lines is better. In the case of a tie in both circles and lines the answer that adds the fewest points is better.

Anti-Rules

While the rules list is exhaustive and details everything you can do this list is not, just because I don't say you can't do something does not mean you can.

• You cannot create "arbitrary" objects. Some constructions you will find will do thinks like add a point at an "arbitrary" location and work from there. You cannot add new points at locations other than intersections.




• You cannot copy a radius. Some constructions will involve taking a compass setting it to a radius between two points and then picking it up and drawing a circle elsewhere. You cannot do this.




• You cannot perform limiting processes. All constructions must take a finite number of steps. It is not good enough to approach the answer asymptotically.




• You cannot draw an arc or part of a circle in order to avoid counting it as a circle in your scoring. If you want to visually use arcs when showing or explaining your answer because they take up less space go ahead but they count as a circle for scoring.

Tools

You can think through the problem on GeoGebra. Just go over to the shapes tab. The three rules are equivalent to the point, line and circle with center tools.

Burden of Proof

This is standard but I would like to reiterate. If there is a question as to whether a particular answer is valid the burden of proof is on the answerer to show that their answer is valid rather than the public to show that the answer is not.

What is this doing on my Code-Golf site?!

This is a form of atomic-code-golf similar to proof-golf albeit in a bit of a weird programming language. There is currently a +22/-0 consensus on the meta that this sort of thing is allowed.

76 circles, 3 lines

This is a classical pentagon construction, a proof of its correctness can be found here.

4 circles, 4 lines, 9 points

• Let circle(A, B) intersect circle(B, A) at C.


• Let AB intersect circle(A, B) again at D.


• Let circle(D, B) intersect circle(B, A) farthest from C at E.


• Let AB intersect CE at F.


• Let circle(D, F) intersect circle(A, B) at G, H.


• Let circle(D, F) intersect AB again at I.


• Let GI intersect circle(A, B) again at J.


• Let HI intersect circle(A, B) again at K.

Then BGJKH is a regular pentagon.

4 circles, 7 lines

Since it has been beaten I thought I would just post my original solution to the problem.

• Draw $mathrmCircle(A,B)$
  


• Draw $overlineAB$
  


• Mark the intersection of $mathrmCircle(A,B)$ and $overlineAB$ as $C$
  


• Draw $mathrmCircle(B,C)$
  


• Draw $mathrmCircle(C,B)$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $mathrmCircle(B,C)$ as $D$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $overlineAB$ as $E$
  


• Draw $overlineDC$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $overlineDC$ as $F$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $mathrmCircle(B,C)$ as $G$
  


• Draw $overlineBG$
  


• Mark the intersection of $overlineBG$ and $overlineEF$ as $H$
  


• Draw $overlineHC$
  


• Mark the intersection of $overlineHC$ and $mathrmCircle(C,B)$ as $I$
  


• Draw $overlineIA$
  


• Mark the intersection of $overlineIA$ and $mathrmCircle(A,B)$ as $J$
  


• Draw $mathrmCirlce(I,J)$
  


• Mark the intersection of $mathrmCircle(I,J)$ and $overlineHC$ as $L$
  


• Mark the intersections of $mathrmCircle(I,J)$ and $mathrmCircle(C,B)$ as $M$ and $K$.


• Draw $overlineML$
  


• Draw $overlineKL$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $overlineML$ as $N$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $overlineHC$ as $O$
  


• Mark the intersection of $mathrmCircle(C,B)$ and $overlineKL$ as $P$
  

$MKPON$ is a regular pentagon.