сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

Име­ют­ся таб­ли­цы А и В, в ячей­ки ко­то­рых впи­са­ны целые числа. С таб­ли­цей А можно про­де­лы­вать сле­ду­ю­щие дей­ствия: 1) при­бав­лять к стро­ке дру­гую стро­ку, умно­жен­ную на про­из­воль­ное целое число; 2) при­бав­лять к столб­цу дру­гой стол­бец, умно­жен­ный на про­из­воль­ное целое число. (На­при­мер, если к пер­вой стро­ке таб­ли­цы A при­ба­вить тре­тью стро­ку, умно­жен­ную на 2, то по­лу­чит­ся таб­ли­ца, изоб­ра­жен­ная на ри­сун­ке под сло­вом при­мер.) Можно ли, про­де­лав не­ко­то­рое ко­ли­че­ство ука­зан­ных дей­ствий с таб­ли­цей А, по­лу­чить таб­ли­цу B? Ответ обос­нуй­те.

 

Таб­ли­ца A

10000
03000
00300
00060
00006

Таб­ли­ца B

00001
00020
00300
06000
90000

При­мер

10600
03000
00300
00060
00006

Спрятать решение

Ре­ше­ние.

Для таб­ли­цы 2 на 2 вида  левая круг­лая скоб­ка \beginarraylla b c d\endarray пра­вая круг­лая скоб­ка , где  a, b, c, d при­над­ле­жит R число ad – bc будем на­зы­вать опре­де­ли­те­лем этой таб­ли­цы. Пусть в со­став­лен­ной из целых чисел таб­ли­це

 левая круг­лая скоб­ка \beginarraylllll a_11 a_12 a_13 a_14 a_15 a_21 a_22 a_23 a_24 a_25 a_31 a_32 a_33 a_34 a_35 a_41 a_42 a_43 a_44 a_45 a_51 a_52 a_53 a_54 a_55 \endarray пра­вая круг­лая скоб­ка \qquad левая круг­лая скоб­ка 1 пра­вая круг­лая скоб­ка

у любой под­таб­ли­цы раз­ме­ра 2 на 2 (то есть под­таб­ли­цы вида

 левая круг­лая скоб­ка \beginarraycca_i, j a_i, j плюс k a_i плюс k, j a_i плюс k, j плюс k\endarray пра­вая круг­лая скоб­ка ,

где i, j, i плюс k, j плюс k при­над­ле­жит левая фи­гур­ная скоб­ка 1, \ldots, 5 пра­вая фи­гур­ная скоб­ка пра­вая круг­лая скоб­ка опре­де­ли­тель де­лит­ся на целое число m. Про­де­ла­ем с таб­ли­цей (1) одно из ука­зан­ных в за­да­че дей­ствий. Тогда у по­лу­чив­шей­ся в ре­зуль­та­те таб­ли­цы опре­де­ли­тель любой ее под­таб­ли­цы раз­ме­ра 2 на 2 также будет на m. Дей­стви­тель­но, про­ве­дем до­ка­за­тель­ство дан­но­го факта для дей­ствия 1 из усло­вия за­да­чи (для столб­цов до­ка­за­тель­ство ана­ло­гич­но). Пусть, без огра­ни­че­ния общ­но­сти, к пер­вой стро­ке при­бав­ля­ет­ся вто­рая, умно­жен­ная на целое число b:

 левая круг­лая скоб­ка \beginarrayccccc a_11 плюс b a_21 a_12 плюс b a_22 a_13 плюс b a_23 a_14 плюс b a_24 a_15 плюс b a_25 a_21 a_22 a_23 a_24 a_25 a_31 a_32 a_33 a_34 a_35 a_41 a_42 a_43 a_44 a_45 a_51 a_52 a_53 a_54 a_55 \endarray пра­вая круг­лая скоб­ка . \qquad левая круг­лая скоб­ка 2 пра­вая круг­лая скоб­ка

В по­лу­чив­шей­ся таб­ли­це, все под­таб­ли­цы 2 на 2, не со­дер­жа­щие эле­мен­ты пер­вой стро­ки таб­ли­цы (2), оста­лись без из­ме­не­ния, и по­то­му их опре­де­ли­тель, есте­ствен­но, на m по-преж­не­му де­лит­ся. По­это­му про­ве­рим, что в таб­ли­це (2) опре­де­ли­те­ли под­таб­лиц 2 на 2, вклю­ча­ю­щие эле­мен­ты пер­вой стро­ки, де­лят­ся на m. Это нужно про­ве­рить в двух слу­ча­ях: 1) под­таб­ли­ца 2 на 2 со­став­ле­на из эле­мен­тов пер­вой и вто­рой стро­ки таб­ли­цы (2) и 2) таб­ли­ца 2 на 2 со­став­ле­на из эле­мен­тов пер­вой и еще какой-то (от­лич­ной от вто­рой) стро­ки таб­ли­цы (2).

Слу­чай 1. Опре­де­ли­тель таб­ли­цы

 левая круг­лая скоб­ка \beginarrayccca_11 плюс b a_21 a_12 плюс b a_22 a_21 a_22\endarray пра­вая круг­лая скоб­ка

равен

a_22 левая круг­лая скоб­ка a_11 плюс b a_21 пра­вая круг­лая скоб­ка минус a_21 левая круг­лая скоб­ка a_12 плюс b a_22 пра­вая круг­лая скоб­ка =a_11 a_22 минус a_21 a_12,

что сов­па­да­ет с опре­де­ли­те­лем со­от­вет­ству­ю­щей под­таб­ли­цы таб­ли­цы (1), а зна­чит де­лит­ся на m по усло­вию.

Слу­чай 2. Рас­смот­рим под­таб­ли­цу, со­став­лен­ную из эле­мен­тов пер­вой и, на­при­мер, тре­тьей стро­ки:

 левая круг­лая скоб­ка \beginarraycca_11 плюс b a_21 a_12 плюс b a_22 a_31 a_32\endarray пра­вая круг­лая скоб­ка .

Ее опре­де­ли­тель

 a_32 левая круг­лая скоб­ка a_11 плюс b a_21 пра­вая круг­лая скоб­ка минус a_31 левая круг­лая скоб­ка a_12 плюс b a_22 пра­вая круг­лая скоб­ка \qquad левая круг­лая скоб­ка 3 пра­вая круг­лая скоб­ка

равен

00001
00020
00300
06000
90000

a_32 a_11 минус a_31 a_12 плюс b левая круг­лая скоб­ка a_32 a_21 минус a_31 a_22 пра­вая круг­лая скоб­ка .

Числа a_32 a_11 минус a_31 a_12 и a_32 a_21 минус a_31 a_22 пред­став­ля­ют собой опре­де­ли под­таб­лиц таб­ли­цы (1), а зна­чит, де­лят­ся на m. Сле­до­ва­тель­но, на m де­лит­ся и опре­де­ли­тель (3).

Оста­ет­ся за­ме­тить, что опре­де­ли­те­ли всех под­таб­лиц 2 на 2 таб­ли­цы А де­лят­ся на 3, в то время как таб­ли­ца В со­дер­жит под­таб­ли­цу (вы­де­ле­на серым), опре­де­ли­тель ко­то­рой на 3 не де­лит­ся. Зна­чит, по­лу­чить таб­ли­цу В из таб­ли­цы А ука­зан­ны­ми дей­стви­я­ми нель­зя.

 

Ответ: нет, нель­зя.