要解决这个问题，我们需要跟踪变量 `a` 和 `b` 的变化过程，并确定在 `while` 循环结束时它们的值。

初始值：
- `a = 3`
- `b = 4`
- `i = 0`

进入 `while i < 3` 循环：

1. **第一次循环：**
- `a` 增加 1：`a = 4`
- `a == b` 条件满足，因此 `b` 增加 1：`b = 5`
- `i` 增加 1：`i = 1`

2. **第二次循环：**
- `a` 增加 1：`a = 5`
- `a == b` 条件满足，因此 `b` 增加 1：`b = 6`
- `i` 增加 1：`i = 2`

3. **第三次循环：**
- `a` 增加 1：`a = 6`
- `a == b` 条件满足，因此 `b` 增加 1：`b = 7`
- `i` 增加 1：`i = 3`

在第三次循环后，`i` 达到了 3，循环终止。

最终值：
- `a = 6`
- `b = 7`

根据选项：
- `A: a` （即输出 `6`）
- `B: b` （即输出 `7`）
- `C: a + b` （即输出 `6 + 7 = 13`）
- `D: a - b` （即输出 `6 - 7 = -1`）

因此，正确答案是 `C: a + b`，因为 `a + b = 6 + 7 = 13`，满足题目要求的输出结果为 13。