Qual é a etimologia da palavra "Petrópolis", topônimo que significa "cidade de Pedro"?
Sou professor de História do Brasil e estudioso da história da cidade de Petrópolis, região serrana do Estado do Rio de Janeiro. Preparo livro sobre as origens desta "Cidade Imperial". Um de seus fundadores foi D. Pedro II, em 1843. O nome foi escolhido em homenagem ao soberano.
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."
