% This is the classical Vecten's figure used by Euclid
% to demonstrate Pythagoras' theorem.
% Copyright (c) Christian Obrecht 2001

box(-3,-1,9,14)

A B C D square(6)
C E F G square(3*sqrt(3),60:)
D G H I square(3,60:)
J = projection(G,line(A,B))

draw(A,B,C,D)
draw(C,E,F,G)
draw(D,G,H,I)

draw(segment(G,J),dashed)
draw(segment(G,A),dotted)
draw(segment(G,B),dotted)
draw(segment(D,E),dotted)
draw(segment(C,I),dotted)

mark(C,G,D,right)
mark(B,J,G,right)