ËÓÑ ÓÒ ØÙÖ ÓÒ Ø ÓÒ Ò ÑÙÐØ ÔÐ Ø ÓÒ Ó ÓÑÔÐ Ü Ö Ðµ ÒÙÑ Ö ÔÓÐÓÒ Ù Þ ÌÝ Þ arxiv:0807.3010v25 [math.ca] 21 Nov 2008 ØÖ Øº Ï Ù ÓÒ ØÙÖ Ö Ð Ø ØÓ Ø ÓÐÐÓÛ Ò ØÛÓ ÓÒ ØÙÖ Áµ µ ÓÖ ÓÑÔÐ Ü ÒÙÑ Ö x 1,...,x n Ø Ö Ü Ø Ö Ø ÓÒ Ð y 1,...,y n [ 2 n 1, 2 n 1 ] Ù Ø Ø i {1,..., n} (x i = 1 y i = 1) ½µ i, j, k {1,...,n} (x i + x j = x k y i + y j = y k ) ¾µ ÁÁµ µ ÓÖ ÓÑÔÐ Ü Ö Ðµ ÒÙÑ Ö x 1,..., x n Ø Ö Ü Ø ÓÑÔÐ Ü Ö Ðµ ÒÙÑ Ö y 1,...,y n Ù Ø Ø i {1,...,n} y i 2 2n 2 µ i {1,..., n} (x i = 1 y i = 1) µ i, j, k {1,...,n} (x i + x j = x k y i + y j = y k ) µ i, j, k {1,...,n} (x i x j = x k y i y j = y k ) µ Å Ø Ñ Ø ËÙ Ø Ð Ø ÓÒ ¼ ¼ ½¾ ½ ȼ ½ ¼ ½ ¼ à ÝÛÓÖ Ý Ø Ñ Ó Ð Ò Ö ÕÙ Ø ÓÒ Ý Ø Ñ Ó ÔÓÐÝÒÓÑ Ð ÕÙ Ø ÓÒ ÓÐÙØ ÓÒ Û Ø Ñ Ò Ñ Ð ÙÐ Ò ÒÓÖÑ Ð Ø¹ ÕÙ Ö ÓÐÙØ ÓÒ Û Ø Ñ Ò Ñ Ð ÙÐ Ò ÒÓÖÑ ÓÖ ÔÓ Ø Ú ÒØ Ö n Û Ò Ø Ø Ó ÕÙ Ø ÓÒ W n Ý W n = {x i = 1 : 1 i n} {x i + x j = x k : 1 i j n, 1 k n} Ä Ø S W n Ý Ø Ñ ÓÒ Ø ÒØ ÓÚ Ö Cº Ì Ò S ÓÐÙØ ÓÒ Û ÓÒ Ø Ó Ö Ø ÓÒ Ð ÐÓÒ Ò ØÓ [ ( 5) n 1, ( 5) n 1 ] Ì ÓÖ Ñ º ÓÒ ØÙÖ Áµ Ø Ø Ø Ø S ÓÐÙØ ÓÒ Û ÓÒ Ø Ó Ö Ø ÓÒ Ð ÐÓÒ Ò ØÓ [ 2 n 1, 2 n 1 ]º ÓÒ ÖÒ Ò ÓÒ ØÙÖ Áµ Ø Ñ Ø ÓÒ Ý 2 n 1 Ø Ø Ø Ñ Ø ÓÒº ÁÒ Ø Ý Ø Ñ x 1 = 1 x 1 + x 1 = x 2 x 2 + x 2 = x 3 x 3 + x 3 = x 4... x n 1 + x n 1 = x n
¾ ÔÖ ÐÝ ÓÒ ÓÑÔÐ Ü ÓÐÙØ ÓÒ (1, 2, 4, 8,..., 2 n 2, 2 n 1 )º ÓÒ ÖÒ Ò ÓÒ ØÙÖ ÁÁµ ÓÖ n = 1 Ø Ñ Ø ÓÒ Ý 2 2n 2 Ò Ö ÔÐ Ý Ø Ñ Ø ÓÒ Ý 1º ÓÖ n > 1 Ø Ñ Ø ÓÒ Ý 2 2n 2 Ø Ø Ø Ñ Ø ÓÒ º ÓÖ ÓÒ Ø ÒØ Ý Ø Ñ S W n Ø Ö Ü Ø J {1,..., n} Ù Ø Ø Ø Ý Ø Ñ S {x i +x i = x i : i J} ÙÒ ÕÙ ÓÐÙØ ÓÒ (x 1,...,x n ) Ø ÔÖÓÓ Ó Ì ÓÖ Ñ Ò º Á ÒÝ S W n ÙÒ ÕÙ ÓÐÙØ ÓÒ (x 1,...,x n ) Ø Ò Ý Ö Ñ Ö³ ÖÙÐ x i ÕÙÓØ ÒØ Ó ØÛÓ Ø ÖÑ Ò ÒØ º Ë Ò Ø Ø ÖÑ Ò ÒØ Ú ÒØÖ ÑÓÒ 1 0 1 2 x i Ö Ø ÓÒ Ðº ÓÖ ÔÖÓÚ Ò ÓÒ ØÙÖ Áµ Û Ø ÓÙØ ÐÓ Ó Ò Ö Ð ØÝ Û Ò ÙÑ Ø Ø Ø ÕÙ Ø ÓÒ x 1 = 1 ÐÓÒ ØÓ S Ò ÐÐ ÕÙ Ø ÓÒ x i = 1 i > 1µ Ó ÒÓØ ÐÓÒ ØÓ Sº ÁÒ i > 1 Ò Ø ÕÙ Ø ÓÒ x i = 1 ÐÓÒ ØÓ S Ø Ò Û Ö ÔÐ x i Ý x 1 Ò ÐÐ ÕÙ Ø ÓÒ ÐÓÒ Ò ØÓ Sº ÁÒ Ø Û Ý Ø ÔÖÓ Ð Ñ Ö Ù ØÓ Ø Ñ ÔÖÓ Ð Ñ Û Ø Ñ ÐÐ Ö ÒÙÑ Ö Ó Ú Ö Ð ÓÖ Ø Ð Ø Ø ÜØ Ø Ö ÓÒ ØÙÖ º Ì Ö ÓÖ ÓÖ ÔÖÓÚ Ò ÓÒ ØÙÖ Áµ Ø Ù ÒØ ØÓ ÓÒ Ö ÓÒÐÝ Ø Ý Ø Ñ S W n Ó n ÕÙ Ø ÓÒ Û Ø Ý Ø ÓÐÐÓÛ Ò ÓÒ Ø ÓÒ S ÓÒØ Ò Ø ÕÙ Ø ÓÒ x 1 = 1 Ò n 1 ÕÙ Ø ÓÒ Ó Ø ÓÖÑ x i + x j = x k i, j, k {1,..., n}µ Ó Ò Ò Ø ÕÙ Ø ÓÒ x 1 = 0 Ò Ø ÓÖ Ñ ÒØ ÓÒ n 1 ÕÙ Ø ÓÒ Ó Ø ÓÖÑ x i + x j = x k Û Ø Ý Ø Ñ Ó n Ð Ò ÖÐÝ Ò Ô Ò ÒØ ÕÙ Ø ÓÒ º Ý Ø Ó ÖÚ Ø ÓÒ ÖÓÑ Ø Ð Ø ØÛÓ Ô Ö Ö Ô Ø ÓÐÐÓÛ Ò Ó Ò ÅÙÈ Ý Ð ÔÖÓ Ð Ø ÓÒ ÖÑ Ø ÓÒ Ó ÓÒ ØÙÖ Áµº Ì Ú ÐÙ Ó n Ø ÓÖ Ü ÑÔÐ ØÓ 5º Ì ÒÙÑ Ö Ó Ø Ö Ø ÓÒ Ø ÓÖ Ü ÑÔÐ ØÓ 1000º Ï Ù Ø Ð ÓÖ Ø Ñ Û Ø ÖÑ Ò Ø Û Ø ÔÖÓ Ð ØÝ 1º ÓÖ ÒÓØ Ö Ð ÓÖ Ø Ñ ÑÔÐ Ñ ÒØ Ò Å Ø Ñ Ø º Ë Ø Ñ µ Ö Ö Ò ÓÑ ½ºº µ Ñ ØÖ Ü Ñ ØÖ Ü ÒØ ØÝ µ Ù Ð Ò Ð ÖÓÛ Ñ ØÖ Ü µ ½ºº Ñ Ü ÒÓÖÑ ½ ÓÖ ÖÓÑ ½ ØÓ ½¼¼¼ Ó Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ Ö Ò ½ Û Ð Ö Ò Ó Ñ Ñ ØÖ Ü Ù Ö µ µ Ñ ØÖ Ü Ù Ö µ µ¹ñ ØÖ Ü Ù Ö µ µ
½ Ð Ò Ð Ø Å ØÖ Ü Ñµ Ö Ò ½ Ð Ò Ð Ö Ò ½µ Ö Ò ½ Ö Ò Ø Ò Ð Ò Ð Ø Å ØÖ Ü Ñµ Ò Ö Ò Ð Ò Ð Ö Ò µ Ò Û Ð Ü ¹½µ Ð Ò Ð ÓÐ Ñ ØÖ Ü ½µ Ñ Ü ÒÓÖÑ Ñ Ü Ñ Ü ÒÓÖÑ ÒÓÖÑ Üµµ ÔÖ ÒØ Ñ Ü ÒÓÖѵ ÓÒ ØÙÖ Áµ ÓÐ ØÖÙ ÓÖ n 4º ÁØ ÓÐÐÓÛ ÖÓÑ Ø ÓÐÐÓÛ Ò Ç ÖÚ Ø ÓÒ ½º Ç ÖÚ Ø ÓÒ ½ Ôº ¾ µº Á n 4 Ò (x 1,...,x n ) C n ÓÐÚ S Ø Ò ÓÑ ( x 1,..., x n ) ÓÐÚ S Û Ö x i Ù Ø ÐÝ Ó Ò ÖÓÑ {x i, 0, 1, 2, 1 } {r Q : r 2 2n 1 }º Ä Ø Ax = b Ø Ñ ØÖ Ü Ö ÔÖ ÒØ Ø ÓÒ Ó Ø Ý Ø Ñ S Ò Ð Ø A ÒÓØ ÅÓÓÖ ¹È ÒÖÓ Ô Ù Ó ÒÚ Ö Ó Aº Ì Ý Ø Ñ S ÙÒ ÕÙ ÓÐÙØ ÓÒ x 0 Û Ø Ñ Ò Ñ Ð ÙÐ Ò ÒÓÖÑ Ò Ø Ð Ñ ÒØ Ú Ò Ý x 0 = A b Ôº ¾ º ÓÖ ÒÝ Ý Ø Ñ S W n Ú ØÓÖ x C n ØÓ Ð Ø¹ ÕÙ Ö ÓÐÙØ ÓÒ x Ñ Ò Ñ Þ Ø ÙÐ Ò ÒÓÖÑ Ó Ax b ½ Ôº ½¼ º ÁØ ÒÓÛÒ Ø Ø x 0 = A b ÙÒ Õ٠Рع ÕÙ Ö ÓÐÙØ ÓÒ Û Ø Ñ Ò Ñ Ð ÙÐ Ò ÒÓÖÑ ½ Ôº ½¼ º Ë Ò A Ö Ø ÓÒ Ð ÒØÖ Ø ÒØÖ Ö ÑÓÒ 1 0 1 2µ A Ð Ó Ö Ø ÓÒ Ð ÒØÖ ¾ Ôº Ò Ôº ½ º Ë Ò b Ö Ø ÓÒ Ð ÒØÖ Ø ÒØÖ Ö ÑÓÒ 0 Ò 1µ x 0 = A b ÓÒ Ø Ó Ö Ø ÓÒ Ð º ÓÒ ØÙÖ ½º Ì ÓÐÙØ ÓÒ Ì Ð Ø¹ ÕÙ Ö ÓÐÙØ ÓÒµ x 0 ÓÒ Ø Ó ÒÙÑ Ö ¹ ÐÓÒ Ò ØÓ [ 2 n 1, 2 n 1 ]º ÓÒ ØÙÖ ½ Ö ØÖ Ø ØÓ Ø Û Ò card S n ÑÔÐ ÓÒ ØÙÖ Áµº Ì ÓÐÐÓÛ Ò Ó Ò ÅÙÈ Ý Ð ÔÖÓ Ð Ø ÓÒ ÖÑ Ø ÓÒ Ó ÓÒ ØÙÖ ½ Ö ØÖ Ø ØÓ Ø Û Ò card S nº Ì Ú ÐÙ Ó n Ø ÓÖ Ü ÑÔÐ ØÓ 5º Ì ÒÙÑ Ö Ó Ø Ö Ø ÓÒ Ø ÓÖ Ü ÑÔÐ ØÓ 1000º Ë Ø Ñ µ Ö Ö Ò ÓÑ ½ºº µ Ñ ØÖ Ü Ñ ØÖ Ü ÒØ ØÝ µ Ù Ð Ò Ð ÖÓÛ Ñ ØÖ Ü µ ½ºº Ñ Ü ÒÓÖÑ ½ ÓÖ ÖÓÑ ½ ØÓ ½¼¼¼ Ó
½ Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ ÓÖ Û ÖÓÑ ½ ØÓ Ó ¼ ½ Ö µ ¾ Ö µ Ö µ ѽ Ñ ØÖ Ü Ù ½ µ Ѿ Ñ ØÖ Ü Ù ¾ µ Ñ Ñ ØÖ Ü Ù µ Ñ Ñ½ Ѿ¹Ñ Ð Ò Ð Ø Å ØÖ Ü Ñµ ¾ Ø Ò ½ Ò ÔÔ Ò µ Ð Ò Ð Ô Ù ÓÁÒÚ Ö µ Ü Ñ ØÖ Ü µ Ñ Ü ÒÓÖÑ Ñ Ü Ñ Ü ÒÓÖÑ ÒÓÖÑ Üµµ ÔÖ ÒØ Ñ Ü ÒÓÖѵ Ì ÓÐÐÓÛ Ò ÓÒ ØÙÖ ¾ ÑÔÐ ÓÒ ØÙÖ Áµ º ÓÒ ØÙÖ ¾ µº Ä Ø B Ñ ØÖ Ü Û Ø n 1 ÖÓÛ Ò n ÓÐÙÑÒ n 2º ÙÑ Ø Ø ÖÓÛ Ó B Ø Ö Ð Ø Ò ÐÐ Þ ÖÓ ÓÖÑ ÕÙ Ò ÐÓÒ Ò ØÓ { 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 } Ï ÓÒ ØÙÖ Ø Ø Ø Ö Ð Ø Ò ÒÝ ÓÐÙÑÒ Ó B Û Ø Ø Ñ ØÖ Ü Û Ó Ø ÖÑ Ò ÒØ ÓÐÙØ Ú ÐÙ Ð Ø Ò ÓÖ ÕÙ Ð ØÓ 2 n 1 º ÓÒ ØÙÖ º Á Ý Ø Ñ S W n ÙÒ ÕÙ ÓÐÙØ ÓÒ (x 1,...,x n ) Ø Ò Ø ÓÐÙ¹ Ø ÓÒ ÓÒ Ø Ó Ö Ø ÓÒ Ð Û Ó ÒÓÑ Ò ØÓÖ Ò ÒÓÑ Ò ØÓÖ ÐÓÒ ØÓ [ 2 n 1, 2 n 1 ]º ÓÒ ØÙÖ ÑÔÐ ÓÒ ØÙÖ Áµº Ì ÅÙÈ Ó ÐÓÛ ÓÒ ÖÑ ÓÒ ØÙÖ ÔÖÓ Ð Ø ÐÐݺ ÔÖ Ú ÓÙ ÐÝ Ø Ú ÐÙ Ó n Ø ØÓ 5 Ø ÒÙÑ Ö Ó Ø Ö Ø ÓÒ Ø ØÓ 1000º Ï Ð Ö Ø Ø {i {1, 2, 3, 4, 5} : the equation x i = 1 belongs to S} = {1} ÙØ Ø Ó ÒÓØ Ö Ø Ò Ö Ð Øݺ ÁÒ (0,...,0) ÓÐÚ S ÐÐ ÕÙ Ø ÓÒ x i = 1 Ó ÒÓØ ÐÓÒ ØÓ Sº ÁÒ ÓØ Ö Ð Ø
I = {i {1,...,n} : the equation x i = 1 belongs to SÐ Ò Ð Ø i = min(i)º ÓÖ j I Û Ö ÔÐ x j Ý x i Ò ÐÐ ÕÙ Ø ÓÒ ÐÓÒ Ò ØÓ Sº Ï Ó Ø Ò Ò ÕÙ Ú Ð ÒØ Ý Ø Ñ Ŝ Û Ø n card(i) + 1 Ú Ö Ð º Ì Ý Ø Ñ Ŝ ÙÒ ÕÙ ÓÐÙØ ÓÒ (t 1,...,t n card(i)+1 ) Ò Ø ÕÙ Ø ÓÒ x j = 1 ÐÓÒ ØÓ Ŝ Ò ÓÒÐÝ j = iº Ý Ô ÖÑÙØ Ò Ú Ö Ð Û Ñ Ý ÙÑ Ø Ø i = 1º Ë Ø Ñ µ Ö Ö Ò ÓÑ ½ºº µ Ñ ØÖ Ü Ñ ØÖ Ü ÒØ ØÝ µ Ù Ð Ò Ð ÖÓÛ Ñ ØÖ Ü µ ½ºº ÒÙÑ Ö ÒÓÑ ½ ÓÖ ÖÓÑ ½ ØÓ ½¼¼¼ Ó Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ Ö Ò ½ Û Ð Ö Ò Ó Ñ Ñ ØÖ Ü Ù Ö µ µ Ñ ØÖ Ü Ù Ö µ µ¹ñ ØÖ Ü Ù Ö µ µ Ð Ò Ð Ö Ò Ð Ò Ð Ø Å ØÖ Ü Ñµµ Ö Ò Ø Ò Ð Ò Ð Ø Å ØÖ Ü Ñµ Ò Ö Ò Ð Ò Ð Ö Ò µ Ò Û Ð ¹½µ Ð Ò Ð ÓÐ Ñ ØÖ Ü ½µ ÓÖ Ò ÖÓÑ ¾ ØÓ Ó ÒÙÑ Ö ÒÓÑ ÔÔ Ò ÒÙÑ Ö ÒÓÑ ÒÙÑ Ö Ò µµµ ÒÙÑ Ö ÒÓÑ ÔÔ Ò ÒÙÑ Ö ÒÓÑ ÒÓÑ Ò µµµ ÒÙÑ Ö ÒÓÑ Ð ØÐ Ö ÑÓÚ ÙÔÐ Ø ÒÙÑ Ö ÒÓѵ ÔÖ ÒØ Ñ Ü ÒÙÑ Ö ÒÓѵµ Ì ÅÙÈ Ó ÐÓÛ ÓÑÔÐ Ø ÐÝ ÓÒ ÖÑ ÓÒ ØÙÖ ÓÖ n = 5º Ï Ð Ö Ø Ø {i {1, 2, 3, 4, 5} : the equation x i = 1 belongs to S} = {1} ÙØ Ø Ó ÒÓØ Ö Ø Ò Ö Ð Øݺ Ô Ñ ØÖ Ü Ñ ØÖ Ü ÒØ ØÝ µ Ù Ð Ò Ð ÖÓÛ Ñ ØÖ Ü µ ½ºº
ÓÖ Ö½ ÖÓÑ ½ ØÓ Ó ÓÖ Ö¾ ÖÓÑ ½ ØÓ Ó ÓÖ Ö ÖÓÑ ½ ØÓ Ó Ñ½ Ñ ØÖ Ü Ù Ö½ µ Ѿ Ñ ØÖ Ü Ù Ö¾ µ Ñ Ñ ØÖ Ü Ù Ö µ Ñ Ñ½ Ѿ¹Ñ Ô ÔÔ Ò Ô Ñµ Ô Ð ØÐ Ö ÑÓÚ ÙÔÐ Ø Ôµ Ô Ð ØÐ Ø Ö Ò Ô Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ µ ÒÙÑ Ö ÒÓÑ ½ ÒÓÔ Ôµ¹½ ¾ ÒÓÔ Ôµ¹¾ ÒÓÔ Ôµ¹ ÓÖ Ò ÖÓÑ ½ ØÓ Ó Û¾ Ò ½ ÓÖ Ò¾ ÖÓÑ Û¾ ØÓ ¾ Ó Û½ Ò¾ ½ ÓÖ Ò½ ÖÓÑ Û½ ØÓ ½ Ó Û¼ Ò½ ½ ÓÖ Ò¼ ÖÓÑ Û¼ ØÓ ÒÓÔ Ôµ Ó Ð Ò Ð Ø Å ØÖ Ü Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ Ô Ò µ ¾ Ð Ò Ð Ø Å ØÖ Ü Ô Ò¾ µ ½ Ð Ò Ð Ø Å ØÖ Ü ¾ Ô Ò½ µ Ð Ò Ð Ø Å ØÖ Ü ½ Ô Ò¼ µ Ð Ò Ð Ö Ò µ Ø Ò ¹½µ Ð Ò Ð ÓÐ Ñ ØÖ Ü ½µ ÓÖ Ò ÖÓÑ ¾ ØÓ Ó ÒÙÑ Ö ÒÓÑ ÔÔ Ò ÒÙÑ Ö ÒÓÑ ÒÙÑ Ö Ò µµµ ÒÙÑ Ö ÒÓÑ ÔÔ Ò ÒÙÑ Ö ÒÓÑ ÒÓÑ Ò µµµ ÒÙÑ Ö ÒÓÑ Ð ØÐ Ö ÑÓÚ ÙÔÐ Ø ÒÙÑ Ö ÒÓѵ
Ò ÒÙÑ Ö ÒÓÑ ÓÖØ ÒÙÑ Ö ÒÓѵ ÔÖ ÒØ ÒÙÑ Ö ÒÓѵ Ì ÓÐÐÓÛ Ò ÓÒ ØÙÖ ÑÔÐ ÓÒ ØÙÖ Áµ Ù ÓÒ Ø ÒØ Ý Ø Ñ S W n Ò ÒÐ Ö ØÓ Ý Ø Ñ S W n Û Ø ÙÒ ÕÙ ÓÐÙØ ÓÒ (x 1,...,x n ) Ò (x 1,..., x n ) Q n º ÓÒ ØÙÖ º Ä Ø Ö Ø ÓÒ Ð x 1,...,x n Ø Ý x 1 x 2... x n Ò ÓÖ y 1,...,y n Q Ò i {1,..., n} (x i = 1 y i = 1) i, j, k {1,..., n} (x i + x j = x k y i + y j = y k ) Ø Ò (x 1,...,x n ) = (y 1,...,y n )º Ï ÓÒ ØÙÖ Ø Ø ÓÖ i {1,..., n 1} Ø Ò ÕÙ Ð ØÝ x i 1 ÑÔÐ x i+1 2 x i º ÓÒ ÖÒ Ò ÓÒ ØÙÖ Ø ÙÑÔØ ÓÒ x i 1 Ò ÖÝ ØÓ Ø Ø Ø Ø x i+1 2 x i º ØÖ Ú Ð ÓÙÒØ Ö Ü ÑÔÐ Û Ú (0, 1) ( 1, 3, 1, 3, 2, 3) ÓÙÒØ Ö Ü ÑÔÐ 4 4 2 Û ÓÒ Ø Ó ÔÓ Ø Ú Ö Ø ÓÒ Ð ÐÓÒ º Ì ÅÙÈ Ó ÐÓÛ ÔÖÓ Ð Ø ÐÐÝ ÓÒ ÖÑ ÓÒ ØÙÖ º Ì Ú ÐÙ Ó n Ø ÓÖ Ü ÑÔÐ ØÓ 5º Ì ÒÙÑ Ö Ó Ø Ö Ø ÓÒ Ø ÓÖ Ü ÑÔÐ ØÓ 1000º Ë Ø Ñ µ Ö Ö Ò ÓÑ ½ºº µ Ñ ØÖ Ü Ñ ØÖ Ü ÒØ ØÝ µ Ù Ð Ò Ð ÖÓÛ Ñ ØÖ Ü µ ½ºº Ñ Ü Ö Ø Ó ½ ÓÖ ÖÓÑ ½ ØÓ ½¼¼¼ Ó Ð Ò Ð ÖÓÛ Ñ ØÖ Ü ½µ Ö Ò ½ Û Ð Ö Ò Ó Ñ Ñ ØÖ Ü Ù Ö µ µ Ñ ØÖ Ü Ù Ö µ µ¹ñ ØÖ Ü Ù Ö µ µ ½ Ð Ò Ð Ø Å ØÖ Ü Ñµ Ö Ò ½ Ð Ò Ð Ö Ò ½µ
Ö Ò ½ Ö Ò Ø Ò Ð Ò Ð Ø Å ØÖ Ü Ñµ Ò Ö Ò Ð Ò Ð Ö Ò µ Ò Û Ð Ü ¹½µ Ð Ò Ð ÓÐ Ñ ØÖ Ü ½µ ÜÜ Ñ Ü ½ Ü µµ ½ºº ÜÜÜ ÓÖØ Üܵ Ñ ÜÖ Ø Ó Ñ Ü ÜÜÜ ½»ÜÜÜ ½ºº µ Ñ Ü Ö Ø Ó Ñ Ü Ñ Ü Ö Ø Ó Ñ ÜÖ Ø Óµ ÔÖ ÒØ Ñ Ü Ö Ø Óµ ÓÖ ÔÓ Ø Ú ÒØ Ö n Û Ò Ø Ø Ó ÕÙ Ø ÓÒ E n Ý E n = {x i = 1 : 1 i n} {x i + x j = x k : 1 i j n, 1 k n} {x i x j = x k : 1 i j n, 1 k n} Ä Ø T E n Ý Ø Ñ ÓÒ Ø ÒØ ÓÚ Ö C ÓÚ Ö Rµº ÓÒ ØÙÖ ÁÁµ Ø Ø Ø Ø T ÓÑÔÐ Ü Ö Ðµ ÓÐÙØ ÓÒ Û ÓÒ Ø Ó ÒÙÑ Ö Û Ó ÓÐÙØ Ú ÐÙ ÐÓÒ ØÓ [0, 2 2n 2 ]º ÓØ ÓÖ ÓÑÔÐ Ü Ò Ö Ð Û ÓÒ ØÙÖ Ø Ø ÓÐÙØ ÓÒ Ó T Û Ø Ñ Ò Ñ Ð ÙÐ Ò ÒÓÖÑ ÓÒ Ø Ó ÒÙÑ Ö Û Ó ÓÐÙØ Ú ÐÙ ÐÓÒ ØÓ [0, 2 2n 2 ]º Ì ÓÒ ØÙÖ ÑÔÐ ÓÒ ØÙÖ ÁÁµº ÓÒ ØÙÖ ÁÁµ ÓÐ ØÖÙ ÓÖ n 4º ÁØ ÓÐÐÓÛ ÖÓÑ Ø ÓÐÐÓÛ Ò Ç ÖÚ Ø ÓÒ ¾º Ç ÖÚ Ø ÓÒ ¾ Ôº µº Á n 4 Ò (x 1,...,x n ) C n (R n ) ÓÐÚ T Ø Ò ÓÑ ( x 1,..., x n ) ÓÐÚ T Û Ö x i Ù Ø ÐÝ Ó Ò ÖÓÑ {x i, 0, 1, 2, 1} 2 {z C (R) : z 2 2n 2 }º Ä Ø Ù ÓÒ Ö Ø ÓÐÐÓÛ Ò ÓÙÖ ÓÒ ØÙÖ Ò ÐÓ Ð ÓÒ ØÙÖ Ñ ØÓ ØÖÙ ÓÖ Rº µ Á Ý Ø Ñ S E n ÓÒ Ø ÒØ ÓÚ Ö C Ò Ñ Ü Ñ Ð Û Ø Ö Ô Ø ØÓ ÒÐÙ ÓÒ Ø Ò ÓÐÙØ ÓÒ Ó S ÐÓÒ ØÓ {(x 1,...,x n ) C n : x 1 2 2n 2... x n 2 2n 2 }º µ Á Ý Ø Ñ S E n ÓÒ Ø ÒØ ÓÚ Ö C Ò Ñ Ü Ñ Ð Û Ø Ö Ô Ø ØÓ ÒÐÙ ÓÒ Ø Ò S Ò Ø ÒÙÑ Ö Ó ÓÐÙØ ÓÒ (x 1,...,x n )º µ Á Ø ÕÙ Ø ÓÒ x 1 = 1 ÐÓÒ ØÓ S E n Ò S Ò Ø ÒÙÑ Ö Ó ÓÑÔÐ Ü ÓÐÙØ ÓÒ (x 1,...,x n ) Ø Ò Ù ÓÐÙØ ÓÒ ÐÓÒ ØÓ {(x 1,...,x n ) C n : x 1 2 2n 2... x n 2 2n 2 }º
µ Á Ý Ø Ñ S E n Ò Ø ÒÙÑ Ö Ó ÓÑÔÐ Ü ÓÐÙØ ÓÒ (x 1,..., x n ) Ø Ò Ù ÓÐÙØ ÓÒ ÐÓÒ ØÓ {(x 1,...,x n ) C n : x 1 2 2n 1... x n 2 2n 1 }º ÓÒ ØÙÖ ØÖ Ò Ø Ò ÓÒ ØÙÖ ÁÁµ ÓÖ Cº Ì ÓÒ ÙÒØ ÓÒ Ó ÓÒ ØÙÖ Ò ÑÔÐ ÓÒ ØÙÖ º ÓÒ ÖÒ Ò ÓÒ ØÙÖ ÓÖ n = 1 Ø Ñ Ø ÓÒ Ý 2 2n 1 Ò Ö ÔÐ Ý Ø Ñ Ø ÓÒ Ý 1º ÓÖ n > 1 Ø Ñ Ø ÓÒ Ý 2 2n 1 Ø Ø Ø Ñ Ø ÓÒº ÁÒ Ø Ý Ø Ñ x 1 + x 1 = x 2 x 1 x 1 = x 2 x 2 x 2 = x 3 x 3 x 3 = x 4... x n 1 x n 1 = x n ÔÖ ÐÝ ØÛÓ ÓÑÔÐ Ü ÓÐÙØ ÓÒ (0,...,0) (2, 4, 16, 256,..., 2 2n 2, 2 2n 1 )º Ì ÓÐÐÓÛ Ò Ó Ò ÅÙÈ Ý Ð ÔÖÓ Ð Ø ÓÒ ÖÑ Ø ÓÒ Ó ÓÒ ØÙÖ Ò º Ì Ú ÐÙ Ó n Ø ÓÖ Ü ÑÔÐ ØÓ 5º Ì ÒÙÑ Ö Ó Ø Ö Ø ÓÒ Ø ÓÖ Ü ÑÔÐ ØÓ 1000º Ë Ø Ñ µ Ô Ú¹½ ܹ½ ݹ½ Þ¹½ Ú Ö ½ Ú Ü Ý Þ ÓÖ ÖÓÑ ½ ØÓ Ó ÓÖ ÖÓÑ ØÓ Ó ÓÖ ÖÓÑ ½ ØÓ Ó Ô ÔÔ Ò Ô Ú Ö Ú Ö ¹Ú Ö µ Ô ÔÔ Ò Ô Ú Ö Ú Ö ¹Ú Ö µ Ô Ð ØÐ Ö ÑÓÚ ÙÔÐ Ø Ôµ Ñ Ü Ú ÐÙ ½ ÓÖ Ö ÖÓÑ ½ ØÓ ½¼¼¼ Ó Õ ÓÑ Ò Ø Ô ÖÑÙØ Ø ÓÒ Ö Ò ÓÑ Ôµ Ý Ø Ø¹Ú¹Ü¹Ý¹Þ
½¼ Û ½ Ö Ô Ø ÖÓ Ò Ö Ñ Ò ÓÒ ÔÔ Ò Ý Ø Õ Û µµ ¹½ Ø Ò Ý Ø ÔÔ Ò Ý Ø Õ Û µ Ò Û Û ½ ÙÒØ Ð ÖÓ Ò Ö Ñ Ò ÓÒ Ý Øµ ¼ ÓÖ Û ÒÓÔ Õµµ Ò ÖÓ Ò Ö Ñ Ò ÓÒ Ý Øµ ¼ Ø Ò ÔÖ ÒØ ÓÒ ØÙÖ Ð µ Ò ¼ Ø Ò ÓÐ ÒÙÑ Ö ÓÐÚ Ý Øµ ÓÖ Ñ ÖÓÑ ½ ØÓ ÒÓÔ Óе Ó ÓÖ Ò ÖÓÑ ¾ ØÓ Ó Ñ Ü Ú ÐÙ Ñ Ü Ñ Ü Ú ÐÙ ÓÐ Ñ Ò ¾ µµ Ò ÔÖ ÒØ Ñ Ü Ú ÐÙ µ Á Û Ö ÔÐ Ô Ú¹½ ܹ½ ݹ½ Þ¹½ Ý Ô Ú Ö ½ Ú Ü Ý Þ Ý Ú Ö Ù Ú Ü Ý Þ Ñ Ü Ú ÐÙ ½ Ý Ñ Ü Ú ÐÙ ¼ Ý Ø Ø¹Ú¹Ü¹Ý¹Þ Ý Ý Ø Ø¹Ù¹Ú¹Ü¹Ý¹Þ ÓÖ Ò ÖÓÑ ¾ ØÓ Ó Ý ÓÖ Ò ÖÓÑ ¾ ØÓ Ó Ø Ò Û Ø Ó ÓÖ ÔÖÓ Ð Ø ÓÒ ÖÑ Ø ÓÒ Ó ÓÒ ØÙÖ º ÁØ Ñ Ø Ø ÓÖ ÒØ Ö x 1,..., x n Ø Ö Ü Ø ÒØ Ö y 1,..., y n [ 2 n 1, 2 n 1 ] Û Ø ÔÖÓÔ ÖØ ½µ Ò ¾µ º Ì ÓÖ Ñ ½¼ º ÀÓÛ Ú Ö ÒÓØ ÓÖ ÒØ Ö x 1,..., x n Ø Ö Ü Ø ÒØ Ö y 1,...,y n Û Ø ÔÖÓÔ ÖØ µ¹ µ ÔÔº ½ ½ º Ì ÙØ ÓÖ Ù ÅÙÈ ÈÖÓ º¼º º Ë ËÓ ØÛ Ö Ñ À ² Óº Ã Ø Ñ Ö Ó ÅÙÈ ÈÖÓ Ò ÕÙ Ö Ý Ì Å Ø ÏÓÖ Ø Ñ Ö Ó Å ÌÄ Ø Ò Ð ÓÑÔÙØ Ò Ó ØÛ Ö º ÅÙÈ ÈÖÓ ÒÓ ÐÓÒ Ö ÓÐ Ø Ò ÐÓÒ ÔÖÓ Ùغ Ò Û Ô ËÝÑ ÓÐ Å Ø ÌÓÓÐ ÓÜ º½ Ö ÕÙ Ö Å ÌÄ Ò ÔÖÓÚ Ð Ö ÓÑÔ Ø Ð ØÝ Û Ø Ü Ø Ò ÅÙÈ ÈÖÓ ÔÔÐ Ø ÓÒ º
½½ Ê Ö Ò ½ º Ò¹Á Ö Ð Ò Ìº ƺ º Ö Ú ÐÐ Ò Ö Ð Þ ÒÚ Ö Ì ÓÖÝ Ò Ô¹ ÔÐ Ø ÓÒ ¾Ò º ËÔÖ Ò Ö Æ Û ÓÖ ¾¼¼ º ¾ Àº ź Û Ö Ä Ò Ö Ð Ö Ö Ù Ö Ó ØÓÒ ½ º Àº ź Û Ö Ý Ò ÓÒ ØÖÙØ Ú Ñ Ø Ñ Ø ËÔÖ Ò Ö Æ Û ÓÖ ¾¼¼ º º ÃÓÞ ÓÛ Ò º ÌÝ Þ ÓÒ ØÙÖ Ó ÔÓÐÓÒ Ù Þ ÌÝ Þ ÓÒ Ø ¹ Ø ÓÒ Ó Ê Ø ÓÒ Ð ÆÙÑ Ö ØØÔ»» ÑÓÒ ØÖ Ø ÓÒ ºÛÓÐ Ö ÑºÓÑ» ÓÒ ØÙÖ Ç ÔÓÐÓÒ Ù ÞÌÝ Þ ÇÒÌ Ø ÓÒÇ Ê Ø ÓÒ ÐÆÙÑ Ö» º º Å Ý Ö Å ØÖ Ü Ò ÐÝ Ò ÔÔÐ Ð Ò Ö Ð Ö ËÓ ØÝ ÓÖ ÁÒ Ù ØÖ Ð Ò ÔÔÐ Å Ø Ñ Ø ËÁ ŵ È Ð ÐÔ ¾¼¼¼º º ÌÝ Þ Ý Ø Ñ Ó ÕÙ Ø ÓÒ ËÁ Å ÈÖÓ Ð Ñ Ò ËÓÐÙØ ÓÒ Ð ØÖÓÒ ÓÒÐݵ ÈÖÓ Ð Ñ ¼ ¹¼¼ ¾¼¼ ØØÔ»»ÛÛÛº ѺÓÖ» ÓÙÖÒ Ð»ÔÖÓ Ð Ñ» ÓÛÒÐÓ Ð»¼ ¹¼¼ ºÔ º ÌÝ Þ ÓÙÒ Ó ÓÑ Ö Ð ÓÑÔРܵ ÓÐÙØ ÓÒ Ó Ò Ø Ý Ø Ñ Ó ÔÓÐÝÒÓÑ Ð ÕÙ Ø ÓÒ Û Ø Ö Ø ÓÒ Ð Ó ÒØ ØØÔ»» ÖÜ ÚºÓÖ»»Ñ Ø»¼ ¼¾ ÔÓÐÓÒ Ù Þ ÌÝ Þ Ì Ò Ð ÙÐØÝ ÀÙ Ó ÃÓ Ø ÍÒ Ú Ö ØÝ Ð ½½ ¼¹½ ÃÖ Û ÈÓÐ Ò ¹Ñ Ð ÖØØÝ Þ Ý ¹ Öº ÙºÔÐ