절댓값: 0으로부터의 거리

수의 크기를 부호 없이 재는 법을 봅니다. 그것이 절댓값입니다.

수직선에서 절댓값은 0으로부터의 거리입니다. 양수는 그대로, 음수는 부호를 벗깁니다. 거리의 규칙이 그대로 성립합니다. 길이는 음수가 아니고, 두 점을 잇는 길이는 각 길이의 합을 넘지 않습니다. 이것이 삼각부등식입니다.

예를 들면, 🌡 영하 3도와 영상 3도는 0도에서 같은 거리만큼 떨어져 있습니다. 부호는 방향이고, 절댓값은 거리입니다.

∣x∣={xx≥0−xx<0|x| = \begin{cases} x & x \ge 0 \\ -x & x < 0 \end{cases}
∣x+y∣≤∣x∣+∣y∣|x + y| \le |x| + |y|
∣xy∣=∣x∣ ∣y∣|xy| = |x| \, |y|

예제

모든 실수 x,yx, y에 대해 삼각부등식 ∣x+y∣≤∣x∣+∣y∣|x + y| \le |x| + |y|가 성립함을 완전히 증명하세요.

∣x+y∣≤∣x∣+∣y∣|x + y| \le |x| + |y|
부호가 다른 경우 — 합이 한쪽을 상쇄해서 여유가 생깁니다.
증명 보기
  1. 양변 모두 음이 아니므로 제곱해서 비교합니다. ∣x+y∣2=(x+y)2=x2+2xy+y2|x + y|^2 = (x + y)^2 = x^2 + 2xy + y^2입니다.

  2. 가운데 항을 가둡니다: xy≤∣xy∣=∣x∣ ∣y∣xy \le |xy| = |x| \, |y|이므로 ∣x+y∣2≤∣x∣2+2∣x∣ ∣y∣+∣y∣2=(∣x∣+∣y∣)2|x + y|^2 \le |x|^2 + 2|x| \, |y| + |y|^2 = (|x| + |y|)^2입니다.

  3. 음이 아닌 수에서는 제곱근이 순서를 지킵니다. 양변에 제곱근을 취하면 ∣x+y∣≤∣x∣+∣y∣|x + y| \le |x| + |y|가 됩니다. 증명이 완료됩니다.

모든 실수 x,yx, y에 대해 ∣∣x∣−∣y∣∣≤∣x−y∣\bigl| |x| - |y| \bigr| \le |x - y|가 성립함을 완전히 증명하세요.

∣∣x∣−∣y∣∣≤∣x−y∣\bigl| |x| - |y| \bigr| \le |x - y|
같은 방향의 두 점 — 길이의 차가 거리를 넘지 않습니다.
증명 보기
  1. x=(x−y)+yx = (x - y) + y이므로 삼각부등식으로 ∣x∣≤∣x−y∣+∣y∣|x| \le |x - y| + |y|입니다. 정리하면 ∣x∣−∣y∣≤∣x−y∣|x| - |y| \le |x - y|입니다.

  2. xx와 yy의 역할을 바꾸면 ∣y∣−∣x∣≤∣y−x∣|y| - |x| \le |y - x|입니다. 그런데 ∣y−x∣=∣x−y∣|y - x| = |x - y|이므로 ∣y∣−∣x∣≤∣x−y∣|y| - |x| \le |x - y|도 성립합니다.

  3. 두 부등식을 합치면 ∣∣x∣−∣y∣∣=max⁡(∣x∣−∣y∣,∣y∣−∣x∣)≤∣x−y∣\bigl| |x| - |y| \bigr| = \max(|x| - |y|, |y| - |x|) \le |x - y|입니다. 증명이 완료됩니다.

부등식 ∣x−1∣<2|x - 1| < 2를 만족하는 모든 실수 xx를 구하고, 그 동치를 완전히 증명하세요.

∣x−1∣<2  ⟺  −1<x<3|x - 1| < 2 \iff -1 < x < 3
x=1x = 1 — 중심점에서는 거리가 0입니다.
증명 보기
  1. 절댓값의 정의로, 음이 아닌 수 aa와 r>0r > 0에 대해 ∣a∣<r|a| < r인 것은 −r<a<r-r < a < r인 것과 동치입니다. 부호를 나눠 확인합니다: a≥0a \ge 0이면 ∣a∣=a|a| = a라 a<ra < r이고 −r<0≤a-r < 0 \le a라 성립하고, a<0a < 0이면 ∣a∣=−a|a| = -a라 −a<r-a < r, 즉 −r<a-r < a이고 a<0<ra < 0 < r이라 성립합니다.

  2. a=x−1a = x - 1, r=2r = 2로 적용하면 ∣x−1∣<2|x - 1| < 2는 −2<x−1<2-2 < x - 1 < 2와 동치입니다. 세 변에 1을 더하면 −1<x<3-1 < x < 3입니다.

  3. 따라서 해는 열린 구간 (−1,3)(-1, 3)입니다. 말로 하면, 1에서 거리가 2보다 가까운 점들의 모임입니다.

2. 수의 체계