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

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

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

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

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