osinsiz023, 22:09 Descomplica | Légica E Raciacinio @? Tipos de Provas Matematicas II Uma prova (demonstragao) por contraposicao se baseia em na relacao ldgica (p> q) & ~q — ~p, isto 6, nega-se a tese e conclui-se que a hipstese também é negada. Exemplo: Se x? é um ntimero par, entao x é par. Prova: Iremos provar que se x nado é um ntimero par, entao x* nao é um numero par. Se x nao é par, entéo é um numero impar, logo como o produto de dois ntimeros impares é um numero impar, entéo x-x = x? é impar.= Observe que as provas por contradig¢ao e por contraposicaéo sao parecidas, pois ambas negam a tese. Entretanto, na demonstragao por contradigao assumimos a hipotese, para chegar em uma contradigao, enquanto na pér contraposigao procuramos negar a hipotese. Uma prova (demonstragao) por construgao demonstra a existéncia de um objeto matematico através de um algoritmo para a construgao dele. Exemplo: Todo segmento de reta AB possui um ponto médio. Prova: Do ponto A, traga-se um segmento de reta ‘AG com direcao e sentido ao interior de um dos semiplanos definidos por AB**. Do ponto B, traga-se um segmento de reta ‘BD commesmo tamanho, diregao e sentido contrario a AC. Traga-se o segmento CD.Os segmentos AB CD intersectam-se em um ponto M. A imagem abaixo ilustra a situagao. hitpsifaulas.descomplica.combriposfpos-graduacao-on-projetos-de-estruturas-984746/turmallogica-e-raciocino-2824"B/aulatipos-de-provas-m.... 17osinsiz023, 22:09 Descomplica | Légica E Raciacinio Afirmamos que 0 ponto M é 0 ponto médio de ‘AB. De fato, tragando os segmentos AB e BC temos que os triangulos CAB e DBA sao congruentes por LAL. Com isto, temos que os triangulos CAD e DBC sao congruentes por LLL e os triangulos AMD e BMC sAo congruentes por ALA. hitpsfaulas.descomplica.com.brposfpos-graduacao-on-projetos-de-estruturas-284746/tuma/logca-e-raciocinlo-2924"8/aulatipos-de-provas-m... 2/7oaros2023, 2.09 Descomptia | Lépia € Racocinio Logo, os segmentos AM e M B témamesma medida, donde M4 ponto médio de AB.o Observe que o ponto M foi construido, assim como os triangulos que foram utilizados na demonstragao. Apesar da construgao neste exemplo ser geométrica, uma prova por construcdo pode ser realizada em outros contextos. Por exemplo, as demonstragdes dos Teoremas de Picard- Lindeléf e do Ponto Fixo de Banach se baseiam na construgao de uma fungao através de uma sequéncia de fungdes com propriedades especificas, e a demonstragao do Teorema do Elipsdide de John baseia- se na construgao de um conjunto que satisfaz as condigdes impostas pelo teorema. Por se tratarem de demonstragdes avangadas e complexas, elas no sero abordadas neste material. Uma prova (demonstragao) por exaustao ou por casos consiste em dividir a demonstragao em um ntimero finito de casos, e provar cada um separadamente. Exemplo: Para todo n € N, vale que n*+2n é divisivel por 3. Prova: Iremos dividir em trés casos: n= 3k: Neste caso temos que: ni? + 2n = 27k? + 6k = 3 - (Ok? + 2k) Logo é divisivel por 3. n= 3k +1: Neste caso observe a seguinte equivaléncia: n? + 2n=n- (n?+2)= (3k + 1)- (3k + 12 +2) hitpsifaulas.descomplica.combriposfpos-graduacao-on-projetos-de-estruturas-984746/turmallogica-e-raciocnlo-2824"B/aulatipos-de-provas-m.... 3/7osinsiz023, 22:09 Descomplica | Légica E Raciacinio Logo: (Bk +17 + 2= 9k? + 3k +14+2=3 (BK +k +1) n= 3k + 2: Neste caso observe a seguinte equivaléncia: n? + 2n = (3k + 2) - (3k + 2 +2) Logo: (3k+2)? + 2 = Ok? + 12k +6 =3 (3k? + 4k +2) Sendo assim divisivel por 3. C.Q.D. Observe ainda que abrangemos uma quantidade infinita de numeros, porém divididos em um numero finito de casos (3 casos). Em uma demonstragao por exaust4o, é comum dividirmos em 2 ou 3 casos, porém € possivel haver milhares ou milhdes de casos. A primeira demonstragao do Teorema das Quatro Cores foi uma prova dividida em 1.936 casos, e a versdo mais refinada, dividida em 600 casos. Uma prova (demonstragao) por forga bruta consiste em demonstrar 0 resultado para todos os casos possiveis. Exemplo: Existem apenas 5 poliedros regulares convexos. Ideia da prova: Um poliedro regular satisfaz as seguintes relagdes: hitpsifaulas.descomplica.com.br/posfpos-graduacao-on-projetos-de-estruturas-984746/turmallogca-e-raciocino-2924"B/aulatipos-de-provas-m....4I7osinsiz023, 22:09 Descomplica | Légica E Raciacinio 2A=n-Fe2A=p-V Logo: awk yom 2 P Como o poliedro é convexo, vale a Relagdo de Euler: V=F-A=24 Fazendo algumas manipulagdes e consideragdes, chega-se que n<6 e que 3s p <6. Testando cada possivel combinagao por forga-bruta, temos que: » n=3ep=3: tetraedro regular n=3ep=4: octaedro regular n=3ep=5: icosaedro regular n=4ep= 3: Cubo (hexaedro regular) n=5ep= 3; Dodecaedro regular As demais combinagées nao geram poliedros, logo, por forga bruta, temos que existem apenas 5 poliedros regulares. = Observe que desta vez foi apresentado apenas a ideia da prova, pois alguns detalhes foram subtraidos, pois fogem do escopo deste material. hitpsfaulas.descomplica.com.briposfpos-graduacao-on-pojetos-de-estruturas-284746/tumma/logica-e-raciocnlo-2924"Blaulatipos-de-provas-m... SIT8105/2023, 2:09 Descomplca | Légica E Raciocinio Todavia, a demonstragao completa pode ser encontrada em qualquer livro de geometria espacial. E importante salientar que uma prova por forca-bruta no consiste em tentar um ntimero finito de casos para um resultado com infinitas possibilidades, entretanto, o método da forga-bruta pode ser utilizado para encontrar contraexemplos e demonstrar que uma conjectura é falsa. Um exemplo desta estratégia foi adotado para resolver o problema booleano dos trios pitagoricos, em 2016. Atividade extra Um método complementar utilizado em demonstragdes matematicas é o uso de ailgoritmos, principalmente em demonstragdes por construgao ou forga-bruta. O filme O Jogo da Imitagao retrata a criaco e a utilizagao do primeiro computador, na 2* Guerra Mundial, responsavel por rodar um algoritmo para quebrar 0 codigo da maquina Enigma, utilizando 0 método de forga-bruta. Aatividade extra recomendada é assistir ao filme O Jogo da Imitagao. Referéncia Bibliografica Dolce, Oswaldo. Pompeo, José N. Fundamentos de Matematica Elementar 9: Geometria Plana. 9° edigao. Editora Atual. Sao Paulo, 2013. hitpsifaulas.descomplica.com.briposfpos-graduacao-en-projetos-de-estruturas-984746/turmallogica-e-raciocno-292416/aulatpos-de-provas-m,8105/2023, 2:09 Descomplca | Légica E Raciocinio Sotomayor, Jorge. Ligées de Equagées Diferenciais Ordinarias. IMPA. 1979. Ferreira, Graziele S. As Provas Mais Usuais em Matematica. TCC (Graduagao em Matematica) — Universidade Estadual do Sudoeste da Bahia. Vitoria da Conquista, p. 43, 2014. Carvalho, Paulo C. P. Introdugao a Geometria Espacial. 4° edigao. SBM. Rio de Janeiro, 2005. Ir para questao hitpsifaulas.descomplica.com.br/posfpos-graduacao-on-projetos-de-estruturas-984746/turmallogica-e-raciocino-2924"B/aulatipos-de-provas-m... 7/7