через какую программу можно изменить формат видео из avi в divx?

Total Video Converter
поддерживает чтение следующих форматов:
Видео форматы:
• Real Video(.RMVB, .RM)
• MPEG4(.mp4)
• 3GP(.3gp, 3g2)
• MPEG1(.mpg, mpeg)
• MPEG2 PS (.mpg, mpeg, vob)
• MPEG2 TS (поток DVB Transport)
• MS ASF(.asf, .wmv)
• MS AVI(.avi)
• Macromedia Flash видео FLV (.flv)
• Real Video (rm)
• Apple Quicktime(.mov)
• FLIC формат (.fli, .flc)
• GIF анимация (.gif)
• DV (.dv)
• Matroska (.mkv)
• OGM (.ogm)
• Видео форматы, который могут быть открыты с DirectShow DirectX 9
Аудиоформаты:
• AAC(.aac)
• Audio CD(.cda)
• MPEG audio(.mp3, mp2)
• MS WAV(.wav)
• MS WMA(.wma)
• Real Audio (.ra)
• OGG(.ogg)
• AMR audio(.amr)
• AC3(.ac3)
• SUN AU format (.au)
• FLAC (.flac)
• Macromedia Flash embedded audio(.swf)
• Аудио форматы, который могут быть открыты с DirectShow DirectX 9
Игровые видео-форматы:
• Технологические форматы, используемые в некоторых играх (.4xm)
• Playstation STR
• (Id RoQ) используемые в Quake III, Jedi Knight 2, других компьютерных играх
• Мультимедиа форматы, используемые в различных интерактивных играх (Interplay MVE)
• Мультимедиа форматы, используемые в играх Origin's Wing Commander III (WC3 Movie)
• Используемые во многих консольных играх Sega Saturn (Sega FILM/CPK)
• Мультимедиа форматы, используемые в играх Westwood Studios, Westwood Studios (VQA/AUD)
• Используемые в Quake II, Id Cinematic (.cin)
• Используемые в играх Sierra CD-ROM (Sierra VMD)
• Используемые в играх Sierra Online, файлы .sol
• Electronic Arts Multimedia (Matroska)
• Используемые в различных играх Electronics Art; файлы, имеющие расширение WVE и UV2
• Nullsoft Video (NSV) format

DivX - это кодек

AVI- это формат или контейнер.

кодек DivX используется чаще всего в контейнере AVI

есть два лучших конвертора SUPER©.
и Total Video Converter
как пользоваться SUPER©. смотри сдесь я им конвертировал http://videosaver.ru/blog/2007-11-08-3

AVI - может быть кодирован и DivX и MPEG4. Т. е. расширение AVI не играет на суть формата видео потока.

Попробуйте прогу "WinAVI Video Converter ".

VirtualDub

divx это не формат а проигрыватель фильмов (видео) и т. д.

да