当然可以！既然你已经掌握了单调收敛定理（MCT），我们完全可以基于它来推导LDCT，全程不用Fatou引理。先把LDCT的条件明确下来，确保我们对齐：

设$(X, \mathcal{M}, \mu)$是测度空间，${f_n}$是一列可测函数，满足：

1. $f_n \to f$ 几乎处处（a.e.）于$X$；
2. 存在一个可积的非负函数$g$，使得对所有$n$，$|f_n| \leq g$ a.e.。

我们要证明：$\int_X f_n d\mu \to \int_X f d\mu$，且$f$是可积的。

下面分步骤来推导：

第一步：先确认$f$的可积性 #

因为$f_n \to f$ a.e.，所以$|f| = \lim_{n \to \infty} |f_n| \leq g$ a.e.（极限在a.e.意义下保持不等式）。已知$g$可积，那么$|f|$作为被$g$控制的非负可测函数，自然也可积；而$f = f^+ - f^-$（正负部分解），两者都非负且被$g$控制，所以$f$必然可积。

第二步：用MCT推导积分的上下极限关系 #

我们的核心思路是通过构造非负函数序列，利用MCT来约束积分的上下极限，最终证明它们相等。

先证$\limsup_{n \to \infty} \int f_n d\mu \leq \int f d\mu$ #

考虑非负函数序列$h_n = g - f_n$（由$|f_n| \leq g$可知$h_n \geq 0$）。因为$f_n \to f$ a.e.，所以$\lim_{n \to \infty} h_n = g - f$ a.e.。

现在定义$u_n = \inf_{k \geq n} h_k$，这个序列${u_n}$是单调递增的（因为随着$n$增大，取inf的范围缩小，结果不会变小），且$\lim_{n \to \infty} u_n = \liminf_{n \to \infty} h_n = g - f$ a.e.（因为$h_n$收敛到$g-f$，所以下极限就是它本身）。

根据单调收敛定理（MCT），我们有：
$$\int_X u_n d\mu \to \int_X (g - f) d\mu$$

另外，注意到$u_n \leq h_k$对所有$k \geq n$，所以$\int_X u_n d\mu \leq \int_X h_k d\mu$对任意$k \geq n$。这意味着$\int_X u_n d\mu \leq \inf_{k \geq n} \int_X h_k d\mu$，两边取极限：
$$\int_X (g - f) d\mu = \lim_{n \to \infty} \int_X u_n d\mu \leq \lim_{n \to \infty} \inf_{k \geq n} \int_X h_k d\mu = \liminf_{n \to \infty} \int_X h_k d\mu$$

把$h_k = g - f_k$代入展开：
$$\int g d\mu - \int f d\mu \leq \liminf_{n \to \infty} \left( \int g d\mu - \int f_n d\mu \right) = \int g d\mu - \limsup_{n \to \infty} \int f_n d\mu$$

两边减去$\int g d\mu$，再乘以$-1$（注意不等号方向反转）：
$$\limsup_{n \to \infty} \int f_n d\mu \leq \int f d\mu$$

再证$\liminf_{n \to \infty} \int f_n d\mu \geq \int f d\mu$ #

类似地，考虑非负函数序列$k_n = g + f_n$（同样由$|f_n| \leq g$可知$k_n \geq 0$），$\lim_{n \to \infty} k_n = g + f$ a.e.。

重复上面的逻辑：定义$v_n = \inf_{k \geq n} k_k$，这是单调递增序列，收敛到$g + f$ a.e.。应用MCT得：
$$\int_X v_n d\mu \to \int_X (g + f) d\mu$$

同样，$v_n \leq k_k$对所有$k \geq n$，所以$\int_X v_n d\mu \leq \inf_{k \geq n} \int_X k_k d\mu$，取极限：
$$\int_X (g + f) d\mu \leq \liminf_{n \to \infty} \int_X k_n d\mu$$

代入$k_n = g + f_n$展开：
$$\int g d\mu + \int f d\mu \leq \liminf_{n \to \infty} \left( \int g d\mu + \int f_n d\mu \right) = \int g d\mu + \liminf_{n \to \infty} \int f_n d\mu$$

两边减去$\int g d\mu$，得到：
$$\int f d\mu \leq \liminf_{n \to \infty} \int f_n d\mu$$

第三步：整合结论 #

现在我们有两个不等式：
$$\limsup_{n \to \infty} \int f_n d\mu \leq \int f d\mu \leq \liminf_{n \to \infty} \int f_n d\mu$$

而对于任何序列，$\liminf \leq \limsup$是必然成立的，所以只能是：
$$\liminf_{n \to \infty} \int f_n d\mu = \limsup_{n \to \infty} \int f_n d\mu = \int f d\mu$$

这就说明$\lim_{n \to \infty} \int f_n d\mu$存在且等于$\int f d\mu$，LDCT得证。

补充说明 #

这个方法本质上是用MCT推导了Fatou引理的核心不等式，但我们没有直接调用Fatou引理，而是从头构造单调序列完成了证明，完全符合你“未学Fatou引理”的前提。

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