阿星的显微镜（画图验证）：

我们先不用公式，用最笨的方法把所有可能列出来：

如果3只全是鸡（🐔🐔🐔）：腿数 = 3×2 = 6条 ❌（不够8条）
如果2鸡1兔（🐔🐔🐇）：腿数 = 2×2 + 1×4 = 8条 ✅
如果1鸡2兔（🐔🐇🐇）：腿数 = 1×2 + 2×4 = 10条 ❌
如果0鸡3兔（🐇🐇🐇）：腿数 = 0×2 + 3×4 = 12条 ❌

所以答案是：鸡2只，兔1只。

标准算式（假设全是鸡）：
假设全是鸡，腿应有：\( 3 \times 2 = 6 \) (条)
比实际少：\( 8 - 6 = 2 \) (条)
每只兔子补2条腿，所以兔子有：\( 2 \div 2 = 1 \) (只)
鸡有：\( 3 - 1 = 2 \) (只)

阿星的避雷针：

大多数人会怎么错：看到数字变大，容易慌乱。常见错误：① 直接用94 ÷ 4 去求兔子（没考虑鸡）；② 直接用94 ÷ 2 去求总动物数（把腿当头了）；③ 算出差额后，忘记除以2。

图解陷阱：错误①和②的根源是没有先建立“全是鸡”的假设世界。他们试图直接混合计算，就像不先数清总人数，就直接去分两种不同价格的票，必然混乱。

正确思路（代入核心隐喻）：
1. 假设35只全是鸡，腿应有 \( 35 \times 2 = 70 \)条。
2. 阿星发现腿少了：实际94条，少了 \( 94 - 70 = 24 \)条。
3. 这24条腿，要给兔子补回去。每只兔子补2条。
4. 所以兔子有 \( 24 \div 2 = 12 \) 只。
5. 鸡有 \( 35 - 12 = 23 \) 只。

思维迁移：这根本不是“鸡兔”了，但模型一模一样！“三轮车”就是新“鸡”（3条腿/轮），“小汽车”就是新“兔”（4条腿/轮），“头”就是车辆总数。 核心动作依然是“假设全是某一种，比较差额，再替换”。

阿星解题：
假设全是三轮车，轮子应有：\( 20 \times 3 = 60 \)个。
比实际少了：\( 68 - 60 = 8 \)个轮子。
每辆小汽车比三轮车多1个轮子，所以小汽车有：\( 8 \div 1 = 8 \)辆。
三轮车有：\( 20 - 8 = 12 \)辆。