To use the proxy environment variables of the host OS, insert the snippet into your Vagrantfile. Instead of having to manually define the proxy settings, it will use the settings from the host shell where you run Vagrant.
You need to install the vagrant-proxyconf plugin for this to work:
vagrant plugin install vagrant-proxyconf