ffmpeg を使います。変更元のファイルが in.mp4，変更後のファイルが out.mp4 で，サイズを 1280x720 にしたいとき次のようにします。

 ffmpeg -i in.mp4 -s 1280x720 out.mp4

ffmpeg がなければ，MacOS の場合は，次のようにインストールします。

brew install ffmpeg 

なんて，便利なんだー。