本文研究了满足Dirac-调和方程的微分形式Radon积分问题.利用两种形式的H?lder不等式,首先得到了作用于满足Dirac-调和方程的微分形式上的关于Radon测度的局部Poincaré-型不等式,然后以此为基础,综合运用积分技巧与Whitney覆盖等相关性质进一步得到δ-John域上全局的Poincaré-型不等式.上述结果推广了微分形式的积分理论.