b) Use round robin DNS. This means that all your servers will answer to www, but each visitor will get the IP address of just one of them at random.
Both methods are commonly used for load balancing. The first is a little more robust, as the proxy can adapt quickly when one of the backend servers goes down. It also makes it easier to generate one global logfile. Whether that load is caused through third-party forms or normal traffic doesn't really matter.
Redirecting POST requests is bad style, because it potentially jeopardizes the visitors privacy. The standards define rules that the browser should actually ask the user what to do in such a case. In practise, most common browsers simply drop the POST data and send a plain GET request to the redirect target.