tag:blogger.com,1999:blog-444408592833092365.post8587257598178768540..comments2023-06-29T04:02:58.043-06:00Comments on México rumbo a la IMO: Pista para el Problema del Dia 23 de mayoDavid (sirio11)http://www.blogger.com/profile/13765612869477578855noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-444408592833092365.post-70469288685062958202010-05-30T13:30:32.355-05:002010-05-30T13:30:32.355-05:00Las fracciones continuas te dan una manera de apro...Las fracciones continuas te dan una manera de aproximar irracionales.<br /><br />Por ejemplo, encontremos la fracción continua de la raíz cuadrada de 2.<br /><br />Para facilitar notación, escribire a = raíz de 2.<br />Nota que raíz de 2 es mayor a 1 y menor a 2. Es decir 1 < a < 2.<br /><br />Entonces a = 1 + a-1 = 1 + (a-1)(a+1)/(a+1) = 1 + (a^2-1)/(a+1) = 1 + 1/(a+1) = 1 + 1/(2 + a-1) = 1 + 1/(2 + 1/(2 + ...)<br /><br />Entonces encontramos la fracción continua de a.<br />Ahora si te paras en cualquier momento, encuentras fracciones aproximadas a 2. Llamemoslas p_k/q_k.<br /><br />p_1/q_1 = 1<br />p_2/q_2 = 1 + 1/2 = 3/2<br />p_3/q_3 = 1 + 1/(2+1/2) = 7/5<br />p_4/q_4 = 1 + 1/(2+1/(2+1/2)) = 17/12<br />p_5/1_5 = 41/29<br />p_6/q_6 = 99/70<br /><br />Y así te la llevas. A estas fracciones las llamamos "convergentes de la fracción continua de a".<br /><br />Ahora mencionaré un par de teoremas poderosos:<br /><br />Teorema 1: La siguiente desigualdad se cumple:<br />|a - p_k/q_k| < 1/(q_k q_{k+1})<br />|a - p_k/q_k| > 1/(q_k (q_k + q_{k+1}))<br /><br />En particular |a - p_k/q_k| < 1/q_k^2.<br /><br />Teorema 2: Si x es un número real y |x - p/q| < 1/(2q^2), entonces p/q es una convergente de la fracción continua de x.<br /><br /><br />Nota que puedes usar estos dos teoremas para acotar cuando tienes que k*a está cerca de un entero (para k entero).<br />Ejemplo si sabemos que |k*a - z| < 1/100 para algún entero z, entonces |a - z/k| < 1/k*100.<br />Si k es de tal manera que 1/(k*100) < 1/(2 k^2), es decir k < 50, entonces sabemos que z/k es una convergente de a. Y pues puedes usar esto para decir, el máximo k tal que z/k es convergente y k < 50 es 41/29. En este caso |a - 41/29| > 1/(q_k*(q_k+q_{k+1}) = 1/(29*(29+70)) = 1/(29*99).<br />Por lo tanto |29a - 41| > 1/99. Lo cual nos lleva a una contradicción (porque habíamos asumido que |k*a-z| < 1/100 con k < 50. Pero 1/99 > 1/100 así que tenemos una contradicción y concluimos que k>=50 es necesario para que |k*a - z| < 1/100.<br /><br />Espero esto te haya ayudado, si está confusa la notación, lo puedo escribir en latex más tarde.Enrique Treviñohttps://www.blogger.com/profile/08421794717794616014noreply@blogger.comtag:blogger.com,1999:blog-444408592833092365.post-82245192317329410642010-05-30T00:26:36.056-05:002010-05-30T00:26:36.056-05:00Hola,
Yo no estoy seguro de saber cómo usar fracci...Hola,<br />Yo no estoy seguro de saber cómo usar fracciones continuas para lo de la cota, de hecho nunca he usado fracciones continuas, para ningún problema. Podrías poner algunos ejemplos sencillos en los que podamos aplicar fracciones continuas? Para más o menos ver cómo es el método.Anonymoushttps://www.blogger.com/profile/05794432469421501329noreply@blogger.com