OUI c´est ca!
En fait c´est simplement la définition de ker(f - 2Id):
ker(f - 2Id) = {x,y,z tels que (f-2Id)(x,y,z) = 0}, et ca donne le systeme que tu as, ensuite comme te disait Eleanor_Rigby il va falloir ´simplifier´ en disant si c´est une droite, un plan ou un point (voire tout l´espace mais c´est évident ici que ce n´est pas le cas), apparemment c´est une droite, tu peux la caractériser avec deux équations, ou avec un élément ("famille génératrice") puisque cette droite passe nécessairement par 0.