# Definition of an exercise ruler & compass.
# syntax of the file.
# points:  each line defines a point.  x,y
# lines:   each line defines two points on a line.   x1,y1,x2,y2,type
#          type: 1 (segment), 2 (line), 3 (semiline direct), 4 (semiline inverse)
#	   type is facultative, defaulting to 1.
# circles: each line defines a circle. x,y,r,n
#	   where (x,y) is the center, r=radius,
#          n is the number of point for the center (if n>0).
# goal: each line defines an object. First item is the type of the object
# (point,line or circle), the rest are parameters (same as above).
# goal_text: text explaining the goal. (language-dependent)

title=Circuncentro del tringulo

a=!random 0,2*pi
a1=!random pi/6,2*pi/3
a2=!random 2*$a1,2*pi-$a1

points=10*cos($a),10*sin($a)\
10*cos($a+$a1),10*sin($a+$a1)\
10*cos($a+$a2),10*sin($a+$a2)
lines=10*cos($a),10*sin($a),10*cos($a+$a1),10*sin($a+$a1),1\
10*cos($a+$a1),10*sin($a+$a1),10*cos($a+$a2),10*sin($a+$a2),1\
10*cos($a+$a2),10*sin($a+$a2),10*cos($a),10*sin($a),1

goal=point,0,0
goal_text=encuentra el circuncentro del tringulo 1 2 3
hint=El circuncentro del tringulo es el punto comn de las mediatrices\
de los tres lados. Tienes nicamente que dibujar dos de las tres mediatrices,\
y entonces marcar la interseccin.
solution=midper,1,2\
midper,2,3\
midper,3,1\
point,line,4,line,5
