# Fijamos los valores de partida dif0 y F0:
Valor(dif0, dif)
Valor(F0, F)

# Variamos F y comparamos la nueva diferencia dif con dif0:

Valor(F, F + (inc, inc))
Valor(F, Si(dif<dif0, F, F0))
Valor(F0, F)

# COPIA Y PEGA  las tres instrucciones anteriores 7 veces
# cambiando, en cada bloque, (inc, inc) por estas otras variaciones:
# (inc, 0)   (inc, -inc)   (0, inc)   (0, -inc)   (-inc, 0)   (-inc, inc)   (-inc, -inc)

# Si la diferencia no se reduce, incrementamos la precisión
Valor(inc, Si(dif==dif0, inc/10, inc))

# Cuando el incremento sea nulo, detenemos la animación:
Si(inc==0, IniciaAnimación(false))

Explicación del guion:

Hacemos que el punto F tome  los 8 valores posibles
a su alrededor, a una distancia inc,
(como si fuera una rosa de los vientos)
y, en cada caso, comprobamos si la diferencia dif
se reduce o no. Si se reduce, enviamos F a la nueva posición.

En el caso de que ninguno de esos 8 valores reduzcan la diferencia,
incrementamos la precisión dividiendo inc entre 10.

Crea un botón con el rótulo:  Inicio

y con el guion asociado (al hacer clic):

Valor(F, (0, 0))
Valor(dif0, 20)
Valor(inc, 0.1)
ZoomAcerca(1)
IniciaAnimación(t, true)

Explicación del guion:

Reiniciamos las variables,
borramos rastros 
y reiniciamos la animación.

paso = 1 (slider from 1 to total)
instrucciones: {"Crea un triángulo ABC, un punto libre F\\ny los segmentos AF, BF y CF.", "Crea los ángulos (entre 0° y 180°) AFB, CFA y BFC.\\nCrea la variable:  dif = abs(F-A) + abs(F-B) + abs(F-C)", "Crea las constantes dif0 = 20, inc = 0.1 y el punto libre F0 (Ccero):\\nF0 = (0, 0)", "Crea un deslizador t con un guion como indica el recuadro amarillo.\\n(Puedes copiar ese texto y completarlo una vez pegado en el guion.)", "Activa el rastro de F\\n y crea un botón con guion como indica el recuadro amarillo.", "Oculta F0 y anima el deslizador.\\nMejora la estética."}
texto = Element(instrucciones, paso)
total = Length(instrucciones)
fondo: {Polygon[Corner[1], Corner[2], Corner[2] + (0, 1.5), Corner[1] + (0, 1.5)]}
pasoActual: "Paso " + paso + " de " + total + ""