WYSIWYG editors purely manipulate HTML, they dno't touch the images, if they did you'd have all kinds of problems.
You can do it with PHP, the problem is that if people resize the images through WYSIWYG editors they may distort the ratio, but if that is fine for what you want, then you can certainly do that.
There are a few image libaries that allow you to re-size images, the most common use is to create thumbnails or apply watermarking.
I find this one quiet useful http://www.fullo.net/progetti/smartthumb/index.php?source=class
Its a modified version of one, I've enchanced it further myself, but I don't have access to the source from here.
That would allow you to resize the individual images. You'd then need to write a script to read through your pages, find the img tags, read the height and width parameters, take the scr location, open the image get the sizes, compare, if its different then you coudl use that class to ersize them.
If the WYSIWYG editor is on a web page of yours, and you parse the contents to then save it as a file, you coudl build it into that script to check and resize the images during the save