С помощью какой программы или плеера можно уменьшить размер видео?

Format Factory. Смотря что подразумевается под "размером" ))) FF конвертирует видео в широком выборе - формат файла, размер картинки, битрейт и т.д. Годится не только для видео, но и для аудио и фото. Прога бесплатная и русифицированная. Ссылок в инете навалом, так что ищи сама)

Total video converter.

ffmpeg

Sony Vegas pro 9 ili virtualdub