Segundo o "Dicionário Onomástico Etimológico da Língua Portuguesa" de José Pedro Machado, Petrópolis vem do latim Petrus + -polis. Este dicionário confirma o que diz, e acrescenta ainda: "A crer em Nasc.-II, s.v., Paulo Barbosa, mordomo da Casa Imperial, atribui-se o nome da cidade por sugestão de Petersburgo e por ter achado ‘uma cidade com este nome no Arquipélago e, sendo o imperador Dom Pedro, julguei que lhe caberia bem [à nova cidade, claro está] este nome’. Por um lado, não consegui encontrar vestígios da tal cidade grega; pelo outro, não faltam no Brasil povoações cujos nomes se formaram a partir do radical Petro-, por Pedro, nome dos dois imperadores brasileiros."