Фамилия Петроченков образована от имени собственного и относится к распространенному типу русских фамилий. Основой фамилии Петроченков послужило церковное имя Петр. Имя Пётр в переводе с древнегреческого означает «камень, скала». В основе фамилии Петроченков, вероятно, лежит производная форма этого имени, которая звучала как Петрок. Фамилии с основой Петр- очень популярны у славян. Суффикс -енко указывает на восточно-украинское происхождение фамилии Петроченков. Фактически эта фамилия представляет собой отчество второго порядка: Петроченков — сын Петроченко и внук Петрока. Таким образом, потомок человека, обладающего именем Петрок, со временем получил фамилию Петроченков. О точном месте и времени возникновения фамилии Петроченков в настоящее время говорить сложно, поскольку процесс формирования фамилий был достаточно длительным. Тем не менее, фамилия Петроченков представляет собой замечательный памятник славянской письменности и культуры.