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

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

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

В отличие от массовых Петровых, Петрокины — фамилия малочисленная. Она не попала в списки дворянских родов и не встречается среди известных исторических деятелей. Это типичная фамилия крестьян или мещан, закрепившаяся в какой-то одной местности. Скорее всего, предок носителя фамилии был просто Петроком — человеком, которого в деревне звали не полным именем, а ласково, по-домашнему. Со временем это прозвище перешло к детям и стало фамильным.