님들 증명 중요하다는데

[야간편돌이(175.196)]

제가 z={x|x는 양으정수}
z1={x|3x}, z2={x|3x+1}, z3={x|3x+2}
z1~z3이 z의 분할임을 증명하여라

이런거 뜨며 암것도 못하겠음 ㅜㅜ 3으로 나누면 3x랑 3x+1이랑 3x+2랑 세가지 케이스로 나눠진다는건 아는데

저서 뭘 더 증명하라는건지

요런 비슷한거 다 못하겠음.. 차라리 다른거 증명하다가 저걸 증명의 근거로 쓰는 경우는 있어도

저렇게 기본적인걸로 갈 수록 증명을 못 하겠는데 어떻게 하면 좋게씀

[dot(210.125)]

서로 독립이고 합성하면 양의 정수가 다 만들어진다는 걸 증명해

[dot(210.125)]

선형대수학에서 벡터 스페이스 배울때 잘 나옴

[fm100(211.41)]

partition 정의대로 가면 됨. dot 말대로 각각이 nonempty set이고, 임의의 두 set을 골라도 disjoint 하고. 모든 set의 union이 z 인거. 세가지 경우 다 보이면 됨.

[fm100(211.41)]

정의부터 확실하게 하고. 나머지 증명은 대부분 by definition 으로 됨.

[백이.(qkrqo12)]

무슨알바함

[fm100(211.41)]

proof by contradiction, mathematical induction 등등 뭐 많지만 결국 definiton이 젤 중요함.

[야간편돌이(175.196)]

아 갑자기 손님포풍이라 댓글을 못봤는데 감사해여

[야간편돌이(175.196)]

편돌이가 편의점 남자 알바 말하는거에요

[야간편돌이(175.196)]

fm횽 말대로면 3x+1이 z1={1,4,7,9...3x+1} 이런식으로 세 가지 경우 다 쓰면서 증명하면 되는건가여??