给定两个正实数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex],其算术均值是[tex=3.643x1.357]E3SAsO0Js6/Q26OpgLKMkA==[/tex]而其几何均值是[tex=2.0x1.429]ooy/2mxkWpK5zcfICT/jPQ==[/tex]。当比较不同正实数对的算术和几何均值时，可以发现算术均值总是大于几何均值。能否证明这个不等式恒为真?
举一反三
- 两个实数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]的调和均值(harmonicmean)是[tex=4.714x1.357]x03p7ugVADP+eZzkztSrfw==[/tex]。通过计算不同正实数对的调和均值和几何均值，构造一个关于这两种均值相对大小的猜想并证明之。
- 利用谓词公式翻译下列命题。c) 存在实数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]，[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex] 和[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]， 使得[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]与[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]之和大于[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]与[tex=0.5x0.786]gdMkE6SnyZedYLxpUxdkaQ==[/tex]之积。
- 下面的“证明”错在哪里?“定理”如果[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是实数，则[tex=1.0x1.214]cbJ6FMy5U1o431UmoPCwpw==[/tex]是正实数。“证明”令[tex=0.857x1.0]rEKpNtxe2g5BjOuuqHlSdw==[/tex]为“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是正数”，[tex=0.857x1.0]2T0fdlSZutPzGA1HapWNSg==[/tex]为“[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是负数”，[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]为“[tex=1.0x1.214]cbJ6FMy5U1o431UmoPCwpw==[/tex]是正数”。要证明[tex=2.0x1.0]LXdn1N7FszIRO4ZxpsGvQA==[/tex]为真，注意当[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是正数时，[tex=1.0x1.214]cbJ6FMy5U1o431UmoPCwpw==[/tex]为正数，因为这是两个正数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]的积。要证明[tex=2.357x1.0]R9VsDVKknphoBpRFtMw7rlixviYmfgOvDCURqfWXJbU=[/tex]，注意当[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]是负数时，[tex=1.0x1.214]cbJ6FMy5U1o431UmoPCwpw==[/tex]是正数，因为这是两个负数[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]的积。证毕。
- 证明如果[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]是整数并且[tex=1.071x1.0]10CFjhXoBnEL0AdeGtum/Q==[/tex]和[tex=2.286x1.143]WT473J6iJyFLml9AmYU4qg==[/tex]均为偶数，则[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]也是偶数。
- 在16个两变元[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]的布尔函数中，有多少个能够用下列运算符、变元[tex=0.571x0.786]c5VsltFnl9nO0qB/vNKOWA==[/tex]和[tex=0.5x1.0]iwXm0SwS+lfupyC0IyH8yQ==[/tex]以及值0和1来表示？[tex=1.286x1.357]wi9SzxAlLpK78aH0t+Y7JQ==[/tex]