In generale non puoi. ping necessita di una connessione di rete diretta a livello IP per svolgere il proprio lavoro. Un proxy funziona su un livello superiore del modello di rete TCP/IP, dove non c'è accesso diretto al protocollo IP.
Dovresti in qualche modo aggirare il proxy (modificare le impostazioni del firewall, utilizzare una VPN, ...). Se questo è possibile (e consentito) dipende dalla configurazione della tua rete, ma probabilmente non è possibile.
Per ovviare al problema, sono disponibili molti servizi di ping basati sul Web (cercare "ping basato sul Web"). Questi funzioneranno.
Puoi provare questo, ma prima devi installare curl.
http_proxy=http://<proxy_username>:<proxy_password>@<your_proxy_server>:<your_proxy_port> curl -I http://google.com/