«Distribua de forma justa os assentos inteiros de um parlamento entre os estados (ou partidos políticos) proporcionalmente à sua população.»
Perante esta tarefa, quase toda a gente recorre à aritmética elementar das proporções e arredondamentos: divide-se a população total do país pelo número total de assentos para obter o «divisor padrão» (habitantes por assento) e divide-se a população de cada estado por esse divisor. Como surgem números decimais como $7{,}73$ ou $1{,}36$ assentos, atribui-se primeiro a cada estado a sua parte inteira ($7$ e $1$) e distribuem-se os assentos restantes um a um aos estados com os maiores restos decimais ($,73$, $,36$, etc.). Poderia existir um método mais natural e inquestionavelmente justo?
Contudo, em 1880, Charles W. Seaton, funcionário-chefe do Gabinete do Censo dos Estados Unidos, descobriu um pesadelo matemático ao calcular a distribuição da Câmara dos Representantes com este mesmo método (o método de Hamilton ou método dos maiores restos / Hare-Niemeyer): quando o tamanho total da Câmara foi aumentado em apenas um assento, passando de $299$ para $300$ assentos — sem que a população de nenhum estado mudasse —, o estado do Alabama viu a sua bancada cair de $8$ assentos para $7$ assentos!
Aumentar o bolo total diminuiu a fatia de um participante: este Paradoxo do Alabama foi seguido pela descoberta do Paradoxo da População (um estado com rápido crescimento demográfico perde um assento para outro de crescimento lento) e do Paradoxo dos Novos Estados (a admissão de um novo estado com os seus assentos justos altera os assentos entre estados antigos sem qualquer relação). Em 1982, Michel Balinski e H. Peyton Young demonstraram o célebre Teorema da Impossibilidade de Balinski-Young: é matematicamente impossível que um método de repartição cumpra simultaneamente a Regra da Quota e a monotonia (ausência de paradoxos).
1. A Crise Constitucional de 1792: Hamilton contra Jefferson e o Primeiro Veto Presidencial
O Artigo I, Secção 2 da Constituição dos EUA de 1787 determinava que os representantes fossem repartidos entre os estados «segundo os seus respetivos números», não excedendo um por cada $30.000$ habitantes. Após o primeiro censo de 1790 ($P = 3.615.920$ habitantes em $15$ estados), o Congresso aprovou uma lei fixando a Câmara em $H = 120$ assentos (divisor padrão $D = P/H = 30.132{,}67$).
O Secretário do Tesouro, Alexander Hamilton, propôs o método dos maiores restos (método de Hamilton): atribuir primeiro $\lfloor p_i / D \rfloor$ assentos ($112$ no total) e entregar os $R = 8$ assentos restantes aos $8$ estados com maiores partes fracionárias. O Secretário de Estado, Thomas Jefferson, e o Presidente George Washington (ambos da Virgínia) opuseram-se veementemente: além de prejudicar a Virgínia, os pequenos estados arredondados para cima — como o Delaware ($55.540$ habitantes, $2$ assentos) — ficavam com um deputado por cada $27.770$ habitantes, violando o teto constitucional de $30.000$!
Jefferson propôs como alternativa o método de Jefferson (conhecido na Europa e em Portugal/Brasil como método D’Hondt): escolher um divisor comum $x$ (por exemplo, $x = 33.000$) e truncar sempre para a parte inteira inferior ($a_i = \lfloor p_i / x \rfloor$) até que a soma iguale $H$. Em 5 de abril de 1792, George Washington exerceu o primeiro veto presidencial da história dos Estados Unidos contra a lei de Hamilton — desencadeado por uma disputa sobre algoritmos matemáticos de arredondamento!
2. Formulação Matemática e a Regra da Quota (Quota Rule)
Sejam $s \ge 2$ estados com vetor populacional $\mathbf{p} = (p_1, \dots, p_s)$, população total $P = \sum_{i=1}^s p_i$ e um parlamento de $H \in \mathbb{Z}_{>0}$ assentos. O divisor padrão $D$ e a quota exata $q_i$ do estado $i$ são:
$$D = \frac{P}{H}, \qquad q_i = \frac{p_i}{D} = H \cdot \frac{p_i}{P}, \qquad \sum_{i=1}^s q_i = H$$Ao arredondar o número real $q_i$ para um inteiro $a_i \in \mathbb{Z}_{\ge 0}$ ($\sum_{i=1}^s a_i = H$), o axioma mínimo de justiça exige que cada estado receba a sua quota inferior $\lfloor q_i \rfloor$ ou a sua quota superior $\lceil q_i \rceil$. Esta é a Regra da Quota (Quota Rule):
$$\lfloor q_i \rfloor \le a_i \le \lceil q_i \rceil \quad (\forall i \in \{1, 2, \dots, s\})$$O método de Hamilton (maiores restos / Hare-Niemeyer) decompõe $q_i = \lfloor q_i \rfloor + r_i$ com $r_i \in [0, 1)$, atribui $\lfloor q_i \rfloor$ assentos e distribui os $R = H - \sum \lfloor q_i \rfloor = \sum r_i$ assentos sobrantes aos $R$ estados com maiores restos $r_i$:
$$q_i = \lfloor q_i \rfloor + r_i \quad (0 \le r_i < 1), \qquad R = H - \sum_{i=1}^s \lfloor q_i \rfloor = \sum_{i=1}^s r_i \in \{0, 1, \dots, s-1\}$$$$a_i = \begin{cases} \lfloor q_i \rfloor + 1 & (\text{if } r_i \text{ is among the } R \text{ largest remainders}) \\ \lfloor q_i \rfloor & (\text{otherwise}) \end{cases}$$Por construção, o método de Hamilton cumpre a Regra da Quota em $100\%$ dos casos.
3. Anatomia Completa dos Três Grandes Paradoxos de Repartição
Entre 1880 e 1907, os dados reais do censo norte-americano revelaram três paradoxos devastadores no método de Hamilton:
flowchart TD
H["Método de Hamilton (Maiores Restos / Hare-Niemeyer)<br/>Garante a 100% a Regra da Quota ⌊q_i⌋ ≤ a_i ≤ ⌈q_i⌉"]
P1["1. Paradoxo do Alabama (1880)<br/>Aumenta o total de assentos H, mas um estado perde um assento<br/>(Violação da Monotonia da Câmara)"]
P2["2. Paradoxo da População (1900)<br/>Um estado que cresce mais rápido perde um assento para outro mais lento<br/>(Violação da Monotonia Populacional)"]
P3["3. Paradoxo dos Novos Estados (1907)<br/>A entrada de um novo estado com os seus assentos justos inverte assentos entre estados existentes<br/>(Violação da Consistência)"]
CAUSE["Causa matemática: A quota exata q_i = H·(p_i/P) avança a uma velocidade proporcional<br/>ao peso p_i/P do estado, fazendo os restos r_i dos grandes estados ultrapassarem os pequenos"]
H --> P1
H --> P2
H --> P3
P1 --> CAUSE
P2 --> CAUSE
P3 --> CAUSE
3.1 O Paradoxo do Alabama (1880) e Prova Numérica com 3 Estados ($H = 10 \to 11$)
Em 1880, ao passar de $H = 299$ para $H = 300$, a quota do Alabama subiu apenas $+0{,}025$ ($7{,}646 \to 7{,}671$), enquanto o Texas ($9{,}640 \to 9{,}672$, $+0{,}032$) e o Illinois ($18{,}640 \to 18{,}702$, $+0{,}062$) aumentaram os seus restos muito mais depressa e ultrapassaram simultaneamente o Alabama. Vejamos o modelo exato de $3$ estados ($P = 1000$):
| Estado | População $p_i$ | Quota $q_i$ ($H=10$) | Piso $\lfloor q_i \rfloor$ e resto $r_i$ ($H=10$) | Assentos $a_i$ ($H=10$) | Quota $q_i'$ ($H=11$) | Piso $\lfloor q_i' \rfloor$ e resto $r_i'$ ($H=11$) | Assentos $a_i'$ ($H=11$) |
|---|---|---|---|---|---|---|---|
| Estado A | $433$ | $4{,}330$ | $4$ ($r_A = 0{,}330$: 2.º) | $4$ assentos | $4{,}763$ | $4$ ($r_A' = \mathbf{0{,}763}$: 1.º) | $5$ assentos ($+1$) |
| Estado B | $431$ | $4{,}310$ | $4$ ($r_B = 0{,}310$: 3.º) | $4$ assentos | $4{,}741$ | $4$ ($r_B' = \mathbf{0{,}741}$: 2.º) | $5$ assentos ($+1$) |
| Estado C | $136$ | $1{,}360$ | $1$ ($r_C = \mathbf{0{,}360}$: 1.º) | $2$ assentos | $1{,}496$ | $1$ ($r_C' = 0{,}496$: 3.º) | $1$ assento ($-1$) |
| Total | $1000$ | $10{,}000$ | Soma pisos $= 9$ ($R=1$) | $10$ assentos | $11{,}000$ | Soma pisos $= 9$ ($R'=2$) | $11$ assentos |
Quando $H$ sobe de $10$ para $11$, os grandes estados A e B avançam $+0{,}433$ e $+0{,}431$ contra apenas $+0{,}136$ do pequeno Estado C: os seus restos ($0{,}763$ e $0{,}741$) ultrapassam $r_C' = 0{,}496$, e o Estado C cai de $2$ assentos para $1$ assento (violação da Monotonia da Câmara).
3.2 O Paradoxo da População (1900) e o Paradoxo dos Novos Estados (1907)
- Paradoxo da População: Entre 1890 e 1900, a Virgínia cresceu $+12{,}0\%$ contra $+5{,}0\%$ do Maine, mas perdeu um assento para o Maine. No nosso modelo ($H = 10, P = 1000$): no instante 1, $p_A = 427, p_B = 435, p_C = 138 \implies$ assentos $(4, 4, 2)$ porque $r_C = 0{,}380$ é o maior resto. No instante 2, o Estado C cresce $+8{,}70\%$ ($138 \to 150$), o Estado B cresce $+6{,}90\%$ ($435 \to 465$) e o Estado A diminui ($427 \to 385$). Embora C cresça percentualmente mais do que B, o ganho absoluto de quota do grande Estado B ($+0{,}300 \implies r_B' = 0{,}650$) supera o de C ($+0{,}120 \implies r_C' = 0{,}500$), enquanto A cruza para baixo o inteiro $4$ ($q_A' = 3{,}850 \implies r_A' = 0{,}850$). Assim, o Estado C de maior crescimento perde um assento ($2 \to 1$) para B ($4 \to 5$).
- Paradoxo dos Novos Estados: Em 1907, a admissão de Oklahoma com $5$ assentos ($H: 386 \to 391$) fez Nova Iorque perder um assento para o Maine. No modelo de $2$ estados ($H = 10, P = 1000$ com $p_A = 842, p_B = 158 \implies a_A = 8, a_B = 2$), quando o novo Estado C ($p_C = 165$) entra com os seus $2$ assentos legítimos ($H' = 12, P' = 1165$), o divisor padrão desce de $100$ para $97{,}083$. Todas as quotas são multiplicadas por $1{,}03004$: a quota grande $q_A$ sobe $+0{,}253$ ($8{,}673$, resto $0{,}673$) e ultrapassa o resto do pequeno Estado B ($1{,}627$, resto $0{,}627$), resultando em $(9, 1, 2)$.
4. Teoria Unificada dos Métodos dos Divisores (Maiores Médias) e Funções Marco $d(n)$
Os métodos dos divisores dividem cada população $p_i$ por um divisor comum ajustável $x > 0$ e arredondam o quociente $q = p_i / x$ através de uma função marco (Signpost Function) $d(n) \in [n, n+1]$:
$$[q]_d = n \iff d(n-1) \le q \le d(n), \qquad a_i = \left[\frac{p_i}{x}\right]_d, \qquad \sum_{i=1}^s a_i = H$$Isolando $x$ em $d(a_i - 1) \le p_i / x \le d(a_i)$, obtém-se a equivalência exata com o método das maiores médias (valores de prioridade):
$$\frac{p_i}{d(a_i)} \le x \le \frac{p_i}{d(a_i - 1)} \quad \Longleftrightarrow \quad \text{Priority}(i, n) = \frac{p_i}{d(n)}$$Atribuir os $H$ assentos equivale exatamente a entregá-los aos $H$ maiores valores de prioridade $\text{Priority}(i, n) = \frac{p_i}{d(n)}$. Como a ordenação global não muda quando $H$ aumenta e a razão de prioridades verifica:
$$\frac{p_i'}{p_j'} \ge \frac{p_i}{p_j} \implies \frac{p_i' / d(n)}{p_j' / d(m)} = \frac{p_i'}{p_j'} \cdot \frac{d(m)}{d(n)} \ge \frac{p_i}{p_j} \cdot \frac{d(m)}{d(n)} = \frac{p_i / d(n)}{p_j / d(m)}$$todos os métodos dos divisores são totalmente imunes aos três paradoxos!
Comparação dos Cinco Métodos dos Divisores Históricos
| Nome do Método (Designação Eleitoral) | Autores e Ano | Função Marco $d(n)$ | Sucessão de Divisores $d(0), d(1), d(2), \dots$ | Assentos Mín. | Viés de Dimensão e Critério de Otimização | Risco face à Regra da Quota |
|---|---|---|---|---|---|---|
| 1. Método de Jefferson (D’Hondt) | Jefferson (1792) D’Hondt (1878) | $n + 1$ (Piso $\lfloor q \rfloor$) | $1, 2, 3, 4, \dots$ | $0$ assentos | Favorece fortemente grandes estados/partidos | Viola a quota superior ($a_i > \lceil q_i \rceil$) |
| 2. Método de Webster (Sainte-Laguë) | Webster (1832) Sainte-Laguë (1910) | $n + 0{,}5$ (Média Aritmética) | $0{,}5, \; 1{,}5, \; 2{,}5, \dots$ (ou $1, 3, 5, \dots$) | $0$ assentos | Totalmente neutro (sem viés de dimensão) | Pode violar (raramente) as quotas superior e inferior |
| 3. Huntington-Hill (Proporções Iguais) | Hill (1911) Huntington (1921) | $\sqrt{n(n+1)}$ (Média Geométrica) | $0, \sqrt{2}, \sqrt{6}, \sqrt{12}, \dots$ | $1$ assento | Minimiza a desigualdade relativa $T_{ij}$; Câmara dos EUA desde 1941 | Pode violar as quotas superior e inferior |
| 4. Método de Dean (Média Harmónica) | J. Dean (1832) | $\frac{2n(n+1)}{2n+1}$ (Média Harmónica) | $0, \frac{4}{3}, \frac{12}{5}, \frac{24}{7}, \dots$ | $1$ assento | Minimiza a diferença absoluta de habitantes por assento $p_i/a_i$ | Pode violar as quotas superior e inferior |
| 5. Método de Adams (Menores Divisores) | J. Q. Adams (1832) | $n$ (Teto $\lceil q \rceil$) | $0, 1, 2, 3, \dots$ | $1$ assento | Favorece fortemente pequenos estados | Viola a quota inferior ($a_i < \lfloor q_i \rfloor$) |
Pela desigualdade clássica entre as médias aritmética, geométrica e harmónica (AM-GM-HM):
$$T_{ij} = \frac{a_i / p_i}{a_j / p_j} - 1, \qquad d(n) = \sqrt{n(n+1)}$$$$n < \underbrace{\frac{2n(n+1)}{2n+1}}_{\text{Dean (HM)}} < \underbrace{\sqrt{n(n+1)}}_{\text{Huntington-Hill (GM)}} < \underbrace{n + 0.5}_{\text{Webster (AM)}} < n + 1$$5. O Teorema da Impossibilidade de Balinski-Young (1982)
Mesmo o método de Webster / Sainte-Laguë ($d(n) = n + 0{,}5$, arredondamento padrão ao inteiro mais próximo) viola tanto a quota inferior como a quota superior:
- Violação da quota inferior ($H = 10, P = 1000$): Seja um grande Estado A ($p_A = 832 \implies q_A = 8{,}320$, quota inferior $8$ assentos) e três pequenos estados B, C, D ($p_i = 56 \implies q_i = 0{,}560$). Com o divisor $x = 111$, os três pequenos estados obtêm $56/111 \approx 0{,}5045 > 0{,}5$ e sobem para $1$ assento cada ($3$ no total), enquanto o Estado A obtém $832/111 \approx 7{,}4955 < 7{,}5$ e é arredondado para baixo para $7$ assentos — violando a sua quota inferior de $8$ assentos!
- Violação da quota superior ($H = 10, P = 1000$): Seja um grande Estado A ($p_A = 795 \implies q_A = 7{,}950$, quota superior $8$ assentos) e cinco pequenos estados B–F ($p_i = 41 \implies q_i = 0{,}410$). Com $x = 83$, os cinco pequenos estados obtêm $41/83 \approx 0{,}4940 < 0{,}5$ ($0$ assentos), enquanto o Estado A obtém $795/83 \approx 9{,}5783 > 9{,}5$ e recebe todos os $10$ assentos — ultrapassando em $2$ assentos a sua quota superior!
Em 1982, Balinski e Young provaram o seu resultado definitivo:
- Teorema 1 (Caracterização dos métodos dos divisores): Um método de repartição anónimo e homogéneo satisfaz a monotonia populacional se e só se for um método dos divisores.
- Teorema 2 (Teorema da Impossibilidade de Balinski-Young, 1982): Para $s \ge 4$ estados e $H \ge 7$ assentos, não existe nenhum método de repartição que satisfaça simultaneamente a monotonia populacional e a Regra da Quota ($\lfloor q_i \rfloor \le a_i \le \lceil q_i \rceil$).
Ao ajustar o divisor comum $x$, todas as quotas exatas são multiplicadas pelo mesmo fator $\lambda = D/x$ ($p_i/x = \lambda q_i$), pelo que o desvio absoluto $\Delta q_A = |1 - \lambda| q_A$ de um estado grande cresce proporcionalmente ao seu tamanho $q_A$, cruzando inevitavelmente fronteiras inteiras.