//---------------------------------------------------------------
// Fichero:  ejemplo-1-paso-3.asy
// Objetivo: Ejemplo 1, paso 3
// Fecha:    L.15.6.2026
// Autor:    Pedro Reina
// Licencia: CC0 1.0 Universal
//           http://creativecommons.org/publicdomain/zero/1.0/
//---------------------------------------------------------------

// El valor que hay que representar
real a=0.8;

// Obtendremos un archivo SVG
settings.outformat="svg";

// Tamaño de la imagen
size(3.4cm);

// Grosor de las líneas
defaultpen(1);

// El eje de abscisas
draw ((-1.2,0) -- (1.2,0));

// El eje de ordenadas
draw ((0,-1.2) -- (0,1.2));

// La recta paralela al eje de ordenadas
draw ((a,-1.1) -- (a,1.1),1.5bp+gray);

// La circunferencia
draw(unitcircle,deepgreen);

// El origen de coordenadas
dot((0,0), 3bp+blue);

// El ángulo
real Alfa=aCos(a);

// Calculamos el punto que representa al ángulo
pair P=dir(Alfa);

// El punto del eje de abscisas
dot((a,0),3bp+red);

// La semirrecta que define el ángulo
draw((0,0) -- 1.2*P, 1.5bp+blue);

// Representamos el punto que representa al ángulo
dot(P, 3bp+red);
dot(P, 2bp+white);