[quote=&quot;GIMUSI&quot;:1z2xx6tr]quindi con il passo &quot;2&quot; si arriva ad una espressione papabile ma che in realtà potrebbe essere fallace?[/quote:1z2xx6tr]

Esattamente. Aggiungo un esempio, che non c'entra nulla ma dovrebbe rendere l'idea.

Trovare tutte le funzioni [tex:1z2xx6tr]f:\mathbb{R}\to\mathbb{R}[/tex:1z2xx6tr] tali che 

f(x+y) = 2x + 3f(y) per ogni x e y reali.

Ora, se poniamo x=y=0 otteniamo f(0)=3f(0), da cui f(0)=0. Ponendo ora y=0, otteniamo f(x) = 2x + 3f(0) = 2x, quindi f(x) = 2x.

Cosa ci dice questo? Che se c'è una soluzione allora questa è unica, perché deve essere f(x)=2x. 

Tuttavia, si vede subito che questa non va bene, perché sostituendo verrebbe 2(x+y) = 2x + 6y ...

Quindi la papabile ottenuta procedendo per condizioni necessarie era fallace <!-- s:lol: --><img src="{SMILIES_PATH}/icon_lol.gif" alt=":lol:" title="Laughing" /><!-- s:lol: -->