Question

10．設集合M={x||x|＜1}，在集合M中定義一種運算“*”，使得$a*b=\frac{a+b}{1+ab}$．
（Ⅰ）證明：（a*b）*c=a*（b*c）；
（Ⅱ）證明：若a∈M，b∈M，則a*b∈M．

Answer 1

分析 （Ⅰ）利用新定義推導出（a*b）*c=$\frac{c+abc+a+b}{1+ab+ca+cb}$，a*（b*c）=$\frac{c+abc+a+b}{1+ab+ca+cb}$，由此能證明（a*b）*c=a*（b*c）．
（Ⅱ）要證a*b∈M，只需證：$|{\frac{a+b}{1+ab}}|＜1$，即證$（{\frac{a+b}{1+ab}}）\begin{array}{l}2\\{\;}\end{array}＜1$，由此能證明若a∈M，b∈M，則a*b∈M．

解答 證明：（Ⅰ）∵集合M={x||x|＜1}，在集合M中定義一種運算“*”，使得$a*b=\frac{a+b}{1+ab}$，
∴$（{a*b}）*c=（{\frac{a+b}{1+ab}}）*c=\frac{{c+\frac{a+b}{1+ab}}}{{1+c\frac{a+b}{1+ab}}}=\frac{c+abc+a+b}{1+ab+ca+cb}$
a*（b*c）=a*（$\frac{b+c}{1+bc}$）=$\frac{a+\frac{b+c}{1+bc}}{1+a\frac{b+c}{a+cb}}$=$\frac{c+abc+a+b}{1+ab+ca+cb}$，
∴（a*b）*c=a*（b*c）．…（6分）
（Ⅱ）由已知得：|a|＜1，|b|＜1，
要證a*b∈M，只需證：$|{\frac{a+b}{1+ab}}|＜1$，即證$（{\frac{a+b}{1+ab}}）\begin{array}{l}2\\{\;}\end{array}＜1$，
即：$（{ab}）\begin{array}{l}2\\{\;}\end{array}-a\begin{array}{l}2\\{\;}\end{array}-b\begin{array}{l}2\\{\;}\end{array}+1＞0$，
而$（{ab}）\begin{array}{l}2\\{\;}\end{array}-a\begin{array}{l}2\\{\;}\end{array}-b\begin{array}{l}2\\{\;}\end{array}+1=（{a\begin{array}{l}2\\{\;}\end{array}-1}）（{b\begin{array}{l}2\\{\;}\end{array}-1}），|a|＜1，|b|＜1$，
有（a²-1）（b²-1）＞0，
∴若a∈M，b∈M，則a*b∈M．…（12分）

點評 本題考查等式的證明和集合中元素的證明，是中檔題，解題時要認真審題，注意新定義的合理運用．