Assegnati (tramite due slider rosse ) i due fattori [b]a,b[/b] si costruiscono i due punti [math] A = (a,0) e B = (b,0)[/math].
Successivamente, alzando le perpendicolari si determinano i punti [math]α[/math] e [math]β[/math] sulla circonferenza goniometrica, corrispondenti ai due angoli tali che [math]cos(α) = a[/math] e [math]cos(β) = b.[/math]
Si costruiscono quindi con il comando GeoGebra [i]"Angolo di data misura "[/i] i punti corrispondenti a [math]α+β[/math] e a [math]α - β[/math].
La proiezione di tali punti sull'asse [i]x[/i] produce [math] cos(α+β)[/math] e [math]cos(α-β)[/math].
Il comando [i]"Punto medio"[/i] completa il calcolo della formula: l'ascissa di tale punto medio e' il prodotto cercato.
