AP CalculusLessonBài giảng 0.2 Functions and GraphsHàm số và đồ thị 0.10.3

0.2 Functions and Graphs Hàm số và đồ thị

1Functions

Hàm số

Section 0.1 already used some function language. It linked lines in the coordinate plane to their equations, which are linear functions. Here we go through more of the vocabulary of functions and graphs, so these words feel familiar in later chapters.

Vne

Mục 0.1 đã dùng một ít ngôn ngữ hàm số. Mục đó liên kết các đường thẳng trong mặt phẳng tọa độ với phương trình của chúng, tức là các hàm số tuyến tính. Mục này đi qua thêm các thuật ngữ về hàm số và đồ thị, để các chương sau bạn thấy quen thuộc.

Definition · Function

A function from a set DD to a set RR is a rule that gives every element of DD exactly one element of RR.

The inputs, all the values in DD, make up the domain. The outputs, all the values in RR that come out, make up the range.

We write f(x)f(x) for the output that ff gives to the input xx; this is function notation. The points (x,y)(x, y) in the coordinate plane with y=f(x)y = f(x) form the graph of ff. Here xx is the independent variable and yy is the dependent variable.

Vne
Định nghĩa · Hàm số

Hàm số từ tập DD đến tập RR là một quy tắc gán mỗi phần tử của DD với đúng một phần tử của RR.

Các giá trị đầu vào, tức mọi giá trị trong DD, tạo thành tập xác định (domain). Các giá trị đầu ra, tức mọi giá trị trong RR thực sự nhận được, tạo thành tập giá trị (range).

Ta viết f(x)f(x) cho giá trị đầu ra mà ff gán cho đầu vào xx; đó là ký hiệu hàm số. Các điểm (x,y)(x, y) trong mặt phẳng tọa độ thỏa y=f(x)y = f(x) tạo thành đồ thị của ff. Ở đây xx là biến độc lập và yy là biến phụ thuộc.

In this course, nearly every function takes real numbers (such as 33, −1.5-1.5, 2\sqrt{2}) to real numbers. You could call the course the calculus of real functions of one real variable. So the domain and the range are subsets of the real numbers. Each is a part of the real numbers, such as all numbers from 0 to 1, and not always all of them.

Vne

Trong khóa học này, gần như mọi hàm số đều đi từ số thực (như 33, −1.5-1.5, 2\sqrt{2}) đến số thực. Có thể gọi khóa học là giải tích của các hàm số thực một biến thực. Vì vậy, tập xác định và tập giá trị là các tập con của tập số thực. Mỗi tập chỉ là một phần của tập số thực, chẳng hạn mọi số từ 0 đến 1, và không phải lúc nào cũng là toàn bộ.

A function as a machine

Think of ff as a machine (Figure 0.6): put in a value xx and one value f(x)f(x) comes out. So each xx has exactly one matching f(x)f(x). The reverse need not hold: one value of f(x)f(x) can come from several inputs x1,x2,x3,…x_1, x_2, x_3, \dots (Figure 0.7(a)).

Vne
Hàm số như một cỗ máy

Hình dung ff là một cỗ máy (Hình 0.6): đưa vào một giá trị xx thì ra một giá trị f(x)f(x). Nghĩa là mỗi giá trị xx có đúng một giá trị f(x)f(x) tương ứng. Ngược lại, một giá trị f(x)f(x) có thể do nhiều giá trị x1,x2,x3,…x_1, x_2, x_3, \dots cùng cho ra (Hình 0.7(a)).

x f f(x) machine
Figure 0.6 · A function as a machine: input x, output f(x)
Vne
x f f(x) cỗ máy
Hình 0.6 · Hàm số như một cỗ máy: đầu vào xx, đầu ra f(x)f(x).
Figure 0.7 · Pairing DD with RR

Each diagram pairs elements of a set DD with elements of a set RR. One diagram is a function, the other is not.

Vne
Hình 0.7 · Ghép DD với RR

Mỗi sơ đồ ghép các phần tử của tập DD với các phần tử của tập RR. Một sơ đồ là hàm số, sơ đồ kia thì không.

(a) A function. Every element of DD has exactly one arrow, so it gets exactly one value in RR. Different elements of DD may reach the same element of RR.

Vne

(a) Là hàm số. Mỗi phần tử của DD có đúng một mũi tên, nên ứng với đúng một giá trị trong RR. Nhiều phần tử của DD có thể cùng đến một phần tử của RR.

D R a b c 1 2 3
Figure 0.7(a) · A function from DD to RR
Vne
D R a b c 1 2 3
Hình 0.7(a) · Hàm số từ DD đến RR.

(b) Not a function. One element of DD has two arrows, so it would get two values in RR.

Vne

(b) Không phải hàm số. Một phần tử của DD có hai mũi tên, tức ứng với hai giá trị trong RR.

D R a b c 1 2 3
Figure 0.7(b) · Not a function
Vne
D R a b c 1 2 3
Hình 0.7(b) · Không phải hàm số.
Function notation

Euler introduced a symbolic way to say “yy is a function of xx”:

y=f(x)y = f(x)

read “yy equals ff of xx”.

With this notation we can name different functions by changing the letters:

  • the boiling point bb of water as a function of the elevation ee is written b=f(e)b = f(e);
  • the area of a circle as a function of its radius rr is written A=A(r)A = A(r). The function takes the letter of its output, AA.

The notation y=f(x)y = f(x) also lets us write specific values: the value of ff at aa is f(a)f(a), read “ff of aa”.

Vne
Ký hiệu hàm số

Euler đưa ra một cách ký hiệu để viết “yy là hàm số của xx”:

y=f(x)y = f(x)

đọc là “yy bằng ff của xx”.

Nhờ ký hiệu này, ta đặt được tên khác nhau cho các hàm số bằng cách đổi chữ cái:

  • nhiệt độ sôi bb của nước là hàm số của độ cao ee được viết b=f(e)b = f(e);
  • diện tích hình tròn là hàm số của bán kính rr được viết A=A(r)A = A(r), ở đây hàm số được đặt tên theo đại lượng đầu ra là AA.

Ký hiệu y=f(x)y = f(x) còn cho phép viết các giá trị cụ thể: giá trị của ff tại aa là f(a)f(a), đọc là “ff của aa”.

Example 1Circle area from the radius

Write a formula that gives the area of a circle as a function of its radius. Then use it to find the area of a circle of radius 55 cm.

If the radius is rr, the area A(r)A(r) is given by

A(r)=πr2.A(r) = \pi r^2.

To find the area for radius 55 cm, evaluate the function at r=5r = 5:

A(5)=π(5)2=25π.A(5) = \pi (5)^2 = 25\pi.

The area of a circle of radius 55 cm is 25π25\pi square centimeters.

Vne
Ví dụ 1Diện tích hình tròn theo bán kính

Viết công thức cho diện tích hình tròn như một hàm số của bán kính. Sau đó dùng công thức để tính diện tích hình tròn bán kính 55 cm.

Nếu bán kính là rr thì diện tích A(r)A(r) được cho bởi

A(r)=πr2.A(r) = \pi r^2.

Để tìm diện tích khi bán kính bằng 55 cm, tính giá trị của hàm số tại r=5r = 5:

A(5)=π(5)2=25π.A(5) = \pi (5)^2 = 25\pi.

Diện tích hình tròn bán kính 55 cm là 25π25\pi xăng-ti-mét vuông.

2Domains and Ranges

Tập xác định và tập giá trị

We often define a function with an equation, such as y=x2+3y = x^2 + 3. We then take yy to be a function of xx, with xx the independent variable and yy the dependent variable.

Vne

Ta thường xác định một hàm số bằng một phương trình, chẳng hạn y=x2+3y = x^2 + 3. Khi đó ta hiểu yy là hàm số của xx, trong đó xx là biến độc lập và yy là biến phụ thuộc.

Definition · Implied domain and relevant domain

If a formula is given and the domain is neither stated nor limited by context, the domain is the largest set of xx values for which the formula gives real yy values. This is the implied domain.

Sometimes the context limits the domain. In the circle-area function A(r)=πr2A(r) = \pi r^2 of Example 1, rr is a radius, so it cannot be negative. A domain restricted by context is the relevant domain.

Vne
Định nghĩa · Tập xác định ngầm định và tập xác định theo ngữ cảnh

Nếu cho một công thức mà tập xác định không được nêu và cũng không bị ngữ cảnh hạn chế, thì tập xác định là tập lớn nhất các giá trị xx để công thức cho giá trị yy thực. Đây là tập xác định ngầm định (implied domain).

Đôi khi ngữ cảnh hạn chế tập xác định. Ở hàm diện tích hình tròn A(r)=πr2A(r) = \pi r^2 trong Ví dụ 1, rr là bán kính nên không thể âm. Tập xác định bị ngữ cảnh hạn chế gọi là tập xác định theo ngữ cảnh (relevant domain).

A domain can also be restricted in the definition of the function itself, as in v(t)=24t+10v(t) = 24t + 10 for t≥0t \ge 0.

Vne

Tập xác định cũng có thể bị hạn chế ngay trong định nghĩa của hàm số, như v(t)=24t+10v(t) = 24t + 10 với t≥0t \ge 0.

The domain and range of many real-valued functions of a real variable are intervals, or combinations of intervals. An interval may be open, closed, or half-open (Figures 0.8 and 0.9), and finite or infinite (Figure 0.10).

Vne

Tập xác định và tập giá trị của nhiều hàm số thực của một biến thực là các khoảng, hoặc hợp của các khoảng. Một khoảng có thể mở, đóng hoặc nửa mở (Hình 0.8 và 0.9), hữu hạn hoặc vô hạn (Hình 0.10).

Figures 0.8–0.10 · Intervals on the number line
(−∞,∞)(-\infty,\infty)
−∞<x<∞-\infty\lt x\lt \infty
All real numbers
a b (a,b)(a,b)
a<x<ba\lt x\lt b
Open interval
a b [a,b][a,b]
a≤x≤ba\le x\le b
Closed interval
a b [a,b)[a,b)
a≤x<ba\le x\lt b
Closed at aa, open at bb
a b (a,b](a,b]
a<x≤ba\lt x\le b
Open at aa, closed at bb
a (a,∞)(a,\infty)
x>ax\gt a
Numbers greater than aa
a [a,∞)[a,\infty)
x≥ax\ge a
Numbers greater than or equal to aa
b (−∞,b)(-\infty,b)
x<bx\lt b
Numbers less than bb
b (−∞,b](-\infty,b]
x≤bx\le b
Numbers less than or equal to bb
Vne
Hình 0.8–0.10 · Các khoảng trên trục số
(−∞,∞)(-\infty,\infty)
−∞<x<∞-\infty\lt x\lt \infty
Mọi số thực
a b (a,b)(a,b)
a<x<ba\lt x\lt b
Khoảng mở
a b [a,b][a,b]
a≤x≤ba\le x\le b
Khoảng đóng
a b [a,b)[a,b)
a≤x<ba\le x\lt b
Đóng ở aa, mở ở bb
a b (a,b](a,b]
a<x≤ba\lt x\le b
Mở ở aa, đóng ở bb
a (a,∞)(a,\infty)
x>ax\gt a
Các số lớn hơn aa
a [a,∞)[a,\infty)
x≥ax\ge a
Các số lớn hơn hoặc bằng aa
b (−∞,b)(-\infty,b)
x<bx\lt b
Các số nhỏ hơn bb
b (−∞,b](-\infty,b]
x≤bx\le b
Các số nhỏ hơn hoặc bằng bb
Careful

The symbol ∞\infty (infinity) is only a convenient notation. It does not mean there is a number ∞\infty.

Vne
Lưu ý

Ký hiệu ∞\infty (vô cực) chỉ là một cách viết tiện lợi. Nó không có nghĩa là có một số ∞\infty.

Definition · Boundary and interior

The endpoints of an interval form its boundary and are called boundary points. The remaining points form its interior and are called interior points.

Closed intervals contain their boundary points. Open intervals contain no boundary points; every point of an open interval is an interior point.

Vne
Định nghĩa · Biên và phần trong

Các đầu mút của một khoảng tạo thành biên (boundary) của nó và gọi là điểm biên. Các điểm còn lại tạo thành phần trong (interior) và gọi là điểm trong.

Khoảng đóng chứa các điểm biên của nó. Khoảng mở không chứa điểm biên nào; mọi điểm của khoảng mở đều là điểm trong.

3Viewing and Interpreting Graphs

Xem và đọc đồ thị

The points (x,y)(x, y) whose coordinates are the input-output pairs of a function y=f(x)y = f(x) make up its graph. For example, the graph of y=x−3y = x - 3 is the set of points (x,y)(x, y) for which yy equals x−3x - 3.

Vne

Các điểm (x,y)(x, y) có tọa độ là các cặp đầu vào – đầu ra của hàm số y=f(x)y = f(x) tạo thành đồ thị của nó. Chẳng hạn, đồ thị của y=x−3y = x - 3 là tập các điểm (x,y)(x, y) mà yy bằng x−3x - 3.

Example 2(a)Domain and range of y=2xy = \dfrac{2}{x}

Find the domain and range of y=2xy = \dfrac{2}{x}, and sketch its graph.

(a) The formula gives a real yy for every real xx except x=0x = 0 (we cannot divide by 00).

So the domain is (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty), where ∪\cup means “together with”.

The value yy is never 00, because 2/x2/x is never 00.

Every other real value occurs: for c≠0c \ne 0, we get y=cy = c when x=2/cx = 2/c.

So the range is also (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty).

A sketch is in Figure 0.11(a).

−4 −2 2 4 2 4 6 0 x y −2 −4 −6 y = 2/x
Figure 0.11(a) · y=2xy = \dfrac{2}{x}: domain and range (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty)
Vne
Ví dụ 2(a)Tập xác định và tập giá trị của y=2xy = \dfrac{2}{x}

Tìm tập xác định và tập giá trị của y=2xy = \dfrac{2}{x}, rồi vẽ phác đồ thị của nó.

(a) Công thức cho yy thực với mọi xx thực trừ x=0x = 0 (không chia được cho 00).

Vậy tập xác định là (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty), trong đó ∪\cup nghĩa là “hợp với”.

Giá trị yy không bao giờ bằng 00, vì 2/x2/x không bao giờ bằng 00.

Mọi giá trị thực khác đều xuất hiện: với c≠0c \ne 0, ta có y=cy = c khi x=2/cx = 2/c.

Vậy tập giá trị cũng là (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty).

Hình vẽ phác ở Hình 0.11(a).

−4 −2 2 4 2 4 6 0 x y −2 −4 −6 y = 2/x
Hình 0.11(a) · y=2xy = \dfrac{2}{x}: tập xác định và tập giá trị (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty)
Example 2(b)Domain and range of y=2xy = 2\sqrt{x}

Find the domain and range of y=2xy = 2\sqrt{x}, and sketch its graph.

(b) The formula gives a real number only when xx is positive or zero, so the domain is [0,∞)[0, \infty).

Since x\sqrt{x} is the nonnegative square root of xx, y≥0y \ge 0.

For c≥0c \ge 0, we get y=cy = c when x=(c/2)2x = (c/2)^2, so the range is also [0,∞)[0, \infty).

A sketch is in Figure 0.11(b).

−1 1 2 3 4 5 6 7 8 9 −1 1 2 3 4 5 6 7 0 x y y = 2√x
Figure 0.11(b) · y=2xy = 2\sqrt{x}: domain and range [0,∞)[0, \infty)
Vne
Ví dụ 2(b)Tập xác định và tập giá trị của y=2xy = 2\sqrt{x}

Tìm tập xác định và tập giá trị của y=2xy = 2\sqrt{x}, rồi vẽ phác đồ thị của nó.

(b) Công thức chỉ cho số thực khi xx dương hoặc bằng 00, nên tập xác định là [0,∞)[0, \infty).

Vì x\sqrt{x} là căn bậc hai không âm của xx, nên y≥0y \ge 0.

Với c≥0c \ge 0, ta có y=cy = c khi x=(c/2)2x = (c/2)^2, nên tập giá trị cũng là [0,∞)[0, \infty).

Hình vẽ phác ở Hình 0.11(b).

−1 1 2 3 4 5 6 7 8 9 −1 1 2 3 4 5 6 7 0 x y y = 2√x
Hình 0.11(b) · y=2xy = 2\sqrt{x}: tập xác định và tập giá trị [0,∞)[0, \infty)
Definition · Power function

Any function that can be written in the form f(x)=kxaf(x) = kx^a, where kk and aa are nonzero constants, is a power function.

Vne
Định nghĩa · Hàm lũy thừa

Mọi hàm số viết được dưới dạng f(x)=kxaf(x) = kx^a, trong đó kk và aa là các hằng số khác 00, đều là một hàm lũy thừa.

Graph viewing skills

Reading a graph well takes four skills:

  1. recognize that the graph is reasonable;
  2. see all the important characteristics of the graph;
  3. interpret those characteristics;
  4. recognize grapher failure (a grapher is a graphing calculator or graphing software).

Recognizing that a graph is reasonable takes experience. You need to know the basic functions and their graphs, and how changes in their equations affect the graphs.

Vne
Kỹ năng xem đồ thị

Đọc đồ thị tốt cần bốn kỹ năng:

  1. nhận ra đồ thị hợp lý;
  2. thấy đầy đủ các đặc điểm quan trọng của đồ thị;
  3. giải thích các đặc điểm đó;
  4. nhận ra khi máy vẽ đồ thị bị lỗi (máy vẽ đồ thị là máy tính vẽ đồ thị hoặc phần mềm vẽ đồ thị).

Nhận ra một đồ thị hợp lý cần có kinh nghiệm. Bạn cần biết các hàm số cơ bản và đồ thị của chúng, và biết phương trình thay đổi thì đồ thị thay đổi như thế nào.

Grapher failure

A grapher is a graphing calculator or graphing software. Grapher failure occurs when the graph produced by a grapher is less than precise, or even incorrect. This usually comes from the limited screen resolution of the grapher.

Vne
Lỗi của máy vẽ đồ thị

Máy vẽ đồ thị (grapher) là máy tính vẽ đồ thị hoặc phần mềm vẽ đồ thị. Lỗi của máy vẽ đồ thị xảy ra khi đồ thị do máy vẽ ra kém chính xác, thậm chí sai. Lỗi này thường do độ phân giải màn hình của máy bị giới hạn.

Graphing y=x4/3y = x^{4/3}: possible grapher failure

On some graphing calculators you need to enter this function as y=(x4)1/3y = (x^4)^{1/3} or y=(x1/3)4y = (x^{1/3})^4 to obtain a correct graph. Try graphing this function on your grapher.

Vne
Đồ thị y=x4/3y = x^{4/3}: có thể máy vẽ bị lỗi

Một số máy tính vẽ đồ thị cần nhập hàm số này dưới dạng y=(x4)1/3y = (x^4)^{1/3} hoặc y=(x1/3)4y = (x^{1/3})^4 để có đồ thị đúng. Hãy thử vẽ hàm số này trên máy vẽ đồ thị của bạn.

Example 3(a)Reading domain and range from a grapher

Use a grapher to find the domain and range of y=9−x2y = \sqrt{9 - x^2}, then sketch its graph.

(a) Read the graph in Figure 0.12(a), drawn on the window [−5,5][-5, 5] by [−1,4][-1, 4] with equal scales. It looks like the upper half of a circle. The domain looks like [−3,3][-3, 3] and the range looks like [0,3][0, 3].

Check the domain: the square root needs 9−x2≥09 - x^2 \ge 0, so −3≤x≤3-3 \le x \le 3. The domain is [−3,3][-3, 3].

Check the range: a square root is never negative, so y≥0y \ge 0. The largest value of 9−x29 - x^2 is 99, at x=0x = 0, so the largest yy is 9=3\sqrt{9} = 3. The range is [0,3][0, 3].

−3 3 3 0 x y
Figure 0.12(a) · y=9−x2y = \sqrt{9 - x^2}
Vne
Ví dụ 3(a)Đọc tập xác định và tập giá trị từ máy vẽ đồ thị

Dùng máy vẽ đồ thị để tìm tập xác định và tập giá trị của y=9−x2y = \sqrt{9 - x^2}, sau đó vẽ đồ thị của nó.

(a) Đọc đồ thị trong Hình 0.12(a), vẽ trên cửa sổ [−5,5][-5, 5] × [−1,4][-1, 4] với thang đo hai trục bằng nhau. Đồ thị giống nửa trên của một đường tròn. Tập xác định có vẻ là [−3,3][-3, 3] và tập giá trị có vẻ là [0,3][0, 3].

Kiểm tra tập xác định: căn bậc hai cần 9−x2≥09 - x^2 \ge 0, nên −3≤x≤3-3 \le x \le 3. Tập xác định là [−3,3][-3, 3].

Kiểm tra tập giá trị: căn bậc hai không bao giờ âm, nên y≥0y \ge 0. Giá trị lớn nhất của 9−x29 - x^2 là 99, đạt tại x=0x = 0, nên yy lớn nhất là 9=3\sqrt{9} = 3. Tập giá trị là [0,3][0, 3].

−3 3 3 0 x y
Hình 0.12(a) · y=9−x2y = \sqrt{9 - x^2}
Example 3(b)Reading domain and range from a grapher

Use a grapher to find the domain and range of y=x4/3y = x^{4/3}, then sketch its graph.

(b) Figure 0.12(b) shows the graph on the viewing window [−5,5][-5, 5] by [−2,9][-2, 9], with equal scales on both axes.

The domain appears to be (−∞,∞)(-\infty, \infty).

We can verify this because x4/3=(x3)4x^{4/3} = (\sqrt[3]{x})^4, and the cube root of every real number exists.

The range appears to be [0,∞)[0, \infty).

This also follows from (x3)4≥0(\sqrt[3]{x})^4 \ge 0, and every c≥0c \ge 0 is reached: for x=c3/4x = c^{3/4} we get y=cy = c.

0 x y y = x4/3
Figure 0.12(b) · y=x4/3y = x^{4/3}
Vne
Ví dụ 3(b)Đọc tập xác định và tập giá trị từ máy vẽ đồ thị

Dùng máy vẽ đồ thị để tìm tập xác định và tập giá trị của y=x4/3y = x^{4/3}, sau đó vẽ đồ thị của nó.

(b) Hình 0.12(b) là đồ thị trên cửa sổ quan sát [−5,5][-5, 5] × [−2,9][-2, 9], với thang đo hai trục bằng nhau.

Tập xác định có vẻ là (−∞,∞)(-\infty, \infty).

Ta kiểm tra được điều này vì x4/3=(x3)4x^{4/3} = (\sqrt[3]{x})^4, và căn bậc ba của mọi số thực đều tồn tại.

Tập giá trị có vẻ là [0,∞)[0, \infty).

Điều này cũng suy ra từ (x3)4≥0(\sqrt[3]{x})^4 \ge 0, và mọi c≥0c \ge 0 đều đạt được: với x=c3/4x = c^{3/4} ta có y=cy = c.

0 x y y = x4/3
Hình 0.12(b) · y=x4/3y = x^{4/3}

4Even and Odd Functions: Symmetry

Hàm số chẵn và hàm số lẻ: đối xứng

Even and odd functions have graphs with important symmetry properties.

Vne

Hàm số chẵn và hàm số lẻ có đồ thị với những tính chất đối xứng quan trọng.

Definition · Even function, odd function

A function y=f(x)y = f(x) is an even function of xx if f(−x)=f(x)f(-x) = f(x) for every xx in the function's domain.

It is an odd function of xx if f(−x)=−f(x)f(-x) = -f(x) for every xx in the function's domain.

Vne
Định nghĩa · Hàm số chẵn, hàm số lẻ

Hàm số y=f(x)y = f(x) là hàm số chẵn theo xx nếu f(−x)=f(x)f(-x) = f(x) với mọi xx thuộc tập xác định của hàm số.

Hàm số là hàm số lẻ theo xx nếu f(−x)=−f(x)f(-x) = -f(x) với mọi xx thuộc tập xác định của hàm số.

The names come from powers of xx. If yy is an even power of xx, such as y=x2y = x^2 or y=x4y = x^4, then yy is an even function of xx. This is because (−x)2=x2(-x)^2 = x^2 and (−x)4=x4(-x)^4 = x^4. If yy is an odd power of xx, such as y=xy = x or y=x3y = x^3, then yy is an odd function of xx. This is because (−x)1=−x(-x)^1 = -x and (−x)3=−x3(-x)^3 = -x^3.

Vne

Tên gọi “chẵn” và “lẻ” xuất phát từ số mũ của xx. Nếu yy là lũy thừa chẵn của xx, như y=x2y = x^2 hoặc y=x4y = x^4, thì yy là hàm số chẵn theo xx. Lý do là (−x)2=x2(-x)^2 = x^2 và (−x)4=x4(-x)^4 = x^4. Nếu yy là lũy thừa lẻ của xx, như y=xy = x hoặc y=x3y = x^3, thì yy là hàm số lẻ theo xx. Lý do là (−x)1=−x(-x)^1 = -x và (−x)3=−x3(-x)^3 = -x^3.

Figure 0.13 · Symmetry of even and odd graphs

The graph of an even function is symmetric about the yy-axis. Since f(−x)=f(x)f(-x) = f(x), the point (x,y)(x, y) lies on the graph if and only if the point (−x,y)(-x, y) lies on the graph (Figure 0.13(a)).

The graph of an odd function is symmetric about the origin. Since f(−x)=−f(x)f(-x) = -f(x), the point (x,y)(x, y) lies on the graph if and only if the point (−x,−y)(-x, -y) lies on the graph (Figure 0.13(b)). Equivalently, the graph is symmetric about the origin if a rotation of 180°180° about the origin leaves it unchanged.

Vne
Hình 0.13 · Đối xứng của đồ thị hàm số chẵn và lẻ

Đồ thị của hàm số chẵn đối xứng qua trục yy. Vì f(−x)=f(x)f(-x) = f(x), điểm (x,y)(x, y) thuộc đồ thị khi và chỉ khi điểm (−x,y)(-x, y) thuộc đồ thị (Hình 0.13(a)).

Đồ thị của hàm số lẻ đối xứng qua gốc tọa độ. Vì f(−x)=−f(x)f(-x) = -f(x), điểm (x,y)(x, y) thuộc đồ thị khi và chỉ khi điểm (−x,−y)(-x, -y) thuộc đồ thị (Hình 0.13(b)). Nói cách khác, đồ thị đối xứng qua gốc tọa độ nếu phép quay 180°180° quanh gốc tọa độ không làm đồ thị thay đổi.

x −x y 0 x y (x, y) (−x, y) y = x²
Figure 0.13(a) · y=x2y = x^2, even: symmetric about the yy-axis
x −x y −y 0 x y (x, y) (−x, −y) y = x³
Figure 0.13(b) · y=x3y = x^3, odd: symmetric about the origin
Vne
x −x y 0 x y (x, y) (−x, y) y = x²
Hình 0.13(a) · y=x2y = x^2, chẵn: đối xứng qua trục yy; cửa sổ [−5,5]×[−1,9][-5, 5] \times [-1, 9].
x −x y −y 0 x y (x, y) (−x, −y) y = x³
Hình 0.13(b) · y=x3y = x^3, lẻ: đối xứng qua gốc tọa độ; cửa sổ [−3,3]×[−3,3][-3, 3] \times [-3, 3].
Example 4Recognizing even and odd functions

Decide whether each function is even, odd, or neither.

  • f(x)=x4f(x) = x^4
  • f(x)=x4−2f(x) = x^4 - 2
  • f(x)=x5f(x) = x^5
  • f(x)=x3+2f(x) = x^3 + 2
  • f(x)=x4f(x) = x^4: even. f(−x)=(−x)4=x4=f(x)f(-x) = (-x)^4 = x^4 = f(x) for all xx. The graph is symmetric about the yy-axis.
  • f(x)=x4−2f(x) = x^4 - 2: even. f(−x)=(−x)4−2=x4−2=f(x)f(-x) = (-x)^4 - 2 = x^4 - 2 = f(x) for all xx. The graph is symmetric about the yy-axis (Figure 0.14(a)).
  • f(x)=x5f(x) = x^5: odd. f(−x)=(−x)5=−x5=−f(x)f(-x) = (-x)^5 = -x^5 = -f(x) for all xx. The graph is symmetric about the origin.
  • f(x)=x3+2f(x) = x^3 + 2: not odd. f(−x)=−x3+2f(-x) = -x^3 + 2, but −f(x)=−x3−2-f(x) = -x^3 - 2. The two are not equal. Not even either: f(−x)=−x3+2≠x3+2=f(x)f(-x) = -x^3 + 2 \ne x^3 + 2 = f(x) for all x≠0x \ne 0 (Figure 0.14(b)). So this function is neither even nor odd.
−2 0 x y y = x⁴ y = x⁴ − 2
Figure 0.14(a) · y=x4y = x^4 and y=x4−2y = x^4 - 2: both even
2 0 x y y = x³ + 2 y = x³
Figure 0.14(b) · y=x3y = x^3 and y=x3+2y = x^3 + 2: y=x3y = x^3 is odd; y=x3+2y = x^3 + 2 is neither even nor odd, since adding 2 destroys the symmetry about the origin
Vne
Ví dụ 4Nhận biết hàm số chẵn và hàm số lẻ

Xác định mỗi hàm số dưới đây là chẵn, là lẻ, hay không chẵn cũng không lẻ.

  • f(x)=x4f(x) = x^4
  • f(x)=x4−2f(x) = x^4 - 2
  • f(x)=x5f(x) = x^5
  • f(x)=x3+2f(x) = x^3 + 2
  • f(x)=x4f(x) = x^4: chẵn. f(−x)=(−x)4=x4=f(x)f(-x) = (-x)^4 = x^4 = f(x) với mọi xx. Đồ thị đối xứng qua trục yy.
  • f(x)=x4−2f(x) = x^4 - 2: chẵn. f(−x)=(−x)4−2=x4−2=f(x)f(-x) = (-x)^4 - 2 = x^4 - 2 = f(x) với mọi xx. Đồ thị đối xứng qua trục yy (Hình 0.14(a)).
  • f(x)=x5f(x) = x^5: lẻ. f(−x)=(−x)5=−x5=−f(x)f(-x) = (-x)^5 = -x^5 = -f(x) với mọi xx. Đồ thị đối xứng qua gốc tọa độ.
  • f(x)=x3+2f(x) = x^3 + 2: không lẻ. f(−x)=−x3+2f(-x) = -x^3 + 2, nhưng −f(x)=−x3−2-f(x) = -x^3 - 2. Hai giá trị này không bằng nhau. Cũng không chẵn: f(−x)=−x3+2≠x3+2=f(x)f(-x) = -x^3 + 2 \ne x^3 + 2 = f(x) với mọi x≠0x \ne 0 (Hình 0.14(b)). Vậy hàm số này không chẵn cũng không lẻ.
−2 0 x y y = x⁴ y = x⁴ − 2
Hình 0.14(a) · y=x4y = x^4 và y=x4−2y = x^4 - 2: cả hai đều chẵn
2 0 x y y = x³ + 2 y = x³
Hình 0.14(b) · y=x3y = x^3 và y=x3+2y = x^3 + 2: y=x3y = x^3 là hàm số lẻ; y=x3+2y = x^3 + 2 không chẵn cũng không lẻ, vì cộng 2 làm mất đối xứng qua gốc tọa độ

It is useful in graphing to recognize even and odd functions. Once we know the graph of either type of function on one side of the yy-axis, we know its graph on both sides.

Vne

Khi vẽ đồ thị, việc nhận ra hàm số chẵn và hàm số lẻ rất hữu ích. Khi đã biết đồ thị của một trong hai loại hàm số ở một phía của trục yy, ta biết đồ thị ở cả hai phía.

5Piecewise-Defined Functions

Hàm số xác định theo từng khúc

Although some functions are defined by a single formula, others are defined by applying different formulas to different parts of their domains.

Vne

Một số hàm số chỉ dùng một công thức, còn những hàm số khác dùng các công thức khác nhau cho từng phần của tập xác định.

Example 5Graphing a piecewise-defined function

Graph y=f(x)y = f(x), where

f(x)={−2x,x<0x2,0≤x≤24,x>2.f(x) = \begin{cases} -2x, & x \lt 0 \\ x^2, & 0 \le x \le 2 \\ 4, & x \gt 2. \end{cases}

The values of ff come from three separate formulas: y=−2xy = -2x when x<0x \lt 0, y=x2y = x^2 when 0≤x≤20 \le x \le 2, and y=4y = 4 when x>2x \gt 2.

However, ff is just one function, whose domain is the entire set of real numbers.

Its graph is shown in Figure 0.15.

2 4 0 x y (0, 0) (2, 4) y = −2x y = x2 y = 4
Figure 0.15 · The piecewise-defined function f(x)f(x) from Example 5
Vne
Ví dụ 5Vẽ đồ thị hàm số xác định theo từng khúc

Vẽ đồ thị y=f(x)y = f(x), với

f(x)={−2x,x<0x2,0≤x≤24,x>2.f(x) = \begin{cases} -2x, & x \lt 0 \\ x^2, & 0 \le x \le 2 \\ 4, & x \gt 2. \end{cases}

Các giá trị của ff được cho bởi ba công thức riêng biệt: y=−2xy = -2x khi x<0x \lt 0, y=x2y = x^2 khi 0≤x≤20 \le x \le 2, và y=4y = 4 khi x>2x \gt 2.

Tuy vậy, ff vẫn chỉ là một hàm số, có tập xác định là toàn bộ tập số thực.

Đồ thị của nó được cho ở Hình 0.15.

2 4 0 x y (0, 0) (2, 4) y = −2x y = x2 y = 4
Hình 0.15 · Hàm số f(x)f(x) xác định theo từng khúc của Ví dụ 5
Example 6Piecewise formula from two segments

Write a formula for y=f(x)y = f(x) whose graph consists of two line segments (Figure 0.16). The left segment goes from (0,0)(0, 0) to (2,4)(2, 4) and does not include (2,4)(2, 4). The right segment goes from (2,1)(2, 1) to (4,5)(4, 5) and includes both endpoints.

1 2 3 4 1 2 3 4 5 0 x y (0, 0) (2, 4) (2, 1) (4, 5)
Figure 0.16 · The two segments of Example 6: the left one does not contain (2,4)(2, 4), the right one contains both its endpoints

Step 1: draw the segment from (0,0)(0, 0) to (2,4)(2, 4). Its slope is m=4−02−0=2m = \dfrac{4 - 0}{2 - 0} = 2 and its yy-intercept is 00, so its equation is y=2xy = 2x. The segment includes (0,0)(0, 0) but not (2,4)(2, 4), so y=2xy = 2x holds for 0≤x<20 \le x \lt 2.

Step 2: draw the segment from (2,1)(2, 1) to (4,5)(4, 5). Its slope is m=5−14−2=2m = \dfrac{5 - 1}{4 - 2} = 2, and it passes through (2,1)(2, 1), so y−1=2(x−2)y - 1 = 2(x - 2), that is, y=2x−3y = 2x - 3. The segment includes both endpoints, so y=2x−3y = 2x - 3 holds for 2≤x≤42 \le x \le 4.

Step 3: combine the two formulas.

f(x)={2x,0≤x<22x−3,2≤x≤4.f(x) = \begin{cases} 2x, & 0 \le x \lt 2 \\ 2x - 3, & 2 \le x \le 4. \end{cases}
Vne
Ví dụ 6Công thức từng khúc từ hai đoạn thẳng

Viết công thức cho hàm số y=f(x)y = f(x) có đồ thị gồm hai đoạn thẳng (Hình 0.16). Đoạn bên trái đi từ (0,0)(0, 0) đến (2,4)(2, 4) và không chứa (2,4)(2, 4). Đoạn bên phải đi từ (2,1)(2, 1) đến (4,5)(4, 5) và chứa cả hai đầu mút.

1 2 3 4 1 2 3 4 5 0 x y (0, 0) (2, 4) (2, 1) (4, 5)
Hình 0.16 · Hai đoạn thẳng của Ví dụ 6: đoạn bên trái không chứa (2,4)(2, 4), đoạn bên phải chứa cả hai đầu mút

Bước 1: vẽ đoạn từ (0,0)(0, 0) đến (2,4)(2, 4). Hệ số góc là m=4−02−0=2m = \dfrac{4 - 0}{2 - 0} = 2, tung độ gốc là 00, nên phương trình là y=2xy = 2x. Đoạn chứa (0,0)(0, 0) nhưng không chứa (2,4)(2, 4), nên y=2xy = 2x đúng với 0≤x<20 \le x \lt 2.

Bước 2: vẽ đoạn từ (2,1)(2, 1) đến (4,5)(4, 5). Hệ số góc là m=5−14−2=2m = \dfrac{5 - 1}{4 - 2} = 2, và đoạn đi qua (2,1)(2, 1), nên y−1=2(x−2)y - 1 = 2(x - 2), tức y=2x−3y = 2x - 3. Đoạn chứa cả hai đầu mút, nên y=2x−3y = 2x - 3 đúng với 2≤x≤42 \le x \le 4.

Bước 3: ghép hai công thức lại.

f(x)={2x,0≤x<22x−3,2≤x≤4.f(x) = \begin{cases} 2x, & 0 \le x \lt 2 \\ 2x - 3, & 2 \le x \le 4. \end{cases}

6Absolute Value Function

Hàm số giá trị tuyệt đối

Definition · Absolute value function

The absolute value function y=∣x∣y = |x| is defined piecewise by

∣x∣={−x,x<0x,x≥0.|x| = \begin{cases} -x, & x \lt 0 \\ x, & x \ge 0. \end{cases}

The function is even, and its graph (Figure 0.17) is symmetric about the yy-axis.

Vne
Định nghĩa · Hàm số giá trị tuyệt đối

Hàm số giá trị tuyệt đối y=∣x∣y = |x| được xác định từng khúc bởi

∣x∣={−x,x<0x,x≥0.|x| = \begin{cases} -x, & x \lt 0 \\ x, & x \ge 0. \end{cases}

Hàm số này là hàm số chẵn, và đồ thị (Hình 0.17) đối xứng qua trục yy.

−4 −3 −2 −1 1 2 3 4 1 2 3 4 5 0 x y y = |x|
Figure 0.17 · y=∣x∣y = |x| has domain (−∞,∞)(-\infty, \infty) and range [0,∞)[0, \infty)
Vne
−4 −3 −2 −1 1 2 3 4 1 2 3 4 5 0 x y y = |x|
Hình 0.17 · y=∣x∣y = |x| có tập xác định (−∞,∞)(-\infty, \infty) và tập giá trị [0,∞)[0, \infty).
Example 7Using shifts of the absolute value graph

Draw the graph of f(x)=∣x+3∣−2f(x) = |x + 3| - 2. Then find the domain and range.

The graph of ff is the graph of the absolute value function shifted 3 units horizontally to the left and 2 units vertically downward (Figure 0.18).

The domain of ff is (−∞,∞)(-\infty, \infty).

Since ∣x+3∣≥0|x + 3| \ge 0, we have f(x)≥−2f(x) \ge -2, with equality at x=−3x = -3.

So the range is [−2,∞)[-2, \infty).

−3 −2 0 x y (−3, −2) y = |x + 3| − 2
Figure 0.18 · The lowest point of f(x)=∣x+3∣−2f(x) = |x + 3| - 2 is (−3,−2)(-3, -2)
Vne
Ví dụ 7Dùng phép dịch chuyển đồ thị hàm giá trị tuyệt đối

Vẽ đồ thị của f(x)=∣x+3∣−2f(x) = |x + 3| - 2. Sau đó tìm tập xác định và tập giá trị.

Đồ thị của ff là đồ thị của y=∣x∣y = |x| dịch sang trái 3 đơn vị và xuống dưới 2 đơn vị (Hình 0.18).

Tập xác định của ff là (−∞,∞)(-\infty, \infty).

Vì ∣x+3∣≥0|x + 3| \ge 0 nên f(x)≥−2f(x) \ge -2, và dấu bằng xảy ra khi x=−3x = -3.

Vậy tập giá trị là [−2,∞)[-2, \infty).

−3 −2 0 x y (−3, −2) y = |x + 3| − 2
Hình 0.18 · Điểm thấp nhất của f(x)=∣x+3∣−2f(x) = |x + 3| - 2 là (−3,−2)(-3, -2)

7Composite Functions

Hàm hợp

Composition of two functions

Suppose some outputs of a function gg can be used as inputs of a function ff. Then we can link gg and ff to form a new function. Its inputs xx are inputs of gg, and its outputs are the numbers f(g(x))f(g(x)) (Figure 0.19).

The function f(g(x))f(g(x)), read “ff of gg of xx”, is the composition of ff with gg. It is what we get when we first apply gg to xx, and then apply ff to the result g(x)g(x). The standard notation for this composition is f∘gf \circ g, read “ff of gg”. So (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)).

Vne
Hợp của hai hàm số

Giả sử một số giá trị đầu ra của hàm số gg có thể dùng làm đầu vào của hàm số ff. Khi đó ta có thể nối gg và ff thành một hàm số mới. Đầu vào xx của hàm mới là đầu vào của gg, còn đầu ra là các số f(g(x))f(g(x)) (Hình 0.19).

Hàm số f(g(x))f(g(x)), đọc là “ff của gg của xx”, là hàm hợp của ff với gg. Đó là kết quả khi ta áp dụng gg cho xx trước, rồi áp dụng ff cho kết quả g(x)g(x). Ký hiệu chuẩn cho hàm hợp này là f∘gf \circ g, đọc là “ff của gg”. Vậy (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)).

x g g(x) f f(g(x))
Figure 0.19 · Two functions can be composed when part of the range of the first lies in the domain of the second
Vne
x g g(x) f f(g(x))
Hình 0.19 · Hai hàm số có thể hợp lại khi một phần tập giá trị của hàm thứ nhất nằm trong tập xác định của hàm thứ hai.
Composition is not commutative

Composition is not commutative, meaning that the order matters. In Example 8 below, (f∘g)(x)=x2−4(f \circ g)(x) = x^2 - 4. Swapping the order gives (g∘f)(x)=(x−4)2(g \circ f)(x) = (x - 4)^2, so f∘g≠g∘ff \circ g \ne g \circ f.

Vne
Phép hợp hàm số không giao hoán

Phép hợp hàm số không giao hoán, nghĩa là thứ tự quan trọng. Trong Ví dụ 8 bên dưới, (f∘g)(x)=x2−4(f \circ g)(x) = x^2 - 4. Đổi thứ tự thì được (g∘f)(x)=(x−4)2(g \circ f)(x) = (x - 4)^2, nên f∘g≠g∘ff \circ g \ne g \circ f.

Example 8Composing functions

Find a formula for f(g(x))f(g(x)) if g(x)=x2g(x) = x^2 and f(x)=x−4f(x) = x - 4. Then find f(g(3))f(g(3)).

To find f(g(x))f(g(x)), we first apply gg to xx, which gives x2x^2.

Then we apply ff to this result.

Therefore

f(g(x))=f(x2)=x2−4.f(g(x)) = f(x^2) = x^2 - 4.

To find f(g(3))f(g(3)), substitute 33 for xx:

f(g(3))=32−4=5.f(g(3)) = 3^2 - 4 = 5.
Vne
Ví dụ 8Hợp của các hàm số

Tìm công thức cho f(g(x))f(g(x)) nếu g(x)=x2g(x) = x^2 và f(x)=x−4f(x) = x - 4. Sau đó tìm f(g(3))f(g(3)).

Để tìm f(g(x))f(g(x)), trước hết ta áp dụng gg cho xx, được x2x^2.

Sau đó áp dụng ff cho kết quả này.

Vậy

f(g(x))=f(x2)=x2−4.f(g(x)) = f(x^2) = x^2 - 4.

Để tìm f(g(3))f(g(3)), thay 33 vào xx:

f(g(3))=32−4=5.f(g(3)) = 3^2 - 4 = 5.
Exploration 1Composing functions with a grapher: steps 1–2

Some graphers let one function, such as y1y_1, be used as the independent variable of another function. With such a grapher, we can compose functions.

  1. Enter y1=f(x)=9−x2y_1 = f(x) = 9 - x^2, y2=g(x)=xy_2 = g(x) = \sqrt{x}, y3=y2(y1(x))y_3 = y_2(y_1(x)), and y4=y1(y2(x))y_4 = y_1(y_2(x)). Which of y3y_3 and y4y_4 corresponds to f∘gf \circ g? Which corresponds to g∘fg \circ f?
  2. Graph y1y_1, y2y_2, and y3y_3. Make conjectures about the domain and range of y3y_3.

1. y4=y1(y2(x))=f(g(x))y_4 = y_1(y_2(x)) = f(g(x)), so y4y_4 corresponds to f∘gf \circ g.

y3=y2(y1(x))=g(f(x))y_3 = y_2(y_1(x)) = g(f(x)), so y3y_3 corresponds to g∘fg \circ f.

2. The graph of y3=9−x2y_3 = \sqrt{9 - x^2} is the upper half of a circle.

Its domain appears to be [−3,3][-3, 3] and its range [0,3][0, 3].

Vne
Khám phá 1Hợp các hàm số bằng máy vẽ đồ thị: bước 1–2

Một số máy vẽ đồ thị cho phép dùng một hàm số, chẳng hạn y1y_1, làm biến độc lập của hàm số khác. Với máy như vậy, ta có thể hợp các hàm số.

  1. Nhập y1=f(x)=9−x2y_1 = f(x) = 9 - x^2, y2=g(x)=xy_2 = g(x) = \sqrt{x}, y3=y2(y1(x))y_3 = y_2(y_1(x)) và y4=y1(y2(x))y_4 = y_1(y_2(x)). Trong y3y_3 và y4y_4, hàm nào ứng với f∘gf \circ g? Hàm nào ứng với g∘fg \circ f?
  2. Vẽ y1y_1, y2y_2 và y3y_3. Dự đoán tập xác định và tập giá trị của y3y_3.

1. y4=y1(y2(x))=f(g(x))y_4 = y_1(y_2(x)) = f(g(x)), nên y4y_4 ứng với f∘gf \circ g.

y3=y2(y1(x))=g(f(x))y_3 = y_2(y_1(x)) = g(f(x)), nên y3y_3 ứng với g∘fg \circ f.

2. Đồ thị của y3=9−x2y_3 = \sqrt{9 - x^2} là nửa trên của một đường tròn.

Tập xác định có vẻ là [−3,3][-3, 3] và tập giá trị có vẻ là [0,3][0, 3].

Exploration 1Composing functions with a grapher: steps 3–4

Using y1=9−x2y_1 = 9 - x^2 and y2=xy_2 = \sqrt{x} from step 1:

  1. Graph y1y_1, y2y_2, and y4y_4. Make conjectures about the domain and range of y4y_4.
  2. Confirm your conjectures algebraically by finding formulas for y3y_3 and y4y_4.

3. The graph of y4y_4 is a straight ray that starts at (0,9)(0, 9) and goes down to the right.

Its domain appears to be [0,∞)[0, \infty) and its range (−∞,9](-\infty, 9].

4. For y3y_3: y3=g(f(x))=9−x2y_3 = g(f(x)) = \sqrt{9 - x^2}, which needs 9−x2≥09 - x^2 \ge 0, so −3≤x≤3-3 \le x \le 3.

Its range is [0,3][0, 3], because 9−x2≥0\sqrt{9 - x^2} \ge 0 and its largest value is 9=3\sqrt{9} = 3, at x=0x = 0.

For y4y_4: y4=f(g(x))=9−(x)2=9−xy_4 = f(g(x)) = 9 - (\sqrt{x})^2 = 9 - x, but gg only accepts x≥0x \ge 0, so the domain is [0,∞)[0, \infty) and the range is (−∞,9](-\infty, 9].

The conjectures are confirmed.

Vne
Khám phá 1Hợp các hàm số bằng máy vẽ đồ thị: bước 3–4

Dùng y1=9−x2y_1 = 9 - x^2 và y2=xy_2 = \sqrt{x} từ bước 1:

  1. Vẽ y1y_1, y2y_2 và y4y_4. Dự đoán tập xác định và tập giá trị của y4y_4.
  2. Kiểm tra lại các dự đoán bằng đại số, bằng cách tìm công thức của y3y_3 và y4y_4.

3. Đồ thị của y4y_4 là một tia thẳng bắt đầu từ (0,9)(0, 9) và đi xuống bên phải.

Tập xác định có vẻ là [0,∞)[0, \infty) và tập giá trị là (−∞,9](-\infty, 9].

4. Với y3y_3: y3=g(f(x))=9−x2y_3 = g(f(x)) = \sqrt{9 - x^2}, cần 9−x2≥09 - x^2 \ge 0, tức −3≤x≤3-3 \le x \le 3.

Tập giá trị là [0,3][0, 3], vì 9−x2≥0\sqrt{9 - x^2} \ge 0 và giá trị lớn nhất là 9=3\sqrt{9} = 3, đạt tại x=0x = 0.

Với y4y_4: y4=f(g(x))=9−(x)2=9−xy_4 = f(g(x)) = 9 - (\sqrt{x})^2 = 9 - x, nhưng gg chỉ nhận x≥0x \ge 0, nên tập xác định là [0,∞)[0, \infty) và tập giá trị là (−∞,9](-\infty, 9].

Như vậy, các dự đoán đã được xác nhận.