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

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

Фамилия Трохалин (и Трохалина) не относится к числу распространённых дворянских фамилий — она скорее крестьянская или мещанская по происхождению. Её географическое бытование размыто: встречается в центральных областях России, на Урале и в Сибири, куда фамилию могли занести переселенцы. В дореволюционных переписях и метрических книгах Трохалины фиксировались в основном как государственные крестьяне или посадские люди, что типично для фамилий, образованных от обиходных форм имён.

Интересно, что фамилия сохранила древнюю модель словообразования: ударение в ней падает на второй слог (Троха́лин), а не на первый, как у имени Трофим. Это подтверждает, что в основе лежало именно прозвище Троха́, а не полное имя. Если вы встретили вариант Трохалина, то перед вами не самостоятельная фамилия, а женская форма, которая в быту закрепилась за замужними женщинами или вдовами — в русской традиции до XX века женские фамилии часто существовали как производные от мужских, особенно в среде непривилегированных сословий.