Dowód Formalne objaśnienie równowagi modelu Harris-Todaro wygląda następująco: niech będzie stawką wynagrodzenia (marginalna produktywność pracy) w obszarach wiejskich rolnictwa, niech będzie całkowitą liczną dostępnych miejsc pracy w mieście, która powinna być liczbie zatrudnionych pracowników miejskich, niech będzie całkowitą liczbą osób poszukujących pracy zatrudnionych i bezrobotnych, w sektorze miejskim, niech będzie stawką wynagrodzenia w sektorze miejskim, którego prawo ustalenia miałby rząd, jako płacę minimalną.
W równowadze,
Innymi słowy, oczekiwana stawka rolnego wynagrodzenia równa się spodziewanej stawce miejskiego wynagrodzenia, które jest iloczynem miejskiego wynagrodzenia i liczby dostępnych miejsc pracy w ogóle poszukujących pracy w mieście.
Migracja z obszarów wiejskich do miejskich będzie miała miejsce, gdy:
Natomiast migracja z obszarów miejskich do wiejskich będzie miała miejsce, gdy:
Wnioski W związku z tym migracja z terenów wiejskich do miast wzrośnie, gdy: miejskie stawki w miejskich sektorach zwiększą oczekiwane dochody miejskie, w rolnictwie spadek, zmniejszenie krańcowej produktywności i płac w sektorze rolnictwa zmniejszenie oczekiwanych dochodów na obszarach wiejskich.