Você percebe que "ping", ou melhor, ICMP , é seu próprio protocolo e definitivamente não é HTTP, por isso não suportará configurações de proxy, como a variável de ambiente http_proxy
.
Se o uso do proxy for obrigatório para seu acesso à Internet, você só poderá usar protocolos que sejam permitidos pelo seu servidor proxy e que possam ser intermediados por proxy, como HTTP, HTTPS, FTP etc. (ou aqueles que podem ser tunnelled sobre HTTP ).