Matemática universitária — Graduação 1 · Bachelor Year 1
2Contagem
Contar conjuntos finitos parece elementar — e logo se torna sutil. Este capítulo define a cardinalidade como se deve (por meio de bijeções, no espírito do Capítulo 1), estabelece o punhado de princípios de contagem dos quais tudo decorre e deduz as contagens clássicas: listas, permutações, subconjuntos, coeficientes binomiais.
2.1 Cardinalidade dos conjuntos finitos
Definição 2.1 (Conjunto finito, cardinalidade)
Para , escreva . Um conjunto é finito quando ou existe uma bijeção de sobre para algum ; esse é único (Teorema 2.2) e é a cardinalidade de , escrita (com ).
Teorema 2.2 (A cardinalidade está bem definida)
Se , não existe bijeção de sobre . Mais precisamente, se não existe injeção de em .
Demonstração. Demonstramos por indução em o enunciado: para todo , não existe injeção . Para o contradomínio é vazio e : não existe aplicação alguma. Suponha o enunciado para e suponha que seja uma injeção com . Se o valor não é atingido, é uma injeção em , o que contradiz a hipótese de indução. Caso contrário, para exatamente um ; troque e (formalmente: componha com a transposição dos dois valores), de modo que a nova injeção tenha . Então a restrição de a é uma injeção em com — contradição, novamente. ∎
Corolário 2.3 (Princípio da casa dos pombos)
Se , nenhuma aplicação é injetiva: dois elementos de partilham a mesma imagem.
Demonstração. Escreva , com e escolha bijeções e . Se fosse injetiva, seria uma injeção de em (composta de injeções, Proposição 1.26), contradizendo o Teorema 2.2. ∎
Observação 2.4 (Interlúdio: por que a troca na demonstração do teorema?)
A demonstração do Teorema 2.2 contém a primeira jogada genuinamente engenhosa do capítulo, que vale a pena revisitar devagar. O obstáculo: para aplicar a hipótese de indução queremos apagar o último ponto do domínio e o último ponto do contradomínio, mas pode enviar algum outro ponto a , e então apagar o ponto do contradomínio estraga a aplicação em outro lugar. O remédio: compor com a transposição dos dois valores e — uma bijeção do contradomínio, de modo que a injetividade se preserva — após o que o valor incômodo passa a ocupar a posição inofensiva , e as duas remoções ficam limpas. Esse padrão “normalizar primeiro, cortar depois” reaparece: é assim que a recorrência dos desarranjos redireciona no problema de fim de semana deste capítulo, e assim que as permutações são remendadas ao longo de todo o problema do Capítulo 7 sobre o grupo simétrico.
Proposição 2.5 (Injeções, sobrejeções e cardinalidade)
Sejam conjuntos finitos com , e seja . Então
Demonstração. Suponha injetiva. Então é uma bijeção de sobre , logo . Se deixasse de fora um ponto de , então seria uma injeção de em , conjunto de cardinalidade — impossível pelo princípio da casa dos pombos. Logo : é sobrejetiva e, portanto, bijetiva.
Suponha sobrejetiva. Escolha para cada uma pré-imagem ; então , de modo que é injetiva (Proposição 1.26). Pelo parágrafo anterior aplicado a (as cardinalidades são iguais), é bijetiva. De obtemos , logo é bijetiva. Por fim, uma aplicação bijetiva é, por definição, ao mesmo tempo injetiva e sobrejetiva, o que fecha o ciclo de implicações. ∎
Exemplo 2.6 (A finitude é essencial)
Num conjunto finito, a Proposição 2.5 é um atalho poderoso: toda aplicação injetiva de em si mesmo é automaticamente uma permutação de — metade da bijetividade vem de graça. As duas implicações desmoronam em conjuntos infinitos: é injetiva de em , mas não atinge , e a aplicação que envia e para é sobrejetiva, mas não injetiva. Sempre que esta proposição é invocada, a hipótese de finitude está fazendo trabalho de verdade — tema que o problema de fim de semana do Capítulo 1 explora pelo outro lado, em que os conjuntos infinitos são precisamente os que admitem tais aplicações de si em si.
Exemplo 2.7 (Metade do trabalho, de graça)
Considere a aplicação em que envia ao resto da divisão de por ; sua tabela de valores é
é uma bijeção? A injetividade sozinha basta (Proposição 2.5): se e têm o mesmo resto, divide e, como é primo e não divide , ele divide (lema de Euclides, usado aqui no nível do ensino médio e demonstrado no Capítulo 6); com isso força . A sobrejetividade vem de graça — não é preciso resolver para cada , embora a tabela confirme que todo valor aparece exatamente uma vez. O atalho é um cavalo de batalha: demonstra a invertibilidade da multiplicação modular (Capítulo 6), alimenta o emparelhamento do teorema de Wilson e reaparece em álgebra linear como “um endomorfismo de um espaço de dimensão finita é injetivo se, e somente se, é sobrejetivo” (Capítulo 19).
2.2 Os princípios de contagem
Proposição 2.8 (Regras da soma e do produto)
Sejam conjuntos finitos.
Demonstração. (1) Concatene enumerações: se e sem repetição, então enumera sem repetição (por serem disjuntos). A indução estende isso a peças.
(2) é a união disjunta de e , e é a união disjunta de e ; logo .
(3) é a união disjunta, sobre , dos conjuntos , cada um de cardinalidade ; aplique (1).
(4) Uma aplicação de em é exatamente a escolha da -upla ; essa correspondência é uma bijeção, e por (3) e indução.
(5) Os subconjuntos de correspondem bijetivamente às aplicações (envie à sua função indicadora); aplique (4). ∎
Exemplo 2.9 (Contagem pelo complementar)
Quantas senhas de dígitos (algarismos de a , a ordem importa, repetições permitidas) contêm pelo menos um algarismo repetido? Contá-las diretamente significa manejar os casos “exatamente um par, dois pares, uma trinca, uma quadra” — cinco configurações que se sobrepõem. Conte antes o complementar: as senhas em geral somam (regra do produto) e as senhas com quatro algarismos distintos somam (-arranjos), de modo que a resposta é
Quase metade de todas as senhas repete um algarismo. A ideia: sempre que uma contagem é formulada com “pelo menos” ou “nem todos”, tente primeiro o complementar — a regra da soma garante que , e o complementar é muitas vezes uma única configuração limpa.
Exemplo 2.10 (Caminhos na grade)
Conte os caminhos mínimos do canto ao canto de uma grade, movendo-se apenas um passo para a direita (D) ou um passo para cima (C) de cada vez. Todo caminho desses tem exatamente passos, dos quais são D e são C; reciprocamente, qualquer palavra de comprimento nas letras D, C com quatro D descreve exatamente um caminho. Os caminhos correspondem, portanto, bijetivamente às escolhas das posições dos D:
A ideia é a codificação: a contagem tornou-se trivial no momento em que cada caminho foi traduzido em uma palavra, isto é, em um subconjunto de posições — mais uma instância do lema de que uma contagem correta é uma bijeção disfarçada (Método 2.19).
2.3 Listas, permutações, subconjuntos
Definição 2.11 (Arranjos, permutações, combinações)
Seja um conjunto com e seja .
- Um -arranjo de é uma -upla injetiva de elementos de (uma seleção ordenada sem repetição);
- uma permutação de é uma bijeção de em si mesmo — equivalentemente, um -arranjo;
- uma -combinação é um subconjunto de com elementos (uma seleção não ordenada e sem repetição). O seu número escreve-se , lido “combinações de , a ” .
Teorema 2.12 (As três contagens)
Com e :
- o número de -arranjos de é ;
- o número de permutações de é ;
- .
Demonstração. (1) Escolha a primeira coordenada ( modos), depois a segunda ( escolhas restantes), …, depois a -ésima ( escolhas). Formalmente, faça indução em . Para há uplas injetivas de um só termo. Suponha a contagem para . Cada -arranjo é obtido de exatamente um -arranjo — o seu truncamento — acrescentando uma última coordenada fora de , para a qual há exatamente valores disponíveis. Os -arranjos ficam assim repartidos, pelo truncamento, em classes de tamanho comum indexadas pelos -arranjos, e a regra da soma dá
(2) é (1) com .
(3) Cada -subconjunto se ordena de modos distintos, dando -arranjos distintos, e todo -arranjo provém de exatamente um subconjunto: logo . ∎
Exemplo 2.13 (Mesas redondas: quocientar pela simetria)
De quantos modos convidados podem se sentar em torno de uma mesa redonda, sendo duas disposições idênticas quando cada convidado tem os mesmos vizinhos à esquerda e à direita — isto é, a menos de rotação? Cada disposição circular corresponde a exatamente disposições lineares (corte o círculo em qualquer dos lugares), de modo que as ordens lineares se agrupam de em :
Equivalentemente: sente um convidado distinguido em qualquer lugar (matando a liberdade de rotação) e depois ordene os convidados restantes no sentido horário. Para : mesas. As duas soluções ilustram os dois remédios usuais para a contagem excessiva: dividir pelo número exato de repetições ou quebrar a simetria fixando um objeto. Ambos exigem que o grupo de repetições tenha o mesmo tamanho em toda configuração — o que a demonstração da fórmula acima também usou, com no lugar de .
Exemplo 2.14 (Acrescentando uma restrição)
Continuando com a mesa redonda: entre as mesas de convidados, quantas mantêm dois convidados dados e separados (não adjacentes)? Conte o complementar. Mesas em que e se sentam juntos: cole-os num único bloco — objetos em torno da mesa, isto é, disposições circulares — e depois ordene o par dentro do bloco ( modos): mesas com adjacência. Portanto
mesas os mantêm separados. Verificações de sanidade: dá (em torno de um triângulo, todos se tocam) e dá , facilmente listadas à mão. O truque da colagem — tratar um bloco forçado como um único objeto e depois contar suas disposições internas — é o remédio usual para restrições de adjacência, lineares ou circulares.
Proposição 2.15 (Identidades básicas)
Para :
Demonstração. Primeira identidade: é uma bijeção entre os -subconjuntos e os -subconjuntos. Regra de Pascal: fixe um elemento ; os -subconjuntos se repartem entre os que contêm (escolha os restantes: ) e os que evitam (). Terceira identidade: os dois lados contam todos os subconjuntos de , à esquerda separados por tamanho (Proposição 2.8 (1) e (5)). ∎
Teorema 2.16 (Teorema binomial)
Para todos num anel comutativo (digamos ou ) e :
Demonstração. Expandir distributivamente produz um termo por escolha, em cada fator, de ou de : o termo aparece uma vez para cada modo de escolher quais dos fatores contribuem com — isto é, vezes. (Alternativamente: faça indução em usando a regra de Pascal.) ∎
Exemplo 2.17
Duas especializações clássicas: recupera ; , dá para : entre os subconjuntos de um conjunto não vazio, exatamente metade tem cardinalidade par.
Exemplo 2.18 (Uma identidade, duas demonstrações)
A especialização , do teorema binomial diz que
Eis a mesma identidade sem álgebra nenhuma. O lado direito conta as palavras de comprimento sobre o alfabeto (regra do produto). Classifique cada palavra pelo conjunto das posições que carregam uma letra não nula: escolher com custa , e depois cada posição de carrega, independentemente, ou : modos. A regra da soma sobre dá o lado esquerdo. Além do prazer da concordância, as duas demonstrações têm virtudes diferentes: a algébrica se generaliza a qualquer valor de ; a combinatória explica a fórmula e se adapta a restrições (proibir a letra na última posição, digamos) que substituição alguma capta. Manter as duas técnicas em atividade é a habilidade prática que este capítulo treina.
Método 2.19 (Que contagem se aplica?)
Antes de calcular, responda a duas perguntas sobre a seleção: a ordem importa e as repetições são permitidas?
| a ordem importa | a ordem não importa | |
|---|---|---|
| sem repetição | ||
| [6pt] com repetição | (Exercício 2.10) |
Depois, procure uma bijeção ou uma partição que reduza o problema a essas contagens modelo; uma contagem correta é uma bijeção disfarçada.
Observação 2.20 (Armadilhas frequentes em contagem)
- Somar casos não disjuntos. A regra da soma exige uma partição; se configurações podem satisfazer dois casos ao mesmo tempo, elas são contadas duas vezes — o remédio é a inclusão–exclusão (Teorema 2.24) ou uma separação de casos mais fina.
- Ordenado versus não ordenado. Escolher “uma comissão de duas pessoas” é , e não : decida antes de calcular se a seleção carrega uma ordem e, se a contagem ordenada for mais fácil, divida no fim pelo número de ordenações — mas só quando cada objeto não ordenado provier do mesmo número de objetos ordenados.
- Escolhas em várias etapas que não são independentes. A regra do produto exige que o número de opções em cada etapa seja independente das escolhas anteriores. “Escolha um capitão e depois um vice-capitão diferente” é legítimo (); “escolha dois jogadores que se deem bem” não é de modo algum um produto em duas etapas.
- Contagem dupla por construção. Construir cada objeto duas vezes — por exemplo, contar as mãos com pelo menos um ás como (escolher um ás) (escolher mais cartas) — conta em excesso as mãos com dois ases. “Pelo menos” quase sempre pede o complementar (Exemplo 2.9).
Exemplo 2.21 (Uma contagem de pôquer)
De um baralho de cartas, o número de mãos de cartas é . Mãos contendo exatamente um ás: escolha o ás ( modos) e depois cartas entre as que não são ases: . A regra do produto se aplica porque a escolha se divide em etapas independentes.
Método 2.22 (Contagem dupla)
Para demonstrar uma identidade entre duas expressões de contagem, encontre um único conjunto finito que ambos os lados contam — tipicamente um conjunto de pares — e avalie sua cardinalidade em duas ordens diferentes. O protótipo é o lema do aperto de mão: numa festa, conte os pares (pessoa, mão apertada). Somando sobre as pessoas obtém-se (o número de apertos de mão de cada pessoa ); somando sobre os apertos obtém-se o dobro do número de apertos (cada um envolve duas pessoas). Portanto é par — de modo que o número de pessoas que apertaram um número ímpar de mãos é sempre par, conclusão não trivial obtida sem fórmula alguma. O mesmo motor aciona o Exercício 2.12 e várias questões do problema de fim de semana abaixo.
Exemplo 2.23 (O subconjunto médio)
Qual é a cardinalidade média de um subconjunto de um conjunto de elementos, sendo todos os subconjuntos igualmente prováveis? Conte duas vezes os pares com : somando sobre os subconjuntos obtém-se , o total que queremos; somando sobre os elementos obtém-se (cada um dos elementos está em exatamente metade dos subconjuntos — emparelhe cada que contém com ). Portanto
os subconjuntos estão, em média, pela metade — como a simetria (que emparelha os tamanhos e ) também prevê. Duas demonstrações, uma só resposta, e ambas evitam o cálculo direto do Exercício 2.5: um emparelhamento bem escolhido substitui muitas vezes uma identidade.
2.4 Inclusão–exclusão
Teorema 2.24 (Inclusão–exclusão)
Para conjuntos finitos :
Para : .
Demonstração. Fixe um elemento da união e conte a sua contribuição ao lado direito. Seja , de cardinalidade . O elemento é contado uma vez em exatamente quando , com sinal ; sua contribuição total é
pelo Exemplo 2.17. Assim, cada elemento da união é contado exatamente uma vez. ∎
Exemplo 2.25 (Contando os inteiros coprimos)
Quantos inteiros de são coprimos com ? Um inteiro tem um fator comum com exatamente quando é divisível por , ou ; conte então o complementar de , em que reúne os múltiplos de . Dentro de , os múltiplos de somam sempre que divide — sem necessidade de partes inteiras — e , etc. Inclusão–exclusão:
de modo que inteiros são coprimos com . É instrutivo reagrupar o cálculo como um produto:
expandir os três parênteses reproduz exatamente os oito termos com sinal da inclusão–exclusão, um por subconjunto de . Essa forma de produto define a função totiente de Euler, cujo papel aritmético aparece com as congruências do Capítulo 6 e é desenvolvido no volume do segundo ano de graduação.
Exemplo 2.26 (Desarranjos)
Um desarranjo é uma permutação sem ponto fixo. Seja o conjunto das permutações de que fixam ; então , e a inclusão–exclusão conta as permutações com pelo menos um ponto fixo; os desarranjos somam
Como (veja o Capítulo 17), cerca de de todas as permutações são desarranjos, seja qual for .
Observação 2.27 (Onde este capítulo é usado)
Os coeficientes binomiais são os objetos deste capítulo mais reutilizados: eles conduzem o teorema binomial no Capítulo 8 (expansão de ), a fórmula de Leibniz para a -ésima derivada de um produto no Capítulo 14 e os coeficientes das expansões de Taylor no Capítulo 16. As permutações voltam como um grupo — com o sinal construído a partir da contagem das inversões — no Capítulo 7, e o sinal, por sua vez, define os determinantes no Capítulo 22. A inclusão–exclusão e os princípios de contagem são a espinha dorsal finita da probabilidade discreta, desenvolvida no volume do segundo ano de graduação; os números de desarranjos do Exemplo 2.26 são estudados a fundo no problema de fim de semana abaixo.
2.5 Exercícios
Exercício 2.1 ★
Uma placa de veículo é formada por duas letras (A–Z), depois três algarismos e depois duas letras. Quantas placas são possíveis? E quantas sem letra repetida entre as quatro?
Solução
Solução de Exercício 2.1.
Etapas independentes e regra do produto: placas. Com as quatro letras duas a duas distintas, as etapas das letras formam um -arranjo do alfabeto: modos, logo placas.
Exercício 2.2 ★
Quantos anagramas (rearranjos das letras, com ou sem sentido) tem a palavra orange? E banana?
Solução
Solução de Exercício 2.2.
orange tem letras distintas: anagramas. banana tem letras com repetições ( letras a, letras n, letra b): cada anagrama fica determinado pelas posições dos a ( escolhas), depois dos n entre os lugares restantes (), ficando o b com o último lugar: anagramas (equivalentemente, ).
Exercício 2.3 ★
Uma comissão de pessoas é escolhida entre mulheres e homens. Quantas comissões há: no total? com exatamente mulheres? com pelo menos um homem?
Solução
Solução de Exercício 2.3.
Total: . Exatamente mulheres: escolha-as () e homens (): comissões. Pelo menos um homem: complementar de “nenhum homem”, .
Exercício 2.4 ★
Demonstre que, em qualquer grupo de pessoas, duas fazem aniversário no mesmo mês; e que, entre quaisquer inteiros escolhidos em , dois são consecutivos. (Casa dos pombos nas duas vezes: nomeie as casas.)
Solução
Solução de Exercício 2.4.
Aniversários: as casas são os meses; pessoas em casas forçam duas na mesma casa (Corolário 2.3).
Inteiros consecutivos: as casas são os pares , que formam uma partição de . Escolher inteiros coloca dois no mesmo par, e os dois elementos de um par são consecutivos.
Exercício 2.5 ★
Calcule . Sugestão: derive , ou use (demonstre esta igualdade).
Solução
Solução de Exercício 2.5.
Para ,
Somando e reindexando com :
pela Proposição 2.15. (Alternativa: derive e faça .)
Exercício 2.6 ★★
Quantas aplicações estritamente crescentes existem de em ? Deduza o número de aplicações crescentes (não necessariamente estritamente). Sugestão para a segunda contagem: crescente .
Solução
Solução de Exercício 2.6.
Uma aplicação estritamente crescente fica determinada por sua imagem, um -subconjunto de (liste o subconjunto em ordem crescente); reciprocamente, todo -subconjunto dá exatamente uma aplicação desse tipo. Portanto, há aplicações estritamente crescentes.
Se é apenas crescente, ponha . Então é estritamente crescente (entre argumentos consecutivos, ganha e ganha ), com valores em ; e recupera a partir de qualquer estritamente crescente em . Isso é uma bijeção, de modo que há aplicações crescentes.
Exercício 2.7 ★★
(Vandermonde) Demonstre, contando os -subconjuntos de um conjunto repartido em dois blocos de tamanhos e :
Deduza que .
Solução
Solução de Exercício 2.7.
Reparta um conjunto com elementos em blocos ( elementos) e ( elementos). Um -subconjunto de contém certos elementos de () e de ; para fixado há subconjuntos desses, e os casos repartem os -subconjuntos. A regra da soma dá a identidade de Vandermonde.
Com : , usando .
Exercício 2.8 ★★
Quantos inteiros de são divisíveis por , por ou por ? (Inclusão–exclusão; conta os múltiplos de , etc.)
Solução
Solução de Exercício 2.8.
Seja o conjunto dos múltiplos de em , de modo que . Inclusão–exclusão (Teorema 2.24) com , notando que , etc.:
Logo inteiros são divisíveis por , ou .
Exercício 2.9 ★★
Conte as sobrejeções de um conjunto de elementos sobre um conjunto de elementos; depois sobre um conjunto de elementos. Sugestão: conte as aplicações não sobrejetivas com inclusão–exclusão sobre os valores não atingidos.
Solução
Solução de Exercício 2.9.
Sobre elementos: todas as aplicações, exceto as constantes: sobrejeções.
Sobre elementos: por inclusão–exclusão sobre os valores não atingidos, o número de aplicações de um conjunto de elementos num de que deixam de fora pelo menos um valor é ; total de aplicações: ; sobrejeções: . (Verificação: uma sobrejeção de sobre elementos duplica exatamente um valor: escolha o valor duplicado (), o par que é enviado a ele () e uma bijeção para o resto (): .)
Exercício 2.10 ★★
(Estrelas e barras) Demonstre que o número de -seleções de objetos com repetição, ignorando a ordem — equivalentemente, o número de com — é . Sugestão: codifique uma solução como uma fila de estrelas e barras.
Solução
Solução de Exercício 2.10.
Uma solução de em codifica-se como uma fila de estrelas e barras: escreva estrelas, uma barra, estrelas, uma barra, …, terminando com estrelas. Isso é uma bijeção sobre as palavras de comprimento com estrelas e barras, e essas palavras ficam determinadas pelas posições das estrelas: . As seleções com repetição correspondem a soluções da equação ( = número de cópias do objeto ), de modo que a contagem é a mesma.
Exercício 2.11 ★★★
Demonstre em detalhe a fórmula do Exemplo 2.26 para e deduza que (demonstre também esta identidade diretamente, classificando as permutações pelo seu conjunto de pontos fixos).
Solução
Solução de Exercício 2.11.
Com , uma permutação de fixa todo e permuta livremente os outros pontos: . Inclusão–exclusão:
pois há subconjuntos de tamanho . Portanto
Para a segunda identidade: classifique as permutações de pelo seu conjunto de pontos fixos . Para um -subconjunto fixado, as permutações com são exatamente os desarranjos do complementar: delas. Somando sobre as escolhas de para cada : .
Exercício 2.12 ★★★
Para , demonstre por uma contagem dupla de pares (subconjunto, elemento marcado):
Para a segunda: conte pares de elementos marcados, iguais ou não.
Solução
Solução de Exercício 2.12.
Primeira identidade. Conte os pares com () e . Pelo tamanho de : pares. Escolhendo primeiro o elemento marcado: escolhas para e depois um subconjunto qualquer dos elementos restantes para completar : pares.
Segunda identidade. Conte as triplas com (podendo ser ). Pelo tamanho: . Diretamente: ou ( triplas, contagem anterior), ou ( escolhas ordenadas e depois um subconjunto qualquer dos outros elementos: ). Total
2.6 Problema: Desarranjos, ou as cartas trocadas
Problema 2.1
Uma secretária coloca cartas em envelopes endereçados ao acaso: qual é a chance de que ninguém receba a carta certa? Esta questão clássica (Montmort, 1708) leva aos números de desarranjos do Exemplo 2.26. A fórmula de inclusão–exclusão é apenas a jogada de abertura: este problema desenvolve as recorrências que calculam , duas outras demonstrações independentes da fórmula, o notável teorema de que é o inteiro mais próximo de , a distribuição completa dos pontos fixos de uma permutação aleatória e a curiosa aritmética da sequência . Ao longo do problema, denota o número de desarranjos (permutações sem pontos fixos) de , com a convenção (a permutação vazia não tem ponto fixo).
Parte I — Casos pequenos e o censo dos pontos fixos.
- Calcule diretamente, e listando os desarranjos de agrupados pelo valor de . (Você deve encontrar .)
- Para , mostre que o número de permutações de com exatamente pontos fixos é .
- Verifique o censo para : calcule e confira que a soma é . O que é mais provável com quatro cartas: nenhum acerto ou exatamente um?
Por contagem dupla (Método 2.22) dos pares com , mostre que
em média, uma permutação aleatória tem exatamente um ponto fixo, seja qual for .
Parte II — Duas recorrências e duas novas demonstrações da fórmula.
Demonstre combinatoriamente, para :
(Classifique os desarranjos de por e depois conforme ou não; no caso , construa uma bijeção com os desarranjos de redirecionando a pré-imagem de para .) Verifique a recorrência numericamente até .
Pondo , deduza da questão 5 que , e conclua a segunda recorrência:
A partir da questão 6, demonstre por indução a fórmula do Exemplo 2.26,
— demonstração inteiramente independente da inclusão–exclusão.
(Inversão binomial) Sejam e duas sequências tais que para todo . Demonstre que
(Estabeleça primeiro a revisão trinomial , e depois use a soma alternada de uma linha do Exemplo 2.17.)
- Aplique a questão 8 à identidade do Exercício 2.11 para obter uma terceira demonstração da fórmula de .
Parte III — O inteiro mais próximo de . Admita nesta parte — a teoria é construída no Capítulo 17 — que , em que , com a estimativa estrita das séries alternadas para todo .
- Mostre que para todo .
- Deduza o teorema central: para todo , é o inteiro mais próximo de . Por que o argumento precisa de ?
- Determine o sinal do erro: mostre que exatamente quando é par. (Localize o primeiro termo desprezado da série alternada.)
- Calcule até com a recorrência da questão 5 e depois confira contra (, ).
- (A probabilidade do chapeleiro) Seja a probabilidade de que uma permutação uniformemente aleatória seja um desarranjo. Mostre que e calcule com cinco casas decimais. Comente: por que a resposta à questão de Montmort é essencialmente independente de — já para uma dúzia de cartas?
Parte IV — A distribuição dos pontos fixos.
Fixe . Mostre que a proporção das permutações de com exatamente pontos fixos satisfaz
(Esses valores-limite, cuja soma é , formam a distribuição de Poisson de parâmetro , objeto central do curso de probabilidade do volume do segundo ano de graduação.)
- Por contagem dupla das triplas , em que são ambos fixados por , mostre que para . Combinado com a questão 4: a média de é , de modo que a “dispersão” (variância) do número de pontos fixos vale — de novo independentemente de , de novo em acordo com a lei de Poisson.
- Calcule a proporção das permutações que têm pelo menos um ponto fixo para (em frações e com quatro casas decimais) e compare com .
- Mostre diretamente — sem precisar de limites — que , e deduza que as probabilidades da questão 14 oscilam: e , os valores pares (resp. ímpares) decrescendo (resp. crescendo) rumo ao limite comum .
- (Amigo oculto) pessoas tiram, cada uma, um nome de um chapéu; se alguém tira o próprio nome, o sorteio inteiro é reiniciado do zero. Usando o fato usual de que um evento de probabilidade exige em média tentativas, estime o número médio de sorteios completos necessários e conclua que o procedimento custa cerca de sorteios em média, essencialmente de modo independente de .
Parte V — A aritmética de , e uma síntese.
- Refine a questão 5: mostre que, para fixado, os desarranjos de com somam exatamente , independentemente de . Deduza que divide para todo .
- Demonstre que é ímpar se, e somente se, é par. (Trabalhe módulo na recorrência da questão 6.)
- Demonstre que para e confira a congruência no último algarismo de .
- Mostre, a partir da questão 6, que para , de modo que a razão entre números de desarranjos consecutivos é quase exatamente ; explique em uma frase por que isso é coerente com .
- Onde exatamente este problema usou: (i) as regras do produto e da soma; (ii) a contagem dupla; (iii) o teorema binomial; (iv) a estimativa admitida das séries alternadas? Uma frase para cada.
- Síntese. A fórmula de tem agora três demonstrações (inclusão–exclusão, recorrência mais indução, inversão binomial). Num parágrafo curto, compare o que cada demonstração explica: qual delas calcula mais rápido, qual se generaliza a outras contagens de pontos fixos e qual revela por que aparece num problema sobre envelopes.
Solução
Solução de Problema 2.1.
1. (a única permutação fixa ), (a troca), (em notação de uma linha: e ). Para , agrupe por : com os desarranjos são , , ; com : , , ; com : , , . Três em cada grupo: .
2. Uma permutação com exatamente pontos fixos fica determinada pela escolha do seu conjunto de pontos fixos ( modos) junto com a sua restrição ao complementar, que deve ser uma permutação de pontos sem ponto fixo ( modos). As duas escolhas são independentes e a correspondência é bijetiva: .
3. ; ; ; (três pontos fixos forçam um quarto); . Soma: . Nenhum acerto ( casos) supera exatamente um acerto ( casos) — por pouco.
4. Conte os pares com . Para fixado, as permutações que fixam são as permutações dos outros pontos: delas. Portanto, o número de pares é , e esse número é também . Dividindo pelo número de permutações: o número médio de pontos fixos é exatamente , para todo .
5. Seja um desarranjo de e : valores possíveis. Caso : os pontos e se trocam, e restrito aos pontos restantes é um desarranjo arbitrário deles: possibilidades. Caso : seja ; aqui e . Defina em por para e . Então é uma permutação de (o valor foi substituído pelo valor , que estava faltando), e é um desarranjo: e nos demais pontos. Reciprocamente, a partir de um desarranjo de e do valor , recupera-se pondo , e nos demais pontos: uma bijeção, o que dá possibilidades. Somando sobre : . Numericamente: , .
6. Da questão 5, , logo
Como , a indução dá , isto é, para .
7. Indução em . Base: . Passo: supondo ,
que é a fórmula. Nenhuma inclusão–exclusão foi usada: apenas a recorrência combinatória da questão 5.
8. Revisão trinomial, por fatoriais:
Agora substitua e troque as duas somas finitas:
A soma interna é a expansão de (teorema binomial, Teorema 2.16): ela se anula para e vale para . Só sobrevive, e o lado direito é , como afirmado.
9. Pela simetria , a identidade do Exercício 2.11 reescreve-se como . Aplique a questão 8 com e :
reindexando por : a fórmula pela terceira vez.
10. (questão 7), logo
11. Para , , e a desigualdade da questão 10 é estrita: está a distância de , logo é o único inteiro mais próximo. Para a estimativa só dá distância e, de fato, a afirmação falha aí: tem como inteiro mais próximo , ao passo que .
12. é uma série alternada com termos estritamente decrescentes, de modo que o seu sinal é o sinal do primeiro termo . Portanto, tem o sinal de : para par, e ; para ímpar, .
13. ; ; ; . Verificação: , cujo inteiro mais próximo é — e , como a questão 12 prevê para par.
14. . Para : (cinco casas decimais), contra ; a diferença é inferior a . A estimativa decresce tão depressa que a probabilidade fica fixada em muitas casas decimais já para uma dúzia de cartas: a resposta “cerca de ” é, para todo efeito prático, independente de — a famosa surpresa do problema.
15. Pela questão 2 e por :
quando , com fixado, pois . Os valores-limite () são os pesos da distribuição de Poisson de parâmetro .
16. Conte as triplas com , , . Escolhendo primeiro o par ordenado: modos; as permutações que fixam e são as permutações dos pontos restantes: delas. Total: . Somando antes sobre , conta-se, para cada , os pares ordenados de pontos fixos distintos: . Daí a identidade enunciada; dividindo por , a média de é , logo a média de é e a variância é .
17. As proporções : para , ; para , ; para , . Todas a menos de um por cento de , oscilando em torno desse valor.
18. Diretamente:
e o parêntese é . Para par a diferença é negativa: , logo ; para ímpar ela é positiva: Combinado com a questão 12 (os pares acima de , os ímpares abaixo) e com a questão 14 (a distância a tende a ): as duas escadas comprimem entre elas.
19. Um sorteio completo é uma permutação aleatória uniforme, válido quando é um desarranjo: probabilidade . Pelo fato citado, o número médio de sorteios até o sucesso é , e a questão 14 dá a menos de um erro já desprezível para pequeno. Assim, um amigo oculto com reinícios custa em média cerca de sorteios completos — tenha o escritório pessoas ou .
20. Fixe e aplique a classificação da questão 5 ao valor . Se : os pontos restantes carregam um desarranjo arbitrário, modos. Se : redirecione a pré-imagem para exatamente como na questão 5; isso é uma bijeção com os desarranjos dos pontos : modos. Total , o mesmo para todo . Somando sobre os valores de : , o que exibe o fator : .
21. Afirmação: é ímpar se, e somente se, é par. Indução usando , isto é, . Base: é par, e é ímpar: a afirmação vale. Se é par, é par e : ímpar, como afirmado. Se é ímpar, então é par, logo é ímpar pela hipótese, e : par. A indução se fecha.
22. Reduzir módulo mata o primeiro termo: . Para : e, de fato, termina no algarismo .
23. Para , e a divisão da recorrência da questão 6 por dá , com e tendendo rapidamente a . Coerência: se , então — o fator se cancela na razão, e a recorrência confirma isso com precisão .
24. (i) As regras do produto e da soma sustentam toda contagem: as questões 2 e 5 repartem conjuntos de permutações em etapas independentes. (ii) A contagem dupla deu a média (questão 4) e a variância (questão 16) do número de pontos fixos sem fórmula alguma para . (iii) O teorema binomial avaliou a soma interna alternada que faz a inversão binomial funcionar (questão 8). (iv) A estimativa das séries alternadas converteu a soma exata mas opaca no enunciado transparente “inteiro mais próximo de ” (questões 10–14).
25. A inclusão–exclusão (Exemplo 2.26 e Exercício 2.11) é a demonstração conceitual: ela explica a soma alternada como correções de contagem excessiva e se generaliza literalmente à contagem dos elementos que evitam qualquer família de conjuntos “ruins”. A via da recorrência (questões 5–7) é a que calcula mais rápido — tempo linear, aritmética inteira exata, sem fatoriais — e é a fonte dos fatos aritméticos da Parte V. A inversão binomial (questões 8–9) insere a fórmula numa transformada geral que reaparecerá sempre que dois sistemas triangulares de identidades se defrontarem. E o aparecimento de é melhor explicado pela própria fórmula: a proporção de desarranjos é a soma parcial da série de , de modo que os envelopes de Montmort já calculavam o número três décadas antes da notação de Euler.