Происхождение слова Петрополь
Петро́поль риторическое и поэтическое название города Петербурга, начиная с Петра I, по аналогии греч. названий на -πολις (Унбегаун, RЕS 9, 273). Ср. Петербу́рг.
Происхождение слова Петрополь в этимологическом онлайн-словаре Фасмера М.