logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 4329

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

trusiak
postów: 8
2016-02-20 13:56:39

Przepraszam za kolejny post praktycznie w tej samej dziedzinie, ale mam tutaj ogromnego zgryza. Nie mogę sobie poradzić z przechodniością w poniższym zadaniu:

Sprawdź czy relacja $R \subset X \times X$ jest relacją równoważności:

$xRy \iff 3| x^{2} - y^{2}$

Mógłby mi ktoś łopatologicznie wytłumaczyć, czy jest spełniony ten warunek w przechodniości? Z moich notatek nie jestem w stanie wywnioskować skąd się co wzięło.


janusz78
postów: 820
2016-02-20 16:13:57

Relacja $ R $ jest przechodnia, gdy

$ (xRy \wedge yRz)\rightarrow (xRz),\ \ x,y,z\in D_{R} $

$ (3| x^2-y^2\wedge 3|y^2 - z^2 )\rightarrow (3|x^2-z^2)?$



Dowód:

$ x^2 - y^2 = 3k,\ \ k\in Z $ (1)

$ y^2 - z^2 = 3l,\ \ l\in Z$ (2)

Dodając stronami równania (1), (2)

$ x^2 - z^2 = 3(k+l)= 3s, \ \ s =k+l \in Z,$

Stąd

$ 3| x^2-z^2.$

c.b.d.o.

Na przykład

$( 3|5^2 - 4^2\wedge 3|4^2 -2^2 )\rightarrow (3|5^2 -2^2).$

Wiadomość była modyfikowana 2016-02-20 16:18:34 przez janusz78
strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj