Axiomatized Jumping Frog

Axiomatized Jumping Frog A

e

e

B

e m

l h

e G

h

f

h

f

F

f

h g

D

f

E

E

C

Begin with an index card. The given marked points and lines are labeled.

Undo the last fold.

Use Axiom O3 to place line e on f , creating line l. Lines l and h intersect at point E.

A

B

Use Axiom O3 to place line e on h, creating line m. Lines m and f intersect at F . Lines m and 1 intersect at G.

A

B

I

G

H

m G

e

n

I

G

H

G

B F h

E

F

D

C

F

E

C

D

A

E

f

Undo the last fold.

Flip the card over and use Axiom O2 to fold point A to E.

B

I

G

H

F

E

E

C

D

D

A E

B

A HI

D

HI

F

D

C

The frog is done. Pet its back to make it jump!

B F

E

C

D

y

F

Use Axiom O2 to fold point A to G. Use Axiom O2 to fold point B to G.

C

Use Axiom O1 to create line y through points E and F , and then undo.

y

y

g

g

y

C

Use Axiom O2 to fold point E to H and point F to I.

HI

F

Flip the card over. Leaving point G on the table, bring points H and I in to the center until they meet. Collapse point A onto E and point B onto F .

E

Undo the last fold.

G

A

G

D

C

Fold along the line y.

Turn paper over. Use Axiom O3 to fold line g onto y.