En général, vous ne pouvez pas. ping a besoin d'une connexion réseau directe au niveau IP pour faire son travail. Un proxy fonctionne sur une couche supérieure du modèle de réseau TCP/IP, où il n'y a pas d'accès direct au protocole IP.
Vous auriez besoin de contourner le proxy d'une manière ou d'une autre (modifier les paramètres du pare-feu, utiliser un VPN, ...). Que cela soit possible (et autorisé) dépend de la configuration de votre réseau, mais ce n'est probablement pas possible.
Pour contourner ce problème, de nombreux services de ping basés sur le Web sont disponibles (recherchez « ping basé sur le Web »). Ceux-ci fonctionneront.
Vous pouvez essayer ceci, mais vous devez d'abord installer curl.
http_proxy=http://<proxy_username>:<proxy_password>@<your_proxy_server>:<your_proxy_port> curl -I http://google.com/