Seja ao repartir uma herança familiar complexa, dividir bens acumulados num divórcio litigioso ou fixar quartos e aluguel entre colegas de apartamento, a humanidade depara-se inevitavelmente com o dilema da justiça (equidade).

A regra secular mais conhecida para duas pessoas é a clássica: «Um corta, o outro escolhe (Cut and Choose)». Quem corta empenha-se em criar duas partes rigorosamente iguais para se proteger, e quem escolhe fica livre para selecionar o pedaço que mais lhe agrada.

Mas como proceder quando há três ou mais pessoas envolvidas? E se o bolo não for homogêneo — tendo cobertura de chocolate de um lado, morangos no centro e creme de baunilha do outro — e os participantes tiverem preferências altamente assimétricas? Dividir em três volumes geometricamente idênticos provocará a revolta daquele que detesta morangos.

Existe algum algoritmo matemático rigoroso que garanta que todos fiquem plenamente satisfeitos e ninguém sinta inveja da fatia alheia?

Esse é o cerne da teoria da partilha justa (Fair Division), amplamente conhecida como o problema da divisão do bolo (Cake-Cutting Problem). Formulado na década de 1940 pelo matemático polonês Hugo Steinhaus, este campo transcendeu a curiosidade recreativa para se tornar uma sofisticada disciplina científica que articula teoria da medida, topologia algébrica (lema de Sperner e teoremas de ponto fixo), teoria dos jogos e ciência da computação. Em 2016, Haris Aziz e Simon Mackenzie alcançaram um marco histórico mundial ao provar o primeiro algoritmo finito e limitado sem inveja para qualquer número arbitrário \(n\) de pessoas.

1. Fundamentos em teoria da medida

O bolo é formalmente modelado como um intervalo real contínuo \(X = [0, 1]\) ou um subconjunto compacto mensurável de \(\mathbb{R}^d\). Qualquer fatia corresponde a um elemento da \(\sigma\)-álgebra de Borel \(\mathcal{B}(X)\).

Cada participante \(i \in \{1, \dots, n\}\) possui uma medida de valor subjetiva \(V_i: \mathcal{B}(X) \to [0, 1]\) não atômica, aditiva e não negativa:

1. Normalização: \(V_i(X) = 1, V_i(\emptyset) = 0\).
2. Aditividade: \(A \cap B = \emptyset \implies V_i(A \cup B) = V_i(A) + V_i(B)\).
3. Divisibilidade (Não-atomicidade): A lâmina da faca pode cortar em qualquer ponto com precisão infinitesimal contínua.

Sob a hipótese de continuidade absoluta em relação à medida de Lebesgue, existe uma função de densidade de valor \(v_i(x)\) tal que \(V_i(A) = \int_A v_i(x) \, dx\). O ponto fulcral deste modelo é o respeito total à individualidade: cada pessoa julga o bolo unicamente através da sua própria escala de valores interna, sem interferência alheia.

2. Quatro critérios fundamentais de equidade

Para uma partição \((X_1, \dots, X_n)\) do bolo:

Por que a ausência de inveja é muito superior

Para dois jogadores (\(n=2\)), proporcionalidade e ausência de inveja são equivalentes. No entanto, para três ou mais pessoas, a proporcionalidade não elimina conflitos! Se Alice recebe uma fatia de valor \(0,35\) (\(> 0,333\)), ela obteve uma parcela proporcional. Mas se Bob recebe uma fatia que Alice avalia em \(0,50\), ela sentirá uma profunda e corrosiva inveja. A ausência de inveja (Envy-Freeness) é o padrão de ouro indiscutível para a pacificação social duradoura.

3. O protocolo Selfridge-Conway para 3 pessoas

Desenvolvido por volta de 1960 por John Selfridge e John Horton Conway, este brilhante algoritmo resolve a partilha para três jogadores em no máximo cinco cortes:

1. Etapa 1 (Divisão do bolo principal e apara):
   • \(P_1\) divide o bolo em três fatias iguais perante \(V_1\) (\(A, B, C\)).
   • \(P_2\) apara a fatia maior para igualá-la à segunda maior, gerando sobras \(T\).
   • Escolha das fatias principais: \(P_3\) escolhe primeiro, depois \(P_2\) (que tem o dever de escolher a fatia aparada se \(P_3\) não a escolher), e finalmente \(P_1\).
   • \(P_1\) recebe uma fatia intacta de valor \(1/3\), ficando imune a qualquer sentimento de inveja!
2. Etapa 2 (Distribuição das sobras \(T\)):
   • O jogador que ficou com a fatia aparada é denominado \(T_{\text{in}}\), e o outro entre \(\{P_2, P_3\}\) é denominado \(T_{\text{out}}\).
   • \(T_{\text{out}}\) divide as sobras \(T\) em três partes iguais.
   • Ordem de escolha: \(T_{\text{in}} \to P_1 \to T_{\text{out}}\).
   • O golpe de mestre do protocolo: mesmo que \(T_{\text{in}}\) recebesse a totalidade das sobras \(T\), o conjunto valeria no máximo \(1/3\) aos olhos de \(P_1\). Logo, \(P_1\) jamais invejará \(T_{\text{in}}\)!

4. Topologia e harmonia de aluguéis: Lema de Sperner

Francis Su aplicou o lema de Sperner em 1999 para provar que quartos e aluguel compartilhado podem sempre ser precificados de forma a eliminar qualquer inveja entre colegas de casa (Rental Harmony). Ao triangular o simplex dos preços e rotular os vértices com as escolhas ótimas dos moradores, garante-se matematicamente a existência de um ponto de equilíbrio no qual todos escolhem quartos distintos em perfeita harmonia.

5. Bens indivisíveis e o bem-estar de Nash

Quando os bens a serem repartidos não podem ser cortados fisicamente sem destruição de valor (veículos, casas, joias), a ausência estrita de inveja é muitas vezes impossível. A ciência da computação contemporânea introduziu os conceitos de EF1 (Livre de inveja exceto por um item) e EFX.

O resultado culminante de Caragiannis et al. (2016) demonstrou que a maximização do Bem-Estar Social de Nash (o produto das utilidades individuais) satisfaz automaticamente tanto o critério EF1 quanto a Eficiência de Pareto, harmonizando eficiência econômica com justiça social.

6. Conclusão

A matemática da divisão justa nos ensina que a verdadeira equidade não consiste em uma padronização geométrica artificial, mas no respeito profundo às preferências subjetivas individuais. Mediante o desenho de regras e incentivos adequados, as diferenças de gosto tornam-se pontes para a cooperação e o benefício mútuo.