Podzielność przez 2, Ciąg

Oddzielone od teorii liczb, proste problemy dotyczące zasad dzielenia itp.
Milczek
Użytkownik
Użytkownik
Posty: 821
Rejestracja: 22 lut 2013, o 19:24
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 84 razy
Pomógł: 45 razy

Podzielność przez 2, Ciąg

Post autor: Milczek »

Zadanie jest takie : Proszę o wskazówki z czego skorzystać, bo z ZSD chyba nie pójdzie.

Mamy ciąg \(\displaystyle{ a_{1}, a _{2}, a_{3},.... a_{2n+1}}\). I tworzymy permutację tego ciągu.
Wykaż że znajdą się takie dwie liczby które dla danego indeksu mają tę samą parzystość.

Wiem że wtedy jest para liczb podzielna przez \(\displaystyle{ 2}\). Ale nie umiem tego udowodnić.

Zadanie jest do bardzo analogiczne to zadania nr 14 z żabkami. Już chciałem zamiast żab kłaść tam liczby. Ale może ktoś da wskazówką jak zrobić to tak aby nie mieszać w to szachownicy.
384833.htm
Ostatnio zmieniony 1 kwie 2015, o 10:19 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
szachimat
Użytkownik
Użytkownik
Posty: 1672
Rejestracja: 23 sty 2015, o 21:47
Płeć: Mężczyzna
Lokalizacja: lubelskie
Podziękował: 6 razy
Pomógł: 354 razy

Podzielność przez 2, Ciąg

Post autor: szachimat »

Jak to rozumiesz:: "dwie liczby dla danego indeksu mają tę samą parzystość"?
bakala12
Użytkownik
Użytkownik
Posty: 3035
Rejestracja: 25 mar 2010, o 15:34
Płeć: Mężczyzna
Lokalizacja: Gołąb
Podziękował: 24 razy
Pomógł: 513 razy

Podzielność przez 2, Ciąg

Post autor: bakala12 »

Oznaczmy permutację przez \(\displaystyle{ \left(a_{1}', a_{2}', \dots , a_{2n+1}' \right)}\). Załóżmy nie wprost, że nie ma takiego \(\displaystyle{ i}\), że \(\displaystyle{ 2|a_{i}-a_{i}'}\). Wobec tego dla każdego \(\displaystyle{ i}\) liczby \(\displaystyle{ a_{i}}\) oraz \(\displaystyle{ a_{i}'}\) są różnej parzystości. Wobec tego stwierdzamy, że skoro mamy \(\displaystyle{ 2n+1}\) par liczb różnej parzystości to dokładnie połowa \(\displaystyle{ \left( 2n+1 \right)}\) spośród wszystkich liczb \(\displaystyle{ a_{1},a_{2}, \dots , a_{2n+1}, a_{1}', a_{2}', \dots , a_{2n+1}'}\) jest nieparzysta. Z drugiej strony takich liczb musi być parzysta ilość, gdyż ciąg \(\displaystyle{ \left(a_{1}', a_{2}', \dots , a_{2n+1}' \right)}\) był permutacją ciągu \(\displaystyle{ \left(a_{1}, a_{2}, \dots , a_{2n+1} \right)}\) (w obu było tyle samo liczb nieparzystych, więc w sumie na pewno jest ich parzysta ilość). To oznacza sprzeczność, która dowodzi tezy zadania.
ODPOWIEDZ