{"id":2702,"date":"2021-03-06T17:32:37","date_gmt":"2021-03-06T20:32:37","guid":{"rendered":"https:\/\/www.blogs.unicamp.br\/zero\/?p=2702"},"modified":"2023-08-25T20:12:34","modified_gmt":"2023-08-25T23:12:34","slug":"em-xadrez-infinito-seu-rei-sempre-estara-na-mira-de-um-bispo","status":"publish","type":"post","link":"https:\/\/www.blogs.unicamp.br\/zero\/2702\/","title":{"rendered":"Em xadrez infinito, seu rei sempre estar\u00e1 na mira de um bispo"},"content":{"rendered":"\n<p class=\" eplus-wrapper\">Pense num xadrez convencional exceto pelo fato dele n\u00e3o ter pe\u00f5es e ter dimens\u00f5es horizontal e vertical infinitas. <\/p>\n\n\n\n<p class=\" eplus-wrapper\">Mas diante tantos tipos de infinitos, vamos dizer que no sentido horizontal eles sejam equivalentes aos n\u00fameros Inteiros, com a posi\u00e7\u00e3o do rei preto como o 0. \u00c0 direita dele (sentido da rainha) temos os n\u00fameros Inteiros positivos, e \u00e0 esquerda com rei preto os n\u00fameros Inteiros negativos.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">J\u00e1 no sentido vertical tamb\u00e9m vamos usar os n\u00fameros inteiros como modelo, imaginemos a linha do rei preto como -1, e todas as linhas para frente dessa linha como -2, -3, -4, &#8230; at\u00e9 -\u221e. De forma an\u00e1loga, o rei branco encontra-se na linha 1, e todas as linhas para frente dele como 2, 3, 4, &#8230;, at\u00e9 \u221e.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Ent\u00e3o por exemplo, se avan\u00e7amos o rei preto em uma casa, ele ocupar\u00e1 a posi\u00e7\u00e3o {horizontal(0), vertical(-1)}. Se avan\u00e7armos duas casas o rei branco, ele ocupar\u00e1 a posi\u00e7\u00e3o {horizontal(0), vertical(2)}.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Assim, podemos descrever qualquer posi\u00e7\u00e3o em rela\u00e7\u00e3o \u00e0s pe\u00e7as brancas ou \u00e0s pe\u00e7as pretas. <\/p>\n\n\n\n<p class=\" eplus-wrapper\">Vamos assumir que cada jogador tem apenas um rei e uma rainha, mas que o padr\u00e3o bispo-cavalo-torre se repete nas infinitas casas horizontais \u00e0 direita e \u00e0 esquerda, como mostro na figura abaixo.<\/p>\n\n\n\n<figure class=\" wp-block-image aligncenter size-large eplus-wrapper\"><img fetchpriority=\"high\" decoding=\"async\" width=\"993\" height=\"503\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/03\/EXEMPLO-2.png\" alt=\"\" class=\"wp-image-2729\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/03\/EXEMPLO-2.png 993w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/03\/EXEMPLO-2-300x152.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/03\/EXEMPLO-2-768x389.png 768w\" sizes=\"(max-width: 993px) 100vw, 993px\" \/><\/figure>\n\n\n\n<p class=\" eplus-wrapper\">Como as casas seguem o padr\u00e3o casa-preta e casa-branca, e temos que o conjunto \u00e9 limitado verticalmente, a quantidade de casas verticais \u00e9 dada por 2N onde N \u00e9 um n\u00famero Natural t\u00e3o grande quanto se queira.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Considerando as regras usuais do xadrez, temos que \u00e9 imposs\u00edvel cavalos e reis chegarem em posi\u00e7\u00f5es referentes ao outro lado. Por exemplo, o rei branco movimentando-se para frente por K movimentos, estar\u00e1 no m\u00e1ximo na posi\u00e7\u00e3o vertical(K+1), para qualquer K teremos sempre podemos tomar um N maior, logo, cruzar a &#8220;divis\u00f3ria&#8221; vertical do tabuleiro para essas pe\u00e7as \u00e9 imposs\u00edvel em um n\u00famero finito de movimentos.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Por outro lado, torres, bispos e rainhas podem se mover uma quantidade &#8220;qualquer&#8221; de pe\u00e7as, chamemos de X, assim, para qualquer N podemos tomar X &gt; (2N &#8211; c), onde c \u00e9 um n\u00famero Natural. Desse modo, essas pe\u00e7as podem cruzar a divis\u00f3ria vertical do tabuleiro. <\/p>\n\n\n\n<p class=\" eplus-wrapper\">Por exemplo, imagine a torre do rei preto localizada na posi\u00e7\u00e3o {horizontal(4), vertical(-1)};<br>Avan\u00e7amos a torre {horizontal(4), vertical(-1)} &#8211; move para &#8211; {horizontal(4), vertical(-10)};<br>Avan\u00e7amos a torre {horizontal(4), vertical(-10)} &#8211; move para &#8211; {horizontal(6), vertical(-10)};<br>*<em>Agora que temos a torre preta em frente a um cavalo branco<\/em>*<br>Avan\u00e7amos a torre {horizontal(6), vertical(-10)} &#8211; move para {horizontal(6), vertical(1)}.<br><em>*Ou seja, a torre preta, avan\u00e7ou X casas na vertical, no qual X \u00e9 igual \u00e0 (2N &#8211; 10)*<\/em> eliminando o cavalo branco.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">At\u00e9 ai tudo bem, podemos imaginar algumas jogadas na vertical e na horizontal. Por\u00e9m, o que pensar dos bispos? Se um bispo se move X casas na diagonal onde \u00e9 que ele vai parar?<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Por exemplo, suponha que o rei branco est\u00e1 na posi\u00e7\u00e3o {horizontal(0), vertical(1)}, o rei branco estar\u00e1 sendo amea\u00e7ado por algum bispo preto? Temos 3 op\u00e7\u00f5es para analisar:<\/p>\n\n\n\n<ol class=\"eplus-wrapper wp-block-list\">\n<li class=\" eplus-wrapper\">Nenhum bispo amea\u00e7a o rei;<\/li>\n\n\n\n<li class=\" eplus-wrapper\">Um bispo amea\u00e7a o rei;<\/li>\n\n\n\n<li class=\" eplus-wrapper\">Dois bispos amea\u00e7am o rei;<\/li>\n<\/ol>\n\n\n\n<p class=\" eplus-wrapper\">Supondo que nenhum bispo encontra-se na posi\u00e7\u00e3o horizontal(2N) ou (-2N). Mas as posi\u00e7\u00f5es dos bispos \u00e9 dada por:<\/p>\n\n\n\n<p class=\" has-text-align-center eplus-wrapper\">&#8230; -18, -15, -12, -9, -6, -3, 2, 5, 8, 11, 14, 17 &#8230;<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Analisando essas posi\u00e7\u00f5es em valor absoluto, temos:<\/p>\n\n\n\n<p class=\" has-text-align-center eplus-wrapper\">2, 3, 5, 6, 8, 9, 11, 12, 14, 15, 17, 18, &#8230; <\/p>\n\n\n\n<p class=\" eplus-wrapper\">Expressando essas posi\u00e7\u00f5es em forma alg\u00e9brica, as posi\u00e7\u00f5es horizontais em m\u00f3dulo maiores que 0 onde n\u00e3o teremos nenhum bispo ser\u00e1 dada por (3B-2), onde B \u00e9 um n\u00famero Natural maior que 0.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Assim, para 2N casas verticais onde N \u00e9 um Natural, podemos reescrever como 2N = 3B-2, logo, quando N = (3B-2)\/2, nenhum bispo estar\u00e1 amea\u00e7ando o rei branco. <\/p>\n\n\n\n<p class=\" eplus-wrapper\">Mas como N \u00e9 um Natural qualquer, ent\u00e3o deve existir N tal que N \u2260 (3B-2)\/2. Assim, descartamos a primeira op\u00e7\u00e3o (nenhum bispo amea\u00e7a o rei).<\/p>\n\n\n\n<p class=\" has-text-align-left eplus-wrapper\">Agora se supomos que dois bispos amea\u00e7am o rei, ent\u00e3o N = (3B-1)\/2 e N = 3B\/2 para qualquer N. Se isso fosse verdade, ent\u00e3o:<\/p>\n\n\n\n<p class=\" has-text-align-center eplus-wrapper\"><br>(3B-1)\/2 = 3B\/2, <br>mas isso implicaria que,<br>3B &#8211; 1 = 3B<br>mas chegar\u00edamos que<br>-1 = 0<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Ou seja, essa alternativa seria tamb\u00e9m absurda.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">Por fim, chegamos que independente do valor de N, existir\u00e1 um bispo apontando para o rei branco.<\/p>\n\n\n\n<p class=\" eplus-wrapper\">De forma ainda mais assustadora, sempre haver\u00e1 um bispo apontando para o rei branco. Pois mesmo que esse bispo espec\u00edfico ataque e morra, sempre poderemos escolher um outro bispo cujo N = (3B-1)\/2 ou N = 3B\/2, de modo que esteja apontando exatamente para o rei branco. Isso pois N \u00e9 um Natural qualquer t\u00e3o grande quanto quisermos.<\/p>\n\n\n\n<p class=\" has-text-align-center eplus-wrapper\">Imagem de capa adaptada de <a href=\"https:\/\/pixabay.com\/pt\/users\/rperucho-7689351\/?utm_source=link-attribution&amp;utm_medium=referral&amp;utm_campaign=image&amp;utm_content=4209283\">Ramon Perucho<\/a> por <a href=\"https:\/\/pixabay.com\/pt\/?utm_source=link-attribution&amp;utm_medium=referral&amp;utm_campaign=image&amp;utm_content=4209283\">Pixabay<\/a><\/p>\n\n\n\n<hr class=\" wp-block-separator has-css-opacity eplus-wrapper\" \/>\n\n\n\n<p class=\" has-text-align-left eplus-wrapper\">Como referenciar este conte\u00fado em formato ABNT (baseado na norma NBR 6023\/2018):<\/p>\n\n\n\n<p class=\" eplus-wrapper\">SILVA, Marcos Henrique de Paula Dias da. Em xadrez infinito, seu rei sempre estar\u00e1 na mira de um bispo. <em>In<\/em>: UNIVERSIDADE ESTADUAL DE CAMPINAS. <strong><strong><a href=\"https:\/\/www.blogs.unicamp.br\/zero\/\" target=\"_blank\" rel=\"noreferrer noopener\">Zero &#8211; Blog de Ci\u00eancia da Unicamp<\/a><\/strong>. <a href=\"https:\/\/www.blogs.unicamp.br\/zero\/category\/v-5-ed-1\/\" target=\"_blank\" rel=\"noreferrer noopener\">Volume 5. Ed. 1. 1\u00ba semestre de 2021<\/a><\/strong>. Campinas, 06 mar. 2021. Dispon\u00edvel em: <a href=\"https:\/\/www.blogs.unicamp.br\/zero\/2702\/\" target=\"_blank\" rel=\"noreferrer noopener\">https:\/\/www.blogs.unicamp.br\/zero\/2702\/<\/a>. Acesso em: &lt;data-de-hoje&gt;.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Em um tabuleiro infinito, seu rei nunca estar\u00e1 realmente seguro da amea\u00e7a dos bispos.<\/p>\n","protected":false},"author":434,"featured_media":2725,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"pgc_sgb_lightbox_settings":"","_vp_format_video_url":"","_vp_image_focal_point":[],"footnotes":""},"categories":[1217],"tags":[],"class_list":["post-2702","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-v-5-ed-1"],"jetpack_featured_media_url":"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/03\/capa.jpg","_links":{"self":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/2702","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/users\/434"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/comments?post=2702"}],"version-history":[{"count":16,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/2702\/revisions"}],"predecessor-version":[{"id":5283,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/2702\/revisions\/5283"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media\/2725"}],"wp:attachment":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media?parent=2702"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/categories?post=2702"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/tags?post=2702"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}