ffmpegで変換時に縮小や拡大を行うには、ビデオフィルターオプションを用いて、出力したいサイズを指定する。