항등식을 적분하면 항등식인가요?

네 맞습니다
사실 부정적분이 상수 차이만큼만 난다면 미분계수가 모든 점에서 같다는 건 자명하죠

부정적분일때만 성립함

사실 항등식이면 f=f 느낌인거라
적분해도 같죠

상관없긴한데요
그럼 F, G도 구간에 따라 달라져야해요

간단하게
f = g = 2x
F = x^2 + 1 라 했을때
G = x^2 +3 이면 C = -2고
G = x^2 +1 이면 C = 0이겠죠

위는 그냥 F, G를 형식상의 표현으로 봤을때 얘기고

문제 조건에 따라 만약 F, G를 미분가능한 함수로 봐야 한다면 F, G가 매끄러운 연속함수가 되게끔 상수 C를 맞춰야겠죠

그래서 일반적으로는 저렇게 상수 C가 구간에 따라 다르게 정의되는 경우는 문제에서 많이 못 본 것 같아요

그러면 질문하나만 드려도 될까요?
f'(x+p) = f'(x)라고 하면
양변을 적분하면 f(x+p) = f(x) + q라고 쓸 수 있을 텐데, 정확하게 하면 이 q값이 일정하지 않을 수가 있기 때문에 함수가 p만큼 반복되면서 y축으로 q만큼 일정하게 평행이동된다고 할 순 없는거죠?
문제에서는 일정하도록 조건을 주겠지만요..

f'이 정의되었으니 일단 f는 미분가능한 매끄러운 함수네요

그러면 크기가 p인 어떤 구간에서 f를 관찰한다고 생각해보죠

가장 쉬운 예시로 [0, p] 인 구간을 생각해도 괜찮아요(p가 양수일때) 그러면 [p, 2p]일때 f는 [0, p]의 f를 x축으로 p만큼 y축으로 q만큼 평행이동한거잖아요? 만약 이때 [p, 2p] 범위내에서 q가 다르다면 무조건 불연속이기때문에 q는 일정한 값일수밖에 없고 그건 q = f(p) - f(0) 일거에요.

이때 중요한건 개형이 완전히 똑같기 때문에 [2p, 3p]에서도 q = f(2p) - f(p) = f(p) - f(0) 으로 같을거고 연쇄적으로 반복되니 q는 무조건 일정한 수여야합니다

장황하게 얘기했지만 그냥 간단하게 말하면

a를 임의의 실수라 할때
a를 포함하는 어떤 열린구간에서

f(x+p) = f(x) + n (x <= a)
f(x+p) = f(x) + m (x > a)

라고 했을때
첫번째 식에 a를 대입(혹은 좌극한)하면
f(a+p) = f(a) + n

두번째 식에 a의 우극한을 취하면
f(a+p) = f(a) + m
가 됩니다. 이게 가능한 이유는 f(x)가 실수전체에서 미분가능한 함수이기 때문이죠

이때 두식의 양변을 빼주면
0 = n - m 이 됩니다.
즉 n = m입니다.

그래서 q는 단 하나의 수로밖에 정의될수 없습니다

ㅋㅋㅋ 저도 답글 쓴 다음에 오늘 아침에 생각해 보니까 f'에서 함숫값이 다 정의가 되니까 f는 미분가능한 함수고 그러니까 f는 연속함수더라구요. 그래서 p만큼씩 그래프 개형은 똑같으면서 연속이려면 q값이 하나로 나올 수 밖에 없더라구요.. 감사합니다..!!