答案是：证明函数为单射需先明确其定义，即若 $ f(x_1) = f(x_2) $ 则 $ x_1 = x_2 $；接着可通过直接法、反证法或导数法验证，其中导数法适用于可导函数，若 $ f'(x) > 0 $ 或 $ f'(x) < 0 $ 恒成立，则函数严格单调，必为单射。
如果需要验证一个函数是否为单射，即满足每个输出值对应唯一的输入值，则可以通过逻辑推理和数学表达来严格证明。以下是证明函数为单射的标准步骤：
一、理解单射的定义
单射函数（injective function）的定义是：对于函数 $ f: A \to B $，若对任意 $ x_1, x_2 \in A $，当 $ f(x_1) = f(x_2) $ 时，必有 $ x_1 = x_2 $，则称 $ f $ 是单射。
这一定义是证明的基础，必须在开始前明确其逻辑结构。
1、写出函数的定义域和对应关系。
2、假设存在两个输入值 $ x_1 $ 和 $ x_2 $，使得 $ f(x_1) = f(x_2) $。
3、通过代数或逻辑推导，得出 $ x_1 = x_2 $ 的结论。
二、使用反证法进行推导
反证法是一种常见且有效的证明手段，适用于难以直接推导的情形。该方法通过假设结论不成立，进而推出矛盾。
1、假设 $ f(x_1) = f(x_2) $ 但 $ x_1 \ne x_2 $。
2、利用函数的具体表达式展开等式 $ f(x_1) = f(x_2) $。
3、化简方程，寻找与 $ x_1 \ne x_2 $ 相矛盾的结果。
关键提示：一旦发现推导结果违反已知条件或数学公理，则原假设错误，函数为单射。
三、通过导数判断单调性
对于实数集上的可导函数，若其导数在定义域内恒大于零或恒小于零，则函数严格单调，从而保证单射性。
1、计算函数 $ f(x) $ 的导数 $ f'(x) $。
2、分析 $ f'(x) > 0 $ 或 $ f'(x)
注意：此方法仅适用于连续且可导的函数，不可盲目套用到分段或离散函数。
四、构造具体的反例检验
在尝试证明之前，可通过选取具体数值测试是否存在不同输入映射到同一输出的情况。
1、选择两个不同的输入值 $ x_1 $ 和 $ x_2 $，例如 $ x_1 = 1, x_2 = -1 $。
2、分别计算 $ f(x_1) $ 和 $ f(x_2) $。
3、若出现 $ f(x_1) = f(x_2) $ 但 $ x_1 \ne x_2 $，则函数不是单射。
重要提醒：只要找到一组反例即可否定单射性，但无法通过有限例子证明单射。
