我想把尺寸为840*480的视频缩小至720*420，但不想转换格式，可以用什么软件？

用“会声会影”试试吧，先将原有视频文件导入，再通过“分享”——“视频文件”，选择一种你认为合适的视频文件格式，再转换即可以了。

用Adobe Premiere Pro 1.5从新编辑输出，默认的就是720*420的 ，有多种输出格式可选。