Relacja z Onyszkiewicz galileo: Witam, mam takie zadanie z Onyszkiewicza (4.5): wyznaczyc dziedzine i przeciwdziedzine takiej relacji: R(a,b,c) ⇔ (a ∊ Z ⋀ b ∊ Z ⋀ c ∊ N ⋀ a² + b² < 10 − c²). Potrafie wyznaczac dziedzine tam gdzie sa podane konkretne liczby, natomiast relacja jest zdef. za pomoca wzoru i juz nie potrafie. Jak to ugryzc?

galileo: ponawiam

wredulus_pospolitus: 1) c² < 10 −> c²< 9 −> c < 3 ... c = {0,1,2,3} (chyba że dla was 0 ∉ N) ... dlaczego tak jest pomyśl

galileo: A, ok, dzieli wielkie. Wpadlem na pomysl ze mozna to zapisac po prostu jako a² + b² + c² < 10 i zaznaczylem, iz "warto zauwazyc, ze a², b², c³ ∊ {−3,−3}" i musza nalezec do calkowitych, ale wykorzystam Twoje rozwiazanie. Tzn. napisze, ze gdy a = 0, b = 0 to c² < 10 gdy a = 0, c = 0 to b² < 10 gdy b = 0, c = 0 to a² < 10