[대학교이상] 2변수 합동식 해 존재 조건 질문

[익명(112.171)]

빨간 줄은 해를 가질 조건으로 보입니다.

파란 줄은 무슨 뜻인가요?

참고로 아래의 theorem 4.7은 1변수에 관한 것입니다.

[수갤러 1(104.28)]

빨간줄을 다시 읽어보라

[익명(112.171)]

2변수 합동식이 해를 가질 필요충분조건은 gcd(a,b,n) | c이다.

[익명(112.171)]

여러 번 읽어본 결과, 빨간줄은 해 자체가 존재할 조건이고, 파란줄은 그 존재하는 해를 찾는 방법이 맞나요?

[익명(112.171)]

gcd(a,n)=1이면 a의 역원이 존재하여 그걸 양변에 곱하고 y는 적절히 대입해서 해 x,y를 찾는...

[Delpcon(bare3888)]

네 빨간줄은 필요충분조건, 파란줄은 충분조건입니다

[익명(112.171)]

두 조건 사이에 서로 상관관계가 있다는 말인 줄 알고 이래저래 유도하려고 했는데 안되더라고요. 감사합니다.