Question

高一数学题，有解析，但是有一步看不懂。

设函数f（x）的定义域为R，对于任意实数m、n，总有f（m+n）=f（m）•f（n），且x＞0时0＜f（x）＜1．
（1）证明：f（0）=1，且x＜0时f（x）＞1；
（2）证明：f（x）在R 上单调递减；
（3）设A={（x，y）|f（x2）•f（y2）＞f（1）}，B={（x，y）|f（ax-y+2）=1，a∈R}，若A∩B=∅，确定a 的范围．
解：（1）证明：f（m+n）=f（m）•f（n），
令m＞0，n=0，⇒f（m）=f（m）f（0）
已知x＞0时0＜f（x）＜1．
⇒f（0）=1
设m=x＜0，n=-x＞0，f（-x）∈（0，1）
⇒f（0）=f（m+n）=f（m）f（n）=1⇒f（m）＞1，即当x＜0时f（x）＞1　…（4分）
（2）∀x1＜x2∈R，则x2-x1＞0，0＜f（x2-x1）＜1，f（x1）＞0⇒f（x2）-f（x1）
=f（x2-x1+x1）-f（x1）=f（x2-x1）f（x1）-f（x1）=f（x1）[f（x2-x1）-1]＜0
∴f（x）在R 上单调递减．　　　　　　　　　　　　　　…（10分）
（3）f（x2）f（y2）＞f（1）⇒f（x2+y2）＞f（1）
f（x）在R上单调递减
⇒x2+y2＜1（单位圆内部分）
f（ax-y+2）=1=f（0）⇒ax-y+2=0（一条直线）
A∩B=φ⇒
2
√a 2+1
≥1⇒a2≤3⇒a∈[-√3，√3]…（16分）
这里我想问一下第三小题A∩B=φ⇒
2
√a 2+1
≥1这一步是怎么推导出来的？不是很理解。

Answer 1

∵A∩B=φ,即直线ax-y+2=0与单位圆x^2+y^2=1的内部无公共点

∴圆心（0,0）到直线ax-y+2=0的距离大于或等于圆的半径
即|a×0-0+2|/√(a^2+1)≥1

追问

直线ax-y+2=0与单位圆x^2+y^2=1是高一的知识吗？