Фамилия Петрочков — нечастая, и её редкость кроется в деталях словообразования. На слух она кажется производной от имени Пётр, но между основой и финальным -ов стоит суффикс -к-, который меняет смысл. Если бы фамилия образовалась напрямую от Пётр, мы бы получили Петров или Петрухин. Петрочков же восходит к уменьшительно-ласкательному имени Петрочко — так в быту называли маленького Петра или просто младшего члена семьи. Суффикс -к- в русских именах часто передавал не столько размер, сколько интимность обращения: Петрочко, как Ванечка или Мишка.

Дальше работает стандартная модель: имя Петрочко + притяжательный суффикс -ов, который буквально означал «чей?» — сын Петрочка. В документах XVII–XVIII веков такая форма была обычна для крестьян и посадских людей, где полное имя отца не всегда фиксировали, а записывали сына по домашнему прозвищу. Интересно, что фамилия Петрочков встречается в основном в центральных и южных регионах России — в Тамбовской, Рязанской, Воронежской областях. Это указывает на то, что имя Петрочко было распространено именно в этих говорах, тогда как на севере чаще бытовали формы Петрушин или Петряев.

С точки зрения сословной принадлежности, Петрочковы — почти наверняка потомки крестьян или однодворцев. Никаких дворянских родов с такой фамилией не зафиксировано, и в дореволюционных справочниках она не упоминается среди столбового дворянства. В переписных книгах XVIII века встречаются отдельные крестьяне Петрочковы, например в Шацком уезде. Фамилия не перегружена вариантами: её написание устойчиво, и путать её стоит разве что с Петрачковым (от Петрак, белорусской формы имени) или Петрушковым (от Петрушка). Но Петрочков — именно русская, «окающая» форма, где ударение падает на второй слог: Петро́чков.

Если искать этимологическую параллель, то фамилия родственна таким же «уменьшительным» образованиям, как Мирочков (от Мирочко) или Степочков (от Степочко). Все они — свидетельство того, что в русской деревне человека редко называли полным именем, а чаще — по-домашнему, и это прозвище закреплялось за детьми уже как фамилия. Петрочков — не про громкое происхождение, а про конкретного Петра, которого в семье звали Петрочком.