숙제를 하려고 빈 강의실에 들어갔더니 누군가 화이트보드를 제대로 지우지 않았다. 바로 앞 수업이 확장 유클리드 알고리즘을 다뤘는지, 보드에는 그 알고리즘의 중간 결과가 잔뜩 남아 있다. 그런데 일부가 지워져 있어서 앞 수업이 무엇을 했는지 전부 보이지는 않는다. 특히 처음에 어떤 수를 넣었는지가 보이지 않는다. 어차피 숙제는 하기 싫었으니, 앞 수업이 출발점으로 삼은 수를 알아내 보기로 한다.
보드에 남은 중간 결과에서 확실한 사실은 하나다. 입력은 정수 A와 B(A,B≥1)였고, 보드에 남은 세 정수 R, S, Q(R≥2, S≤−2, Q≥1)가 A⋅R+B⋅S=Q를 만족한다. 이 세 수가 주어질 때 A와 B를 알아내야 한다. 식을 만족하는 쌍이 여럿일 수 있으므로, 그중 A와 B가 가장 작은 양의 정수 쌍을 찾는다. R, S, Q가 A와 B에 확장 유클리드 알고리즘을 적용했을 때 실제로 나오는 중간 결과인지는 따지지 않는다. 식 A⋅R+B⋅S=Q만 성립하면 된다.