小学语文方程式填空题：小明的书有x本，比小红多3本。如果小明给小红一半的书，那么他们两人的书将一样多。请问小明原来有多少本书？

小明和小红的书本问题实际上是一个典型的代数方程问题。我们可以通过设立方程来解决这个问题。

首先，我们设小明原来有 ( x ) 本书。根据题目描述，小明比小红多3本书，所以小红有 ( x - 3 ) 本书。

接下来，题目说如果小明给小红一半的书，那么他们两人的书将一样多。这意味着小明给小红的书是 ( \frac{x}{2} ) 本。因此，小明剩下的书是 ( x - \frac{x}{2} ) 本，而小红得到的书是 ( x - 3 + \frac{x}{2} ) 本。

当小明给小红一半的书后，他们两人的书本数相等，我们可以建立以下方程：

[ x - \frac{x}{2} = x - 3 + \frac{x}{2} ]

现在，让我们解这个方程：

1. 将方程两边的 ( \frac{x}{2} ) 移到同一边，得到： [ x - \frac{x}{2} - \frac{x}{2} = x - 3 ]

2. 简化方程： [ x - x = x - 3 ]

3. 进一步简化： [ 0 = x - 3 ]

4. 最后，解得： [ x = 3 ]

所以，小明原来有 3 本书。接下来，我们可以用代码来验证这个结果。

# 定义变量
x = 3

# 小明给小红一半的书后，小明和小红的书本数
xiaoming_after = x - x / 2
xiaohong_after = x - 3 + x / 2

# 输出结果
print(f"小明原来有 {x} 本书。")
print(f"小明给小红一半的书后，小明有 {xiaoming_after} 本书，小红有 {xiaohong_after} 本书。")

运行这段代码，我们会看到小明原来有 3 本书，给小红一半后，小明剩下 1.5 本书，小红也得到 1.5 本书，两人的书本数相等，验证了我们的方程是正确的。