Anche se lo trovo disonorevole, con sed potresti risolvere così

sed -i '/pippo/a\è\nil\nmigliore\namico\ndi' prova.txt