FFmpeg

FFmpeg--かなり強力な動画変換ソフト

いざ動画を別なファイルタイプに変換しようとすると対応するコーデックを入手したり、あるいはそのファイルをサポートする変換ソフトを選ばなくてはならない。
FFmpegはかなりMplayerとの関わりが強いため、多くのコーデックに対応している。
なので、これさえ使えば他の変換ソフトやコーデックを必要とせずに様々なタイプの動画に変更が可能。もちろんオプションを指定することで、解像度とか画面サイズなども変更できるのでかなり便利。
FFmpegで検索すれば多くの解説ページが見つかるので、使い方もわかりやすい。