Direi che è scritto sbagliato, dovrebbe esserci $ a $ al posto di $ a+b $ nel denominatore; in ogni caso, ogni scrittura di $ v_p (a+b) $ ha ben poco senso in quanto è una banale identità che segue dalle proprietà sopra...
Infatti se prendi $ a=p^k (p^n-1) , b=p^k $, hai che $ v_p (a+b) $ può essere qualunque cosa, e se vuoi puoi riscriverla in quel modo là... l'unica cosa che può importare, ma è davvero banale, è che vale sempre almeno $ v_p (a) $...
