That was a statement, not a question, but I'm assuming you're asking either "How do I do this" or "Will this work".
If the files already use DivX video (or a variant close enough that your DVD player can handle it), then all you should need to do is burn a disc with them on it. So far as I know, the Finder will create discs that are fully readable by most (all?) other systems, so your DVD player should be ok with them.
If the files have video in some other format, you're going to need to transcode; FFMPEG will do this well, although the interface is a little complex if you don't know what you're doing.
If you don't know how to check, open the file in QuickTime Player and do a Get Info, then look at the video format--it should say DivX or something similar. You could also use VLC and do the same thing--in the Information window, go to Advanced Information and see what Stream 0 (or maybe Stream 1) says--if it says DX50, it's DivX.