求在区间[0,1]上递增且平均值为2/3的函数及逆向推导方法

嘿，这个问题挺有意思的——先直接给你几个满足条件的函数例子，再一步步讲怎么从平均值条件逆向推导，包你搞清楚！

先上几个现成的满足条件的函数 #

这些函数都符合「在[0,1]单调递增」且「平均值为2/3」的要求，你可以直接验证：

• 线性函数（最简单的）：f(x) = (4/3)x
  验证：积分∫₀¹(4/3)x dx = (4/3)*(x²/2)|₀¹ = 2/3，刚好等于平均值；导数为4/3 > 0，严格单调递增。
• 非线性函数：f(x) = x² + 1/3
  验证：积分∫₀¹(x² + 1/3)dx = 1/3 + 1/3 = 2/3；导数2x ≥ 0，在[0,1]上单调递增（x>0时严格递增）。
• 分段单调函数：

  f(x) = x,  x ∈ [0, 1/2)
  f(x) = x + 1/3,  x ∈ [1/2, 1]
  

  验证：积分计算为∫₀^(1/2)x dx + ∫_(1/2)^1(x+1/3)dx = 1/8 + (5/6 - 7/24) = 2/3，且函数在整个区间严格递增。

怎么借助平均值的条件逆向推导？ #

首先得明确：区间[0,1]上函数的平均值，就等于该函数在[0,1]上的定积分值（因为区间长度是1，平均值公式(1/(b-a))∫ₐᵇf(x)dx简化后就是积分本身）。所以题目要求的核心条件可以转化为：

∫₀¹f(x)dx = 2/3，同时f(x)在[0,1]上单调递增（即对任意0≤x₁<x₂≤1，有f(x₁)≤f(x₂)，严格递增则是<）。

逆向构造的思路可以分成这几步：

1. 从简单的函数类型入手
   线性函数是最容易构造的：设f(x)=kx+b，单调递增要求k>0。代入积分条件：
   ∫₀¹(kx+b)dx = k/2 + b = 2/3
   随便选一个正数k，就能算出对应的b：比如选k=1，则b=2/3 - 1/2 = 1/6，得到f(x)=x + 1/6，完全符合要求。

2. 基于已知单调函数调整
   先选一个你熟悉的单调递增函数（比如x²、e^x等），计算它在[0,1]的积分I，然后通过加常数或乘系数来满足积分等于2/3：

   • 加常数：设f(x)=g(x)+c，则∫₀¹f(x)dx = I + c = 2/3，解得c=2/3 - I。比如g(x)=x²的积分I=1/3，所以c=1/3，得到f(x)=x²+1/3。
   • 乘系数：设f(x)=a*g(x)，则a*I=2/3，解得a=2/(3I)。比如g(x)=x的积分I=1/2，则a=4/3，得到f(x)=4x/3。

3. 利用导数构造更灵活的函数
   如果要构造更复杂的函数，可以从导数入手：单调递增意味着f’(x)≥0（严格递增则f’(x)>0）。设f’(x)=h(x)（h(x)≥0在[0,1]上），则f(x)=f(0)+∫₀ˣh(t)dt。代入积分条件：
   ∫₀¹f(x)dx = f(0) + ∫₀¹∫₀ˣh(t)dtdx = 2/3
   比如选h(t)=2（常数），计算得∫₀¹∫₀ˣ2dtdx=1，所以f(0)=2/3 -1 = -1/3，得到f(x)=2x -1/3，同样满足要求。

说白了，满足条件的函数有无数个，只要抓住「积分等于2/3」和「单调递增」这两个核心约束，就能自由构造啦！

内容的提问来源于stack exchange，提问作者greathye