这个问题是关于周期函数的。让我们分析一下：
已知条件：

f(x+1) = f(x)，表示函数f的一个周期是1
f(x+π) = f(x)，表示函数f的一个周期是π

现在我们需要确定f(x)是否一定是常函数。对于一个函数来说，如果它有两个线性无关的周期，那么它的最小正周期是这两个周期的最大公约数。
在我们的情况下，我们需要计算1和π的最大公约数。但是1和π是不可公度的（π是无理数，而1是有理数），因此它们的最大公约数不存在（或者说是0）。这种情况下，如果函数依然要满足这两个周期性质，那么f(x)必须是常函数吗？
让我仔细思考一下：
如果f有周期1和π，由于它们是不可公度的，对于任意实数y，我们总能找到整数m和n使得|m·1 + n·π - y| < ε，其中ε可以任意小。这是根据丢番图逼近理论。
这意味着f(x+y) = f(x)对任意的y都成立，即f是常函数。
但等等，我想更严格地检验一下。让我考虑建立一个反例，看看是否可能存在一个非常函数满足给定条件。
假设存在一个非常函数g(x)满足g(x+1) = g(x)和g(x+π) = g(x)。
g(x)是周期函数，周期为1和π。由于1和π是不可公度的，使用周期函数的性质，对于任意的x和y，我们可以找到整数m和n，使得：
|x - y - (m·1 + n·π)| < ε
这意味着f(x) = f(y)，因为：
f(x) = f(y + m·1 + n·π + δ) = f(y + δ)
其中δ < ε可以任意小。当ε趋近于0时，f(y + δ) = f(y)，因此f(x) = f(y)。
这表明f是常函数。但是，我想再检查一下，因为这个论证似乎过于简略。
让我从另一个角度思考：
假设f有周期1和π，定义集合S = {m + nπ | m, n ∈ Z}。S是实数R上的一个加法子群。根据Kronecker定理，由于1和π是线性无关的（π是无理数），S在R中是稠密的。
这意味着对于任意实数y和任何ε > 0，存在整数m和n使得|m + nπ - y| < ε。
因此，对于任意x和y，我们有：
|f(x) - f(y)| = |f(x) - f(x + (y - x))| = |f(x) - f(x + (m + nπ) + δ)|
其中δ = (y - x) - (m + nπ)，且|δ| < ε。
由于f(x + m + nπ) = f(x)（因为m和nπ都是周期），我们有：
|f(x) - f(y)| = |f(x) - f(x + δ)|
当ε趋近于0时，δ也趋近于0，假设f连续，则f(x + δ) → f(x)，因此f(x) = f(y)。
这意味着f在R上是常函数。
但如果f不要求连续呢？是否可能存在一个不连续的函数满足这些周期条件而不是常函数？
让我尝试构造一个反例。
仔细思考后，我认为即使f不连续，它也必须是常函数。这是因为1和π的线性组合可以任意接近任何实数，所以f的值在任何点都必须等于f在该点附近任何其他点的值。这只有在f是常函数时才可能。
但是，让我再检查一下这个结论。
我们知道任意实数y可以表示为y = m + nπ + δ，其中m和n是整数，δ可以任意小。
那么f(x + y) = f(x + m + nπ + δ) = f(x + δ)。
如果f是连续的，当δ→0时，f(x + δ) → f(x)，因此f(x + y) = f(x)对任意y成立，这意味着f是常函数。
但如果f不连续，这个论证就不成立了。那么是否存在一个不连续的函数，具有周期1和π，但不是常函数呢？
让我再思考一下。如果f有周期1和π，那么对于任意实数a和b，f(a) = f(b)当且仅当a - b = m + nπ，其中m和n是整数。
现在，关键是确定S = {m + nπ | m, n ∈ Z}是否等于全体实数R。如果S = R，那么f必须是常函数。如果S ≠ R，那么f可以不是常函数。
事实上，S ≠ R。S是R中的一个稠密子集，但它不等于R。例如，我们可以证明√2不能表示为m + nπ的形式。
所以，理论上，f可以不是常函数。但是，如何构造一个具有周期1和π但不是常函数的函数呢？
一种可能的构造是使用Hamel基底。设{eα}是R作为Q上向量空间的一个基底。定义f如下：
f(x) = 1，如果x的基底表示中包含e₁；
f(x) = 0，否则。
我需要确保这个f满足f(x + 1) = f(x)和f(x + π) = f(x)。
让我重新思考这个问题。根据Kronecker定理，如果θ是无理数，那么集合{m + nθ | m, n ∈ Z}在R/Z中是稠密的。在我们的情况下，π是无理数，所以{m + nπ}在模1的意义下是稠密的。
这意味着对于任意实数y，存在序列mk + nkπ收敛到y（模1）。但这并不意味着f必须是常函数，除非f是连续的。
让我继续尝试构造一个反例。
等一下，我需要澄清一点。集合{m + nπ | m, n ∈ Z}在R中不只是稠密的，而且是构成R上一个子群。对于任意实数x和y，如果x - y ∈ S，那么f(x) = f(y)。
问题是：是否对于任意实数x和y，总存在整数m和n使得x - y = m + nπ？
答案是否定的。例如，如果y = √2，而x = 0，那么不存在整数m和n使得-√2 = m + nπ，因为√2和π都是无理数，且线性无关。
所以，我们可以构造一个非常函数f，满足f(x + 1) = f(x)和f(x + π) = f(x)。
定义等价关系x ~ y当且仅当x - y ∈ {m + nπ | m, n ∈ Z}。这将R划分为不相交的等价类。在每个等价类中，f的值必须相同。但不同等价类中，f的值可以不同。
因此，我们可以定义f如下：
对于实数x，如果它的等价类包含某个特定元素（例如0），则f(x) = 1；否则f(x) = 0。
这样定义的f满足f(x + 1) = f(x)和f(x + π) = f(x)，但f不是常函数。
所以，答案是：f(x)不一定是常函数。
实际上，利用选择公理，我们可以构造一个不连续且非常函数的例子。但这个例子在实际计算中可能不容易表示。
但总之，理论上f不一定是常函数。一个反例可以通过使用等价类和选择公理来构造。
嗯，我再想一想。我上面的分析好像走偏了。回到问题的本质：
已知f(x+1) = f(x)和f(x+π) = f(x)，我们需要确定f是否必须是常函数。
如果f是常函数，那么对于任意x和y，f(x) = f(y)。
如果f不是常函数，那么存在x和y使得f(x) ≠ f(y)。这意味着x和y不属于同一个等价类。
但是，由于1和π是无理数比（π/1是无理数），根据Kronecker定理，集合{m + nπ | m, n ∈ Z}在R中是稠密的。这意味着对于任意实数y，存在整数序列{mk}和{nk}使得mk + nkπ → y。
但稠密并不意味着集合等于R。例如，有理数Q在R中是稠密的，但Q ≠ R。
在我们的情况下，S = {m + nπ | m, n ∈ Z}是R中的一个稠密子集，但它不等于R。因此，R/S（即实数模S的等价类）含有不止一个元素。
因此，我们可以定义f在不同等价类上取不同的值，从而构造一个非常函数满足给定条件。
具体来说，我们可以定义f如下：

首先，将R划分为等价类，其中x和y属于同一个等价类当且仅当x - y ∈ S。
利用选择公理，从每个等价类中选择一个代表元。
定义f在这些代表元上的值。例如，我们可以让f在某个特定等价类的代表元上为1，在其他等价类的代表元上为0。
对于任意x，找到它所属等价类的代表元z，并定义f(x) = f(z)。

这样定义的f满足f(x + 1) = f(x)和f(x + π) = f(x)，但f不是常函数。
所以，答案是：f(x)不一定是常函数。我们可以构造一个满足给定条件但不是常函数的例子。
然而，需要注意的是，这样的函数f一定是不可测的（在Lebesgue测度下），因为它的图像是一个稠密的点集。在实际应用中，我们通常会额外假设f是连续的或可测的，这时f确实必须是常函数。
那么，如何具体构造一个反例呢？我们可以利用等价类和选择公理，但这不会给出一个显式的函数表达式。实际上，这样的函数在分析学的标准框架内是不可表示的，因为它是不可测的。
总结：f(x)不一定是常函数。反例的构造需要使用选择公理，结果是一个不可测函数。如果我们假设f是连续的或可测的，那么f必须是常函数。
那么我得给出一个反例，证明这个函数f不必是常数函数。
我可以这样构造一个反例：

将实数R按照关系x ~ y当且仅当x - y = m + nπ（m, n ∈ Z）划分为等价类。
使用选择公理，选择每个等价类的一个代表元。这些代表元构成一个集合T。
定义函数f：对于任意x ∈ R，找到唯一的t ∈ T和整数m, n使得x = t + m + nπ，然后定义f(x) = g(t)，其中g是定义在T上的任意非常函数。

例如，我们可以定义g(t) = 0对于所有t ∈ T，除了某个特定的t₀，我们定义g(t₀) = 1。
这样构造的函数f满足f(x + 1) = f(x)和f(x + π) = f(x)，但f不是常函数，因为对于不同等价类的代表元，f的值可以不同。
这个反例证明了函数f不必是常数函数。
实际上，根据Kronecker定理，由于π是无理数，所以对于任意ε > 0和任意实数y，存在整数m和n使得|m + nπ - y| < ε。这意味着集合{m + nπ | m, n ∈ Z}在R中是稠密的。
但是，这个集合不等于R。例如，可以证明√2不能表示为m + nπ的形式，其中m和n是整数。
因此，R/（即实数模等价关系的商集）包含不止一个等价类，这使得我们可以构造一个非常函数满足给定条件。
这种构造依赖于选择公理，结果是一个不可测函数。在实际应用中，如果我们假设f具有某些良好性质（如连续性或可测性），那么f确实必须是常函数。
我定义的函数f满足：

f(x+1) = f(x)，因为如果x = t + m + nπ，那么x+1 = t + (m+1) + nπ，两者属于同一等价类，因此f(x+1) = f(x)。
f(x+π) = f(x)，因为如果x = t + m + nπ，那么x+π = t + m + (n+1)π，两者属于同一等价类，因此f(x+π) = f(x)。

我的反例是有效的，证明函数f不必是常数函数。
额外的思考：
如果我们对函数f加上额外的限制，比如f是连续的，那么f确实必须是常函数。这是因为，对于连续函数f，如果f(x+1) = f(x)和f(x+π) = f(x)，由于集合{m + nπ | m, n ∈ Z}在R中是稠密的，f在整个R上必须是常函数。
但是，如果不对f加任何限制，那么f可以不是常函数，如我上面构造的反例所示。
总结一下我构造的反例：

我将R划分为等价类，其中x和y属于同一等价类当且仅当x - y = m + nπ（m, n ∈ Z）。
使用选择公理，从每个等价类中选择一个代表元。这些代表元构成集合T。
定义函数f：对于任意x ∈ R，找到唯一的t ∈ T和整数m, n使得x = t + m + nπ，然后定义f(x) = g(t)，其中g是定义在T上的任意非常函数。

这个函数f满足f(x+1) = f(x)和f(x+π) = f(x)，但f不是常函数。所以，答案是函数f不一定是常函数。
我还需要注意一点：1和π都是不可公度的（因为π是无理数）。这意味着方程a·1 + b·π = 0（a, b ∈ Z不全为0）没有解。也就是说，1和π在实数R上作为Q-向量空间的元素是线性无关的。
这进一步确认了我的分析：函数f不必是常函数。
最后，让我更明确地构造反例：
首先，每个实数x可以唯一地表示为x = t + m + nπ，其中t ∈ [0, 1) ∩ [0, π)，m, n ∈ Z。（这是不对的，再思考一下）
等等，这不对。[0, 1) ∩ [0, π) = [0, 1)，这不能表示所有的实数，因为要考虑到1和π的线性组合的问题。
让我重新构造：
每个实数x对应于一个等价类[x] = {x + m + nπ | m, n ∈ Z}。R/~是所有这些等价类的集合。
定义函数f：对于任意x ∈ R，f(x) = g([x])，其中g是定义在R/~上的任意函数。只要g不是常函数，f就不是常函数。
例如，我们可以定义g([0]) = 0，g([√2]) = 1，对于其他等价类[x]，g([x]) = 0。
这样构造的函数f满足f(x+1) = f(x)和f(x+π) = f(x)，但f不是常函数，因为f(0) = 0而f(√2) = 1。
所以，确定无疑地，函数f不必是常函数。
哦等等，我可能有个更简单的反例：
定义f(x) = sin(2πx)。
那么：

f(x+1) = sin(2π(x+1)) = sin(2πx + 2π) = sin(2πx) = f(x)，所以f的周期为1。
看看f(x+π)是否等于f(x)：f(x+π) = sin(2π(x+π)) = sin(2πx + 2π²)。

这里出现了一个问题，因为2π²不是2π的整数倍，所以sin(2πx + 2π²) ≠ sin(2πx)。这意味着f(x+π) ≠ f(x)，所以f的周期不是π。
那么，如果有一个函数g满足g(x+1) = g(x)和g(x+π) = g(x)，我们能说g必须是常函数吗？
如果函数g满足g(x+1) = g(x)和g(x+π) = g(x)，那么g有两个周期：1和π。一般来说，如果一个函数有两个不可公度的周期（如1和π），那么对于任意实数y，我们可以找到整数m和n使得|m·1 + n·π - y| < ε，其中ε可以任意小。这意味着，如果g是连续的，那么g(x+y) = g(x)对任意y都成立，即g是常函数。
但如果g不要求连续，那么我上面构造的反例就是有效的。
那么，结论是：如果不对函数加任何限制，函数f不必是常函数；但如果要求函数是连续的，那么函数f必须是常函数。
但我觉得我应该可以找到一个更简单的反例，不需要使用选择公理。我试试看。
让我们考虑最简单的情况：定义在实数R上的典型周期函数sin(2πx)。这个函数的周期是1，因为sin(2π(x+1)) = sin(2πx+2π) = sin(2πx)。
现在，如果我想让这个函数也满足f(x+π) = f(x)，那么需要sin(2π(x+π)) = sin(2πx)，即sin(2πx+2π²) = sin(2πx)。
这只有在2π²是2π的整数倍时才成立，即π = n/2，这显然不成立，因为π是无理数。
所以，似乎没有标准的解析函数同时满足f(x+1) = f(x)和f(x+π) = f(x)，除非f是常函数。
但是，我们可以构造一个非常函数满足这两个条件。一种方法是使用等价类和选择公理，就像我之前做的那样。
另一种方法是使用狄利克雷函数的变种：
定义函数D(x) = 1，如果x可以表示为m+nπ的形式，其中m,n ∈ Z；否则D(x) = 0。
这个函数满足D(x+1) = D(x)和D(x+π) = D(x)，但D不是常函数，因为D(0) = 1（因为0 = 0+0·π），而D(√2) = 0（因为√2不能表示为m+nπ的形式）。
等等，这个定义也不太对。按照定义，D(x) = 1当且仅当x = m+nπ，其中m,n ∈ Z。那么D(x+1) = 1当且仅当x+1 = m+nπ，即x = (m-1)+nπ，这仍然是m+nπ的形式，所以D(x+1) = D(x)。类似地，D(x+π) = 1当且仅当x+π = m+nπ，即x = m+(n-1)π，这仍然是m+nπ的形式，所以D(x+π) = D(x)。
但是，这个函数D不是常函数，因为D(0) = 1，而对于几乎所有的实数x（如√2），D(x) = 0。
这个反例似乎是有效的：D是一个非常函数，满足D(x+1) = D(x)和D(x+π) = D(x)。
但是，这个函数D也不太满意，因为它几乎处处为0，只在可数个点上取值为1。这些点构成集合{m+nπ | m,n ∈ Z}，这是R中的一个可数稠密子集。
我希望能找到一个更"自然"的反例，例如一个在测度上不平凡的函数。
等等，让我再想想那个狄利克雷函数的定义。如果我们定义:
D(x) = 1，如果x可以表示为m+nπ的形式，其中m,n ∈ Z；
D(x) = 0，否则。
那么D(x+1) = D(x)和D(x+π) = D(x)成立吗？
D(x+1) = 1当且仅当x+1 = m+nπ，即x = (m-1)+nπ，这仍然是m+nπ的形式，所以如果D(x) = 1，那么D(x+1) = 1。同理，如果D(x) = 0，那么D(x+1) = 0。所以D(x+1) = D(x)。
类似地，D(x+π) = D(x)也成立。
但是，D不是常函数，因为D(0) = 1，而对于几乎所有的实数x（如√2），D(x) = 0。
这是一个有效的反例，证明了函数f不必是常函数。
更一般地，我们可以构造函数f如下：
f(x) = g(x)，如果x可以表示为m+nπ的形式，其中m,n ∈ Z；
f(x) = h(x)，否则。
其中g和h是任意函数，只要它们满足适当的条件，使得f(x+1) = f(x)和f(x+π) = f(x)。
例如，我们可以选择g(x) = 1和h(x) = 0，这就得到了上面的狄利克雷函数D。
总之，我们已经构造了一个反例，证明了函数f不必是常函数。这个反例是一个不连续的函数，它在一个可数稠密集上取值为1，在其它地方取值为0。特别地，我们证明了对于几乎所有的函数f，如果f(x+1) = f(x)和f(x+π) = f(x)，那么f不是常函数。只有当我们对f加上额外的限制（如连续性）时，f才必须是常函数。
结论：函数f不必是常函数，反例是：
D(x) = 1，如果x = m+nπ（m,n ∈ Z）；
D(x) = 0，否则。
D(x+1) = D(x)和D(x+π) = D(x)成立，但D不是常函数，因为D(0) = 1，而D(√2) = 0。
由此可见，只要函数f满足f(x+1) = f(x)和f(x+π) = f(x)，无论这个函数的表达式如何，它均不必是常函数。（也就是说，答案是否定的）