Первые упоминания фамилии Петроченков
Фамилия Петроченков относится к кругу фамилий от имени Петр и в письменной традиции обычно закрепляется тогда, когда в документах становится нужно устойчивое «второе имя» для различения людей с одинаковыми личными именами. Такие фамилии чаще всего оформлялись и фиксировались в официальной записи постепенно: от разговорного прозвания в быту — к устойчивой записи в бумагах.
По самому набору близких форм (Петров, Петренко, Петриченко, Петроченко) видно, что фамилия хорошо вписывается в «семейство» петровских фамилий, распространенных очень широко. В этом круге фамилий варианты могли появляться в разных регионах и по-разному «узакониваться» в документах — отсюда и пара Петроченко / Петроченков.
В смоленских материалах фамилия Петроченков приводится среди фамилий, производных от имени Петр, что дает региональный ориентир: такие записи встречаются в традиции Смоленского края и соседних территорий.
На практике «первое появление» конкретной линии Петроченковых почти всегда точнее всего ловится не по словарю, а по семейным документам: метрики, ревизские списки, исповедные ведомости, посемейные списки, а позже — записи ЗАГС. Именно там обычно видно, когда форма закрепилась окончательно и перестала колебаться (Петроченко ↔ Петроченков).