자연수 A_1,A_2,..,A_n에 대해 루트(A_n)=B_n이라 할때 (B_1+B_2+B_3+...+B_n)이 유리수일 필요충분조건은 A_1,A_2,...,A_n이 모두 완전제곱수이다.
존나 대충 생각해보면 수학적귀납법 같은데 잘 모르겠다
양수 조건이랑 체 확장 쓰면 될거 같기도 한데 좀더 초등적 증명은 업나
왼쪽으로가는건 자명하니까 오른쪽으로가는거만 커류법 하면 안되려나
걍 귀납법이네 a1 = q/p - (a2 + ... + an ) 놓고 양변 제곱 ㄱ
여기서 an = Bn이라고 생각