C'è un numero che moltiplicato per sé stesso faccia 2?  Nei libri di testo si trova che esso viene indicato con √2, e viene chiamato radice quadrata di 2,  ma chi mi garantisce che esista per davvero?

Prova ad usare questo programmino e vedi se ti viene qualche idea.