当我们要找出一个数，这个数除以7后的商是4，余数是3时，我们可以利用除法的基本公式来解决这个问题。除法的基本公式是：
[ \text{被除数} = \text{商} \times \text{除数} + \text{余数} ]
在这个问题中，我们知道：
- 商 = 4
- 除数 = 7
- 余数 = 3
现在，我们可以将这些值代入公式中：
[ \text{被除数} = 4 \times 7 + 3 ]
接下来，我们进行计算：
[ 4 \times 7 = 28 ]
然后，将余数加到乘积上：
[ 28 + 3 = 31 ]
所以，这个数是31。
用代码来表示这个过程，我们可以写成：
# 定义变量
商 = 4
除数 = 7
余数 = 3
# 计算被除数
被除数 = 商 * 除数 + 余数
# 输出结果
print("这个数是:", 被除数)
运行这段代码，你将得到同样的结果，即这个数是31。这个简单的例子展示了如何通过基本的数学运算和逻辑来解决问题。在数学中，很多问题都可以通过类似的逻辑和公式来解决。