Sim, acho que

e

constituem um par ação-reação.
Tenho outro diagrama, mas, como já previa, está menos claro do que os outros. Podia, ainda, representar as forças exercidas na superfície horizontal (que devem ser iguais à soma de

com

ou antes iguais a

), mas mesmo sem isso já são bastantes vetores e só são pedidas as forças que atuam nos blocos. (E se calhar podia ainda representar mais forças.)
No entanto, acabei por adicionar algumas outras coisas, por exemplo, no que diz respeito à massa

, pois auxilia na resolução do problema.
Estão igualmente presentes umas linhas curvas em cima de uns vetores, isto porque acho que ter

e ao mesmo tempo

e

é redundante (o mesmo se aplica às forças normais), mas estão lá caso alguém queira olhar para os dois blocos como um único sistema.
Se tiver tempo e notar alguma(s) coisa(s) mal, eu emendarei o diagrama.