Relacja równoważności Julcia: Pokaż że α jest relacją rownoważności na zbiorze ℤ², gdzie (m₁,n₁) α (m₂,n₂) ⇔ 5|2m₁+3m₂ ⋀ 4|3m₁n₁ + m₂n₂

kochanus_niepospolitus: zwrotność−−− banał symetryczność: 5|(2m₁+3m₂) ∧ 4|(3m₁n₁ + m₂n₂) ⇔ 5|(4*(2m₁+3m₂)) ∧ 4|(7*(3m₁n₁ + m₂n₂)) ⇔ 5|(8m₁+12m₂) ∧ 4|(21m₁n₁ + 7m₂n₂) ⇔ 5|(2m₂+3m₁ +5m₁+10m₂) ∧ 4|(3m₂n₂ + m₁n₁ + 20m₁n₁ + 4m₂n₂) ⇔ 5|(2m₂+3m₁) ∧ 4|(3m₂n₂ + m₁n₁) (no bo przecież 5|(5m₁+10m₂) analogicznie 4|(20m₁n₁ + 4m₂n₂)) c.n.w. zostaje przechodność, która przy wykazanej symetryczności nie powinna sprawić Ci problemów

Julcia: dzięki