{"id":195622,"date":"2023-06-23T06:57:52","date_gmt":"2023-06-23T09:57:52","guid":{"rendered":"http:\/\/clubes.obmep.org.br\/blog\/?page_id=195622"},"modified":"2023-06-25T22:19:13","modified_gmt":"2023-06-26T01:19:13","slug":"desafio-prova-sem-palavras-2-ss","status":"publish","type":"page","link":"https:\/\/clubes.obmep.org.br\/blog\/desafio-prova-sem-palavras-2-ss\/","title":{"rendered":".Desafio: Prova sem palavras (2)"},"content":{"rendered":"<p style=\"margin:10px\">\n<div class=\"g1n\" style=\"line-height:25px;padding-bottom:15px\">\n<p class=\"tit\" style=\"line-height:25px;margin:10px\">Problema<br \/>\n<span style=\"font-size:12px;color:#0000FF\"> (A partir da 1\u00aa s\u00e9rie do E. M.)<\/span><\/p>\n<hr style=\"height:1px; width:100%;background-color:#800000; margin-top: 10px; margin-bottom: 20px;border: 0 none\"\/>\nAs figuras a seguir s\u00e3o uma prova sem palavras de que [tex]\\sqrt{2} [\/tex] \u00e9 irracional:<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2021\/01\/Prova-sem-Palavras.png\" style=\"border:none\"  alt=\"\" width=\"591\" height=\"149\" class=\"aligncenter size-full wp-image-175610\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2021\/01\/Prova-sem-Palavras.png 591w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2021\/01\/Prova-sem-Palavras-300x76.png 300w\" sizes=\"auto, (max-width: 591px) 100vw, 591px\" \/><\/p>\n<hr style=\"height:3px; width:100%;background-color:#800000; margin-top: 10px; margin-bottom: 20px;border: 0 none\"\/>\n<strong>Vamos transformar essas figuras em uma prova com palavras!<\/strong><\/p>\n<p style=\"margin:10px\">\n<p><strong>(a)<\/strong> Na Figura 1, vemos um quadrado branco e dois quadrados rosa claro iguais sendo relacionados geometricamente.<br \/>\nConsiderando [tex]m[\/tex] o comprimento do lado do quadrado maior e [tex]n[\/tex] o comprimento dos lados dos quadrados menores,<strong> mostre que [tex]\\dfrac{m}{n}=\\sqrt{2}[\/tex]<\/strong>.<\/p>\n<p style=\"margin:10px\">\n<p><strong>(b)<\/strong> Na Figura 2, vemos dois quadrados rosa claro iguais se sobrepondo no interior de um quadrado branco. Com isso, obt\u00eam-se dois quadradinhos brancos e um quadrado rosa escuro, como ilustra a imagem.<br \/>\nConsiderando que [tex]m[\/tex] e [tex]n[\/tex] s\u00e3o, respectivamente, os comprimentos dos lados do quadrado maior e dos dois quadrados rosa claro, <strong>encontre, em termos de [tex]m[\/tex] e [tex]n[\/tex], as medidas dos lados dos quadradinhos brancos e do quadrado rosa escuro.<\/strong><\/p>\n<p style=\"margin:10px\">\n<p><strong>(c)<\/strong> <strong>Utilizando a prova sem palavras acima, prove que [tex]\\sqrt{2}[\/tex] \u00e9 irracional. <\/strong><\/p>\n<p style=\"text-align:right; font-size:12px; margin-top:-20px; margin-bottom:-10px;\">(Adaptado da <strong>OPM <\/strong>2010)<\/p>\n<\/div>\n<p style=\"margin:40px\">\n<div class=\"g1n\" style=\"line-height:28px;\">\n<p class=\"tit\" style=\"line-height:28px;margin:10px\">Solu\u00e7\u00e3o<\/p>\n<hr style=\"height:1px; width:100%;background-color:#800000; margin-top: 1px; margin-bottom: 20px;border: 0 none\"\/>\n<strong>(a)<\/strong>  Sejam [tex]m[\/tex] e [tex]n[\/tex] as medidas dos lados do quadrado maior e dos quadrados menores, respectivamente, da Figura 1.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/05\/n007.png\" style=\"border:none\" alt=\"\" width=\"455\" height=\"168\" class=\"aligncenter size-full wp-image-190826\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/05\/n007.png 455w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/05\/n007-300x111.png 300w\" sizes=\"auto, (max-width: 455px) 100vw, 455px\" \/><br \/>\nA igualdade ilustrada na Figura 1, nos permite concluir que [tex]m^2=n^2+n^2[\/tex]; assim, [tex]m^2=2n^2\\,.[\/tex]<br \/>\nExtraindo a raiz quadrada de ambos os lados da igualdade  [tex]m^2=2n^2[\/tex], como temos medidas positivas, obtemos [tex]m=\\sqrt{2}\\,n[\/tex], ou seja, [tex]\\boxed{\\dfrac{m}{n}=\\sqrt{2}}\\,.[\/tex]<\/p>\n<p style=\"margin:10px\">\n<p><strong>(b)<\/strong> Sejam [tex]m[\/tex] e [tex]n[\/tex], respectivamente, as medidas dos lados do quadrado maior e dos quadrados coloridos de rosa claro que aparecem na Figura 2.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n008.png\"  style=\"border:none\"  alt=\"\" width=\"130\" height=\"143\" class=\"aligncenter size-full wp-image-194344\" \/><br \/>\n Como a medida do lado do quadrado externo \u00e9 [tex]m[\/tex] e a de cada quadrado rosa claro \u00e9 [tex]n[\/tex], ent\u00e3o a  medida do lado dos quadradinhos brancos \u00e9 [tex]\\boxed{m-n}\\,.[\/tex]<br \/>\nAgora, sendo [tex]x[\/tex] a medida do lado do quadrado rosa escuro, utilizando a figura abaixo conclu\u00edmos que [tex](m-n)+x+(m-n)=m[\/tex]. Observe.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/05\/Prova-sem-Palavras-2.png\" style=\"border:none\"  alt=\"\" width=\"200\" height=\"105\" class=\"aligncenter size-full wp-image-189833\" \/><br \/>\nAssim, segue que:<br \/>\n[tex]\\qquad m-n+x+m-n=m[\/tex]<br \/>\n[tex]\\qquad2m-2n+x=m[\/tex]<br \/>\n[tex]\\qquad x=m-2m+2n[\/tex]<br \/>\n[tex]\\qquad\\boxed{\\textcolor{red}{x=2n-m}}.[\/tex]<\/p>\n<p style=\"margin:10px\">\n<p><strong>(c)<\/strong> <strong>Estrat\u00e9gia:<\/strong> Vamos provar que [tex]\\sqrt{2}[\/tex] \u00e9 irracional &#8220;por absurdo&#8221;, ou seja, vamos supor que [tex]\\sqrt{2}[\/tex] seja racional e chegar a uma contradi\u00e7\u00e3o. Com isso podemos concluir que a suposi\u00e7\u00e3o inicial que fizemos sobre a racionalidade de [tex]\\sqrt{2}[\/tex] est\u00e1 errada e, portanto, [tex]\\sqrt{2}[\/tex] \u00e9 irracional.<\/p>\n<p>Suponhamos, por absurdo, que [tex]\\sqrt{2}[\/tex] seja racional. Ent\u00e3o existem inteiros positivos [tex]m[\/tex] e [tex]n[\/tex], primos entre si, tais que [tex]\\dfrac{m}{n}=\\sqrt{2}[\/tex].<br \/>\nSabemos que<br \/>\n[tex]\\qquad \\qquad 1 \\lt \\sqrt{2}\\approx 1,4142 \\lt 2[\/tex];[tex] \\qquad \\qquad \\textcolor{#800000}{(i)}[\/tex]<br \/>\nassim, como [tex]\\sqrt{2}\\gt 1[\/tex], segue que [tex]\\dfrac{m}{n}\\gt 1[\/tex], ou seja, podemos concluir que [tex]m \\gt n[\/tex].<br \/>\nDessa forma, \u00e9 poss\u00edvel construir dois quadrados na cor rosa, ambos com lados medindo [tex]n[\/tex], no interior de um quadrado branco com lados medindo [tex]m[\/tex], de tal forma que: <\/p>\n<ul>\n<li>fixamos o v\u00e9rtice superior direito de um dos quadrados coloridos de rosa no v\u00e9rtice superior direito do quadrado branco; <\/li>\n<li>fixamos o v\u00e9rtice inferior esquerdo do segundo quadrado rosa no v\u00e9rtice inferior esquerdo do quadrado branco.<\/li>\n<\/ul>\n<p>Mas precisamos fazer uma an\u00e1lise melhor dos valores [tex]m[\/tex] e [tex]n[\/tex], j\u00e1 que poder\u00edamos, a princ\u00edpio, ter duas situa\u00e7\u00f5es: os quadrados na cor rosa se intersectam ou n\u00e3o.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n018.jpg\"  style=\"border:none\" alt=\"\" width=\"315\" height=\"150\" class=\"aligncenter size-full wp-image-195549\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n018.jpg 315w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n018-300x143.jpg 300w\" sizes=\"auto, (max-width: 315px) 100vw, 315px\" \/><br \/>\nPor [tex]\\textcolor{#800000}{(i)}[\/tex], sabemos que [tex] \\sqrt{2} \\lt 2[\/tex]; ent\u00e3o, [tex]\\dfrac{m}{n} \\lt 2[\/tex] e, portanto, [tex]n \\gt \\dfrac{m}{2}.[\/tex]<br \/>\nPodemos, ent\u00e3o,  afirmar que os quadrados coloridos de rosa constru\u00eddos no interior do quadrado branco se intersectam.<br \/>\nVoc\u00eas podem visualizar geometricamente essa afirma\u00e7\u00e3o, utilizando o applet abaixo, antes de prosseguir com a leitura da solu\u00e7\u00e3o.<\/p>\n<div class=\"g1n\" style=\"border: 2px dashed #800000; text-align:justify; padding: 10px; width:80%; margin-left: auto; margin-right: auto;\" >\n<p style=\"margin:20px;\">Para entender melhor a afirma\u00e7\u00e3o de que os quadrados coloridos de rosa constru\u00eddos no interior do quadrado branco se intersectam pois [tex]n \\gt \\dfrac{m}{2}[\/tex], voc\u00eas podem utilizar o applet abaixo. \u00c9 s\u00f3 movimentar o ponto vermelho para modificar o tamanho do quadrado menor e observar.<br \/>\n<strong>Instru\u00e7\u00f5es<\/strong>:<br \/>\n<strong>(1)<\/strong> Esperem o applet carregar. <span style=\"font-size:12px\">(O aplicativo pode demorar um pouquinho para carregar.)<\/span><br \/>\n<strong>(2)<\/strong> Para movimentar o ponto vermelho, cliquem sobre ele com qualquer bot\u00e3o do mouse, mantenham o mouse pressionado e fa\u00e7am o movimento. (Se voc\u00eas estiverem utilizando um celular ou um tablet, basta tocar levemente no tri\u00e2ngulo e fazer o movimento.)<\/p>\n<p style=\"text-align:center;\"><iframe loading=\"lazy\" scrolling=\"no\" title=\"Prova sem palavras (2)\" src=\"https:\/\/www.geogebra.org\/material\/iframe\/id\/q32htsyd\/width\/520\/height\/401\/border\/800000\/sfsb\/false\/smb\/false\/stb\/false\/stbh\/false\/ai\/false\/asb\/false\/sri\/false\/rc\/false\/ld\/false\/sdz\/false\/ctl\/false\" width=\"520px\" height=\"401px\" style=\"border:0px;\"> <\/iframe><br \/>\n <span style=\"font-size: 14px;\">OBMEP_ srdg, criado com o <a href=\"http:\/\/www.geogebra.org\/\" target=\"_blank\">GeoGebra<\/a><\/span><\/p>\n<\/div>\n<p style=\"margin:20px\">\n<p>Pelo at\u00e9 aqui exposto, se [tex]\\sqrt{2}=\\dfrac{m}{n}[\/tex], com [tex]m[\/tex] e [tex]n[\/tex] inteiros positivos primos entre si, conseguimos construir um quadrado com lados medindo [tex]m[\/tex] e dois quadrados rosa claro, ambos com lados medindo [tex]n[\/tex], posicionados como na Figura 2 do enunciado do problema.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n008.png\"  style=\"border:none\"  alt=\"\" width=\"150\" height=\"143\" class=\"aligncenter size-full wp-image-194344\" \/><br \/>\nDessa forma, temos a seguinte rela\u00e7\u00e3o entre as \u00e1reas dos quadrados que aparecem na figura:<br \/>\n<strong>\u00c1rea do quadrado maior = \u00c1rea dos quadrados rosa claro &#8211; \u00c1rea do quadrado rosa escuro + \u00c1rea dos quadradinhos brancos.<\/strong><br \/>\nVamos utilizar as rela\u00e7\u00f5es estabelecidas no<strong> item (b)<\/strong> e reescrever essa igualdade a partir de [tex]m[\/tex] e [tex]n[\/tex]:<br \/>\n[tex]\\qquad m^2=2n^2-(2n-m)^2+2(m-n)^2.\\qquad \\quad \\textcolor{#800000}{(ii)}[\/tex]<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n011.png\"  style=\"border:none\" alt=\"\" width=\"176\" height=\"143\" class=\"aligncenter size-full wp-image-195574\" \/><\/p>\n<p style=\"margin:10px\">\n<p>Por outro lado, como [tex]\\sqrt{2}=\\dfrac{m}{n}[\/tex], ent\u00e3o [tex]\\textcolor{blue}{m^2=2n^2}[\/tex]. Logo, de [tex]\\textcolor{#800000}{(ii)}[\/tex], segue que:<br \/>\n[tex]\\qquad m^2=\\textcolor{blue}{2n^2}-(2n-m)^2+2(m-n)^2\\\\<br \/>\n\\qquad m^2=\\textcolor{blue}{m^2}-(2n-m)^2+2(m-n)^2\\\\<br \/>\n\\qquad 0=-(2n-m)^2+2(m-n)^2\\\\<br \/>\n\\qquad(2n-m)^2=2(m-n)^2[\/tex]<br \/>\n[tex] \\qquad \\dfrac{(2n-m)^2}{(m-n)^2}=2~[\/tex] (Note que [tex]m\\ne n[\/tex].)<br \/>\n[tex]\\qquad {\\bigg(\\dfrac{2n-m}{m-n}\\bigg)^2}^{~}=2\\\\<br \/>\n \\qquad \\sqrt{\\bigg(\\dfrac{2n-m}{m-n}\\bigg)^2}=\\sqrt{2}\\\\<br \/>\n\\qquad \\bigg|\\dfrac{2n-m}{m-n}\\bigg|=\\sqrt{2}\\,.\\quad \\textcolor{#800000}{(iii)}[\/tex]<\/p>\n<p style=\"margin:10px\">\n<p>Perceba, agora, que [tex]\\dfrac{2n-m}{m-n}\\gt0[\/tex] (pois [tex]\\textcolor{red}{x=2n-m}[\/tex] \u00e9 positivo e [tex]m\\gt n[\/tex]).<br \/>\nEnt\u00e3o, segue de [tex]\\textcolor{#800000}{(iii)}[\/tex], que [tex]\\boxed{\\dfrac{2n-m}{m-n}=\\sqrt{2}}.[\/tex]<br \/>\nMas, por hip\u00f3tese, [tex]\\boxed{\\dfrac{m}{n}=\\sqrt{2}}[\/tex]; assim, [tex]\\dfrac{2n-m}{m-n}=\\dfrac{m}{n}[\/tex], ou seja, as fra\u00e7\u00f5es  [tex]\\dfrac{2n-m}{m-n}~[\/tex] e  [tex]~\\dfrac{m}{n}[\/tex] s\u00e3o equivalentes (representam o mesmo todo).<br \/>\nPara finalizar, vamos analisar a fra\u00e7\u00e3o [tex]\\dfrac{2n-m}{m-n}[\/tex] e, para isso, vamos utilizar os dados do <strong>item (b)<\/strong>, reunidos na \u00faltima figura. Lembrem-se de que todos os n\u00fameros que nela aparecem s\u00e3o positivos, uma vez que s\u00e3o medidas de comprimentos.<\/p>\n<table class=\"bf\" style=\"margin-left:10px;  width: 90%;\">\n<tr  class=\"bf\">\n<td class=\"bf\" style=\"border-right:2px solid #800000;  width: 75%;\"\">\n[tex]\\textcolor{#800000}{(iv)}[\/tex] A fra\u00e7\u00e3o [tex]\\dfrac{2n-m}{m-n}[\/tex] tem numerador e denominador ambos inteiros positivos.<\/p>\n<p style=\"margin:10px\">\n<p>[tex]\\textcolor{#800000}{(v)}[\/tex] Comparando os comprimentos [tex]2n-m~[\/tex] e [tex]~m[\/tex], conclu\u00edmos que [tex]2n-m \\lt m.[\/tex] (Lembre-se de que [tex]n \\gt \\frac{m}{2}.[\/tex])<\/p>\n<p style=\"margin:10px\">\n<p>[tex]\\textcolor{#800000}{(vi)}[\/tex] Comparando os comprimentos [tex]m-n~[\/tex] e [tex]~n[\/tex], conclu\u00edmos que [tex]m-n \\lt n.[\/tex]<\/td>\n<td class=\"bf\" style=\"margin-left:20px\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/06\/n011.png\"  style=\"border:none\" alt=\"\" width=\"176\" height=\"143\" class=\"alignright size-full wp-image-195574\" \/><\/td>\n<\/tr>\n<\/table>\n<p>Mas as afirma\u00e7\u00f5es [tex]\\textcolor{#800000}{(iv)}[\/tex], [tex]\\textcolor{#800000}{(v)}[\/tex] e [tex]\\textcolor{#800000}{(vi)}[\/tex] mostram uma contradi\u00e7\u00e3o, j\u00e1 que [tex]~\\boxed{\\dfrac{2n-m}{m-n}=\\dfrac{m}{n}}~[\/tex] e[tex]~[\/tex] &#8220;[tex]m~[\/tex] e [tex]n[\/tex] s\u00e3o primos entre si&#8221;, ou seja, &#8220;a fra\u00e7\u00e3o [tex]\\dfrac{m}{n}[\/tex] foi simplificada ao m\u00e1ximo&#8221;!<br \/>\n<strong>Conclui-se, ent\u00e3o, que [tex]\\sqrt{2}[\/tex] \u00e9 irracional.<\/strong><\/p>\n<hr style=\"height:1px; width:100%;background-color:#800000; margin-top: 10px; margin-bottom: 15px;border: 0 none\"\/>\n<p class=\"g2\" >Solu\u00e7\u00e3o elaborada pelos <strong>Moderadores do Blog<\/strong>.<\/p>\n<\/div>\n<p style=\"margin:10px\">\n","protected":false},"excerpt":{"rendered":"<p>Problema (A partir da 1\u00aa s\u00e9rie do E. M.) As figuras a seguir s\u00e3o uma prova sem palavras de que [tex]\\sqrt{2} [\/tex] \u00e9 irracional: Vamos transformar essas figuras em uma prova com palavras! (a) Na Figura 1, vemos um quadrado branco e dois quadrados rosa claro iguais sendo relacionados geometricamente. Considerando [tex]m[\/tex] o comprimento do &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/clubes.obmep.org.br\/blog\/desafio-prova-sem-palavras-2-ss\/\">Continue lendo<\/a><\/p>\n","protected":false},"author":255,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-onecolumn.php","meta":{"footnotes":""},"class_list":["post-195622","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/195622","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/users\/255"}],"replies":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/comments?post=195622"}],"version-history":[{"count":29,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/195622\/revisions"}],"predecessor-version":[{"id":195930,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/195622\/revisions\/195930"}],"wp:attachment":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/media?parent=195622"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}