Il computer spesso consente di congetturare proprietà che, poi, si riescono a dimostrare.  Ma le dimostrazioni non sono sempre facili da comprendere.  Tuttavia, per il non "addetto ai lavori", esplorare se una proprietà, al variare dei parametri, si mantiene vera o no, è un'utile attività.  Un esempio.  Considero 3 cerchi di diverse dimensioni e senza punti in comune. Per ogni coppia di cerchi traccio le due tangenti ad entrambi e considero il loro punto di intersezione. Nel caso raffigurato i tre punti ottenuti sono allineati. La cosa vale in generale?  Usa questo programma per R per provare a rispondere.