13.4 数学库 (Math Library)

13.4 数学库 (Math Library)

Lua 数学库 (Math Library) 详解与实践

Lua 语言以其轻量级、高效和可嵌入性而闻名，其标准库是其强大功能的重要组成部分。其中，数学库 (Math Library) 提供了丰富的数学函数，涵盖了从基本算术运算到高级三角函数、随机数生成等各种功能。对于任何需要在 Lua 环境中进行数值计算的开发者来说，数学库都是不可或缺的工具。

1. 数学库概览

Lua 的数学库通过 math 表 (table) 提供。要使用数学库中的函数和常量，我们需要使用 math. 前缀来访问，例如 math.sin()，math.pi 等。

数学库主要包含以下几个方面的功能：

• 常量: 提供常用的数学常量，如圆周率 pi 和正无穷大 huge。

• 基本算术运算: 包括绝对值、取整、取模、最大值、最小值、平方根、幂运算、指数和对数等。

• 三角函数: 提供正弦、余弦、正切、反正弦、反余弦、反正切以及角度和弧度转换函数。

• 随机数生成: 提供伪随机数生成函数和随机数种子设置函数。

• 其他函数: 例如 fmod (浮点数取模), modf (分离整数和小数部分), frexp 和 ldexp (浮点数的指数和尾数操作) 等。

2. 数学常量

数学库提供了两个重要的常量：

• math.pi: 表示圆周率 π (约等于 3.1415926535...)。这是一个非常常用的数学常量，在几何、三角函数等领域广泛应用。

• math.huge: 表示一个比任何其他数值都大的数，通常用于表示正无穷大。 在比较和某些特定场景下很有用。

代码实践：常量使用

-- 输出圆周率
print("圆周率 (pi):", math.pi)
-- 输出正无穷大
print("正无穷大 (huge):", math.huge)
-- 判断一个数是否接近正无穷大
local large_number = 1e308 -- 一个很大的数
if large_number == math.huge then
  print("large_number 等于正无穷大") -- 实际不会相等，因为 math.huge 是一个特殊值
else
  print("large_number 小于正无穷大")
end
if large_number > 1e307 then -- 可以用比较运算来判断接近程度
    print("large_number 非常大")
end
​

内容详解：常量说明

• math.pi 是一个预定义的常量，可以直接使用，无需计算。它提供了一个高精度的 π 值，满足大多数数学计算的需求。

• math.huge 在 Lua 中代表一个特殊的值，它比任何有限数值都大。需要注意的是， math.huge 并不完全等同于数学意义上的无穷大，它更像是一个 Lua 中用来表示“非常大”的概念。在实际应用中，可以使用 math.huge 进行比较，或者作为某些算法的初始值。

3. 基本算术运算函数

数学库提供了丰富的基本算术运算函数，方便进行各种数值计算。

3.1 绝对值函数 math.abs(x)

• 功能: 返回数值 x 的绝对值。

• 参数: x - 数值类型。

• 返回值: x 的绝对值，数值类型。

代码实践：绝对值

print("绝对值:")
print("math.abs(5):", math.abs(5))    -- 输出: 5
print("math.abs(-5):", math.abs(-5))   -- 输出: 5
print("math.abs(0):", math.abs(0))     -- 输出: 0
print("math.abs(-3.14):", math.abs(-3.14)) -- 输出: 3.14
​

内容详解：绝对值

math.abs() 函数非常简单直接，用于获取一个数值的正值。在处理距离、大小等概念时非常有用，例如计算两个点之间的距离，或者确保某个值始终为正数。

3.2 取整函数 math.ceil(x) 和 math.floor(x)

• math.ceil(x) (向上取整): 返回大于或等于 x 的最小整数。

• math.floor(x) (向下取整): 返回小于或等于 x 的最大整数。

• 参数: x - 数值类型。

• 返回值: 整数类型。

代码实践：取整

print("\n取整函数:")
print("math.ceil(3.2):", math.ceil(3.2))   -- 输出: 4
print("math.ceil(3.9):", math.ceil(3.9))   -- 输出: 4
print("math.ceil(-3.2):", math.ceil(-3.2))  -- 输出: -3
print("math.ceil(-3.9):", math.ceil(-3.9)) -- 输出: -3
print("math.floor(3.2):", math.floor(3.2))  -- 输出: 3
print("math.floor(3.9):", math.floor(3.9))  -- 输出: 3
print("math.floor(-3.2):", math.floor(-3.2)) -- 输出: -4
print("math.floor(-3.9):", math.floor(-3.9)) -- 输出: -4
​

内容详解：取整函数

• math.ceil() 函数会将数值向上舍入到最接近的整数。

• math.floor() 函数会将数值向下舍入到最接近的整数。

这两个函数在处理需要整数结果的场景中非常有用，例如数组索引、分页计算、游戏中的格子坐标等。

3.3 取模函数 math.fmod(x, y) 和 % 运算符

• math.fmod(x, y) (浮点数取模): 返回 x 除以 y 的浮点数余数。

• % 运算符 (整数取模): 返回 x 除以 y 的整数余数。

• 参数: x, y - 数值类型。

• 返回值: 余数，数值类型。

代码实践：取模

print("\n取模函数:")
print("math.fmod(10, 3):", math.fmod(10, 3))   -- 输出: 1
print("math.fmod(10.5, 3):", math.fmod(10.5, 3)) -- 输出: 1.5
print("math.fmod(-10, 3):", math.fmod(-10, 3))  -- 输出: -1 (符号与 x 相同)
print("math.fmod(10, -3):", math.fmod(10, -3))  -- 输出: 1  (符号与 x 相同)
print("math.fmod(-10, -3):", math.fmod(-10, -3)) -- 输出: -1 (符号与 x 相同)
print("10 % 3:", 10 % 3)         -- 输出: 1
print("-10 % 3:", -10 % 3)        -- 输出: 2 (符号与 y 相同，不同于 math.fmod)
print("10 % -3:", 10 % -3)        -- 输出: -2 (符号与 y 相同，不同于 math.fmod)
print("-10 % -3:", -10 % -3)       -- 输出: -1 (符号与 y 相同，不同于 math.fmod)
​

内容详解：取模函数

• math.fmod(x, y) 返回的是浮点数余数，其结果的符号与 x 相同。

• % 运算符在 Lua 中执行整数取模运算，其结果的符号与 y 相同（从 Lua 5.1 开始，之前的版本符号与 x 相同）。

两者在正数情况下结果相同，但在负数情况下结果可能不同。在需要精确控制余数符号或处理浮点数取模时，math.fmod 更加适用。而 % 运算符在整数运算中更常用，例如判断奇偶性 (x % 2 == 0 判断偶数)。

3.4 分离整数和小数部分 math.modf(x)

• 功能: 返回数值 x 的整数部分和小数部分。

• 参数: x - 数值类型。

• 返回值: 两个数值，第一个是整数部分，第二个是小数部分。

代码实践：分离整数和小数

print("\n分离整数和小数部分:")
local integer_part, fractional_part = math.modf(3.14159)
print("math.modf(3.14159): 整数部分 =", integer_part, ", 小数部分 =", fractional_part)
-- 输出: 整数部分 = 3 , 小数部分 = 0.14159
integer_part, fractional_part = math.modf(-7.8)
print("math.modf(-7.8): 整数部分 =", integer_part, ", 小数部分 =", fractional_part)
-- 输出: 整数部分 = -7 , 小数部分 = -0.8
integer_part, fractional_part = math.modf(5)
print("math.modf(5): 整数部分 =", integer_part, ", 小数部分 =", fractional_part)
-- 输出: 整数部分 = 5 , 小数部分 = 0
​

内容详解：分离整数和小数部分

math.modf(x) 函数可以将一个数值分解为整数部分和小数部分，并以两个返回值返回。这在需要分别处理数值的整数和小数部分时非常有用，例如格式化输出、数值分解等。

3.5 最大值和最小值函数 math.max(...) 和 math.min(...)

• math.max(...): 返回所有参数中的最大值。

• math.min(...): 返回所有参数中的最小值。

• 参数: 可变数量的数值类型参数。

• 返回值: 最大值或最小值，数值类型。

代码实践：最大值和最小值

print("\n最大值和最小值:")
print("math.max(1, 5, 2, 8, 3):", math.max(1, 5, 2, 8, 3))   -- 输出: 8
print("math.min(1, 5, 2, 8, 3):", math.min(1, 5, 2, 8, 3))   -- 输出: 1
print("math.max(-1, -5, -2):", math.max(-1, -5, -2))       -- 输出: -1
print("math.min(-1, -5, -2):", math.min(-1, -5, -2))       -- 输出: -5
print("math.max(3.14, 2.71, 4.5):", math.max(3.14, 2.71, 4.5)) -- 输出: 4.5
print("math.min(3.14, 2.71, 4.5):", math.min(3.14, 2.71, 4.5)) -- 输出: 2.71
​

内容详解：最大值和最小值

math.max() 和 math.min() 函数可以接受任意数量的数值参数，并分别返回其中的最大值和最小值。这在比较多个数值、查找集合中的极值等场景中非常方便。

3.6 平方根函数 math.sqrt(x)

• 功能: 返回数值 x 的平方根。

• 参数: x - 数值类型，必须是非负数。

• 返回值: x 的平方根，数值类型。

代码实践：平方根

print("\n平方根:")
print("math.sqrt(9):", math.sqrt(9))     -- 输出: 3
print("math.sqrt(2):", math.sqrt(2))     -- 输出: 1.4142135623731
print("math.sqrt(16):", math.sqrt(16))    -- 输出: 4
-- print("math.sqrt(-1):", math.sqrt(-1)) -- 错误: math.sqrt expects a non-negative number
​

内容详解：平方根

math.sqrt(x) 函数用于计算非负数 x 的平方根。如果 x 是负数，则会报错。在几何计算、物理模拟等领域，平方根函数经常被使用，例如计算距离、速度等。

3.7 幂运算函数 math.pow(x, y) 和 ^ 运算符

• math.pow(x, y): 返回 x 的 y 次幂，即 x^y。

• ^ 运算符: 也用于幂运算，等价于 math.pow(x, y)。

• 参数: x, y - 数值类型。

• 返回值: x^y 的值，数值类型。

代码实践：幂运算

print("\n幂运算:")
print("math.pow(2, 3):", math.pow(2, 3))   -- 输出: 8
print("2 ^ 3:", 2 ^ 3)                 -- 输出: 8 (使用 ^ 运算符)
print("math.pow(10, -2):", math.pow(10, -2)) -- 输出: 0.01
print("5 ^ 0.5:", 5 ^ 0.5)               -- 输出: 2.2360679774998
​

内容详解：幂运算

math.pow(x, y) 函数和 ^ 运算符都用于计算幂运算。它们的功能完全相同，只是语法形式不同。在 Lua 中，使用 ^ 运算符通常更加简洁方便。幂运算在各种数学、科学和工程领域都有广泛应用，例如指数增长、物理公式计算等。

3.8 指数函数 math.exp(x)

• 功能: 返回自然常数 e (约等于 2.71828...) 的 x 次幂，即 e^x。

• 参数: x - 数值类型。

• 返回值: e^x 的值，数值类型。

代码实践：指数函数

print("\n指数函数:")
print("math.exp(1):", math.exp(1))     -- 输出: 2.718281828459
print("math.exp(0):", math.exp(0))     -- 输出: 1
print("math.exp(2):", math.exp(2))     -- 输出: 7.3890560989307
​

内容详解：指数函数

math.exp(x) 函数计算以自然常数 e 为底的指数函数 e^x。自然常数 e 在数学中具有重要的地位，指数函数在微积分、统计学、物理学等领域都有广泛应用，例如描述指数增长、衰减等现象。

3.9 对数函数 math.log(x, base)

• 功能: 返回以 base 为底的 x 的对数。如果省略 base，则默认底数为自然常数 e，即返回自然对数 ln(x)。

• 参数:

  • x - 数值类型，必须是正数。

  • base (可选) - 对数的底数，数值类型，必须是正数且不等于 1。如果省略，则底数为 e。

• 返回值: 对数值，数值类型。

代码实践：对数函数

print("\n对数函数:")
print("math.log(10):", math.log(10))      -- 输出: 2.302585092994
print("math.log(math.exp(1)):", math.log(math.exp(1))) -- 输出: 1 (ln(e) = 1)
print("math.log(100, 10):", math.log(100, 10))  -- 输出: 2 (log10(100) = 2)
print("math.log(8, 2):", math.log(8, 2))    -- 输出: 3 (log2(8) = 3)
-- print("math.log(-1):", math.log(-1))     -- 错误: math.log expects a positive number
​

内容详解：对数函数

math.log(x, base) 函数计算对数。如果不指定 base，则计算自然对数 ln(x)。对数函数是指数函数的反函数，在数学、科学、工程、计算机科学等领域都有广泛应用，例如信息论中的熵、算法复杂度分析等。

4. 三角函数

数学库提供了常用的三角函数，包括正弦、余弦、正切及其反函数，以及角度和弧度转换函数。

4.1 正弦函数 math.sin(x)

• 功能: 返回角度 x (以弧度为单位) 的正弦值。

• 参数: x - 角度值，以弧度为单位。

• 返回值: 正弦值，数值类型，范围在 [-1, 1] 之间。

4.2 余弦函数 math.cos(x)

• 功能: 返回角度 x (以弧度为单位) 的余弦值。

• 参数: x - 角度值，以弧度为单位。

• 返回值: 余弦值，数值类型，范围在 [-1, 1] 之间。

4.3 正切函数 math.tan(x)

• 功能: 返回角度 x (以弧度为单位) 的正切值。

• 参数: x - 角度值，以弧度为单位。

• 返回值: 正切值，数值类型。

代码实践：三角函数 (弧度)

print("\n三角函数 (弧度):")
local radian_45 = math.pi / 4 -- 45度角的弧度值
print("math.sin(math.pi/2):", math.sin(math.pi/2))   -- 输出: 1 (sin(90°) = 1)
print("math.cos(0):", math.cos(0))         -- 输出: 1 (cos(0°) = 1)
print("math.tan(math.pi/4):", math.tan(math.pi/4))   -- 输出: 1 (tan(45°) = 1)
print("math.sin(radian_45):", math.sin(radian_45)) -- 输出: 0.70710678118655 (sin(45°) ≈ 0.707)
print("math.cos(radian_45):", math.cos(radian_45)) -- 输出: 0.70710678118655 (cos(45°) ≈ 0.707)
​

内容详解：正弦、余弦、正切

math.sin(x)，math.cos(x)，math.tan(x) 分别计算正弦、余弦和正切值。 注意，这些函数的参数 x 必须是弧度值，而不是角度值。 如果需要使用角度值，需要先将其转换为弧度。

4.4 反正弦函数 math.asin(x)

• 功能: 返回值域为 [-π/2, π/2] 的反正弦值 (弧度)。

• 参数: x - 正弦值，数值类型，范围在 [-1, 1] 之间。

• 返回值: 反正弦值，弧度值，范围在 [-π/2, π/2] 之间。

4.5 反余弦函数 math.acos(x)

• 功能: 返回值域为 [0, π] 的反余弦值 (弧度)。

• 参数: x - 余弦值，数值类型，范围在 [-1, 1] 之间。

• 返回值: 反余弦值，弧度值，范围在 [0, π] 之间。

4.6 反正切函数 math.atan(x) 和 math.atan2(y, x)

• math.atan(x): 返回值域为 [-π/2, π/2] 的反正切值 (弧度)。

• math.atan2(y, x): 返回点 (x, y) 与原点连线和 x 轴正方向的夹角 (弧度)，值域为 [-π, π]。

• 参数:

  • math.atan(x): x - 正切值，数值类型。

  • math.atan2(y, x): y, x - 坐标值，数值类型。

• 返回值: 反正切值，弧度值。

代码实践：反三角函数

print("\n反三角函数:")
local sin_value = math.sin(math.pi / 6) -- sin(30°) = 0.5
print("sin_value:", sin_value)             -- 输出: 0.5
print("math.asin(sin_value):", math.asin(sin_value)) -- 输出: 0.5235987755983 (≈ π/6)
local cos_value = math.cos(math.pi / 3) -- cos(60°) = 0.5
print("cos_value:", cos_value)             -- 输出: 0.5
print("math.acos(cos_value):", math.acos(cos_value)) -- 输出: 1.0471975511966 (≈ π/3)
local tan_value = math.tan(math.pi / 4) -- tan(45°) = 1
print("tan_value:", tan_value)             -- 输出: 1
print("math.atan(tan_value):", math.atan(tan_value)) -- 输出: 0.78539816339745 (≈ π/4)
print("math.atan2(1, 1):", math.atan2(1, 1))   -- 输出: 0.78539816339745 (点 (1, 1) 的角度 ≈ π/4)
print("math.atan2(1, -1):", math.atan2(1, -1))  -- 输出: 2.3561944901923 (点 (-1, 1) 的角度 ≈ 3π/4)
print("math.atan2(-1, -1):", math.atan2(-1, -1)) -- 输出: -2.3561944901923 (点 (-1, -1) 的角度 ≈ -3π/4)
print("math.atan2(-1, 1):", math.atan2(-1, 1))  -- 输出: -0.78539816339745 (点 (1, -1) 的角度 ≈ -π/4)
​