Будет ли проигрываться на бытовом плеере
 

После кодирования прогой DivX Converter, некоего фильма, расширение стало *.divx. Я изменил расширение на *.avi . Фильм по прежнему воспроизводится на компе, однако на бытовом плеере будет ли?

Если плеер поддерживает DivX, то должен воспроизвести. Если нет, то как ни назови, а результата положительного не добьёшься.
Это надо смотреть или в документации или на сайте производителя.

Расширение то поменялось, а сведения в файле о нужном декодере нет, поэтому всё зависит от наличия требуемых декодеров в плеере, это раньше для домашнего DVD наличие DivX было экзотикой сейчас же норма.