title: Noncototiente
text: # Noncototiente
  
  In matematica, un numero intero n si definisce noncototiente se l'equazione
  
      $x-\varphi (x)=n$
  
  non ha soluzioni; dove φ(x) è la funzione φ di Eulero.
  
  In altre parole – dato che la funzione φ(x) è definita come il numero degli interi positivi minori di x che gli sono coprimi – n è un noncototiente solo se non esiste alcun numero intero x che, sottratto al numero coprimi minori di se stesso, dia n.
  
  È stato oggetto di congetture il fatto che tutti i numeri noncototienti siano pari; questo deriverebbe da una generalizzazione della congettura di Goldbach.
  
  I primi numeri pari noncototienti sono:
  
  10, 26, 34, 50, 52, 58, 86, 100, 116, 122, 130, 134, 146, 154, 170, 172, 186, 202, 206, 218, 222, 232, 244, 260, 266, 268, 274, 290, 292, 298, 310, 326, 340, 344, 346, 362, 366, 372, 386, 394, 404, 412, 436, 466, 470, 474, 482, 490, 518, 520 (A005278 dell'OEIS).
  
  Nel 1995 Browkin e Schinzel dimostrarono che l'insieme dei noncototienti è infinito, avendo trovato che la funzione
  
      $f(x)=2^{x}\cdot 509203$
  
  genera unicamente numeri noncototienti. Successivamente furono trovate altre funzioni simili, generanti un numero infinito di noncototienti.
  
  