loading#%解 !#分
&!
假 设 \
#
% +%
-
-,#
((
# 那 么 得
#解
#
&%
-
!分
((
% +
-
% +\
-
% ,&
-
这 与 题 设
&分
%
-
\相 矛 盾
#
((
*
故 假 设 不 成 立 #原 命 题 '分 %
-
-,#
成 立
(( %
!
*
# &
!\ !% + +
#
& # % +
!
&
& # % +
'
& #
((
# % +
(分
! )
可 猜 想
&
&
% +
-
3 $ %
)分 ((
#
-,(
下 面 用 数 学 归 纳 法 证 明
& #3当分
-+#时 #式 子 成 立 &
#
# % +
+ !
#
#,( !
$假 设 当
时\ #式 子 成 立&
$
%
-+.. #. !
!
# #
即$分
&
% +
! .
.,(
& & ,
由#\分
题 知
#
&%
.
.,(
& %
+ +
+
((
((
((
.,#
% ,&
.
& .,# ,( ! \
,&
.,(
即##分 对
于 -+.,#时 #式 子 也 成 立 # 综#!分
合 #$可 知 #对 都 成 立
#
%
&
- ! % + !
$
-
-,(
!\解!
\由
+\得
# \ 2+\
&!
!\ # ) ,!%$,'!由
+\得 (( !) \
!
!\) #
/ $ +&$
/ \
'+\
& ! !
: $ +$ ,%$ +$ $,% \
) ! \
!
\#
令围 成#由 图 知 #即! \ 的)
区# 得 $+\或
$ +\ $+*%
*% \
% \
((
((
#分
(( !分
#则 易 知 图 中 所
#
域 !阴 影 \面 积 为
'
&
.
'
* $ 1$+* $ ,%$ /
/
\
\
) ! \
!
*%
*%
&
!
即
'
#从 得 而
&
%
3! %+*
+
## !' )
!
&
&
!
: $ +$ * \
) ! \
$ !
\ ! 1$+*
,
$'
\
# +
*%
%$ % &
# !
\
((
'分
(分((
((