<!doctype html>
<html class="no-js" lang="en">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>
如何判断复合根式是否可以进一步化简 - 语时lab
</title>
<link href="atom.xml" rel="alternate" title="语时lab" type="application/atom+xml">
<link rel="stylesheet" href="asset/css/foundation.min.css" />
<link rel="stylesheet" href="asset/css/docs.css" />
<script src="asset/js/vendor/modernizr.js"></script>
<script src="asset/js/vendor/jquery.js"></script>
<script src="asset/highlightjs/highlight.pack.js"></script>
<link href="asset/highlightjs/styles/github.css" media="screen, projection" rel="stylesheet" type="text/css">
<script>hljs.initHighlightingOnLoad();</script>
<script type="text/javascript">
function before_search(){
var searchVal = 'site:cshishaliu.github.io ' + document.getElementById('search_input').value;
document.getElementById('search_q').value = searchVal;
return true;
}
</script>
</head>
<body class="antialiased hide-extras">
<div class="marketing off-canvas-wrap" data-offcanvas>
<div class="inner-wrap">
<nav class="top-bar docs-bar hide-for-small" data-topbar>
<section class="top-bar-section">
<div class="row">
<div style="position: relative;width:100%;"><div style="position: absolute; width:100%;">
<ul id="main-menu" class="left">
<li id=""><a target="_self" href="index.html">Home</a></li>
<li id=""><a target="_self" href="book.html">Books</a></li>
<li id=""><a target="_self" href="links.html">Links</a></li>
<li id=""><a target="_self" href="archives.html">Archives</a></li>
<li id=""><a target="_self" href="about.html">About</a></li>
<li id=""><a target="_self" href="todo.html">Todo</a></li>
</ul>
<ul class="right" id="search-wrap">
<li>
<form target="_blank" onsubmit="return before_search();" action="https://google.com/search" method="get">
<input type="hidden" id="search_q" name="q" value="" />
<input tabindex="1" type="search" id="search_input" placeholder="Search"/>
</form>
</li>
</ul>
</div></div>
</div>
</section>
</nav>
<nav class="tab-bar show-for-small">
<a href="javascript:void(0)" class="left-off-canvas-toggle menu-icon">
<span> 语时lab</span>
</a>
</nav>
<aside class="left-off-canvas-menu">
<ul class="off-canvas-list">
<li><a target="_self" href="index.html">Home</a></li>
<li><a target="_self" href="book.html">Books</a></li>
<li><a target="_self" href="links.html">Links</a></li>
<li><a target="_self" href="archives.html">Archives</a></li>
<li><a target="_self" href="about.html">About</a></li>
<li><a target="_self" href="todo.html">Todo</a></li>
<li><label>Categories</label></li>
<li><a href="problemsolving.html">解题</a></li>
<li><a href="mathpost.html">数学随笔</a></li>
<li><a href="Dev.html">Dev</a></li>
<li><a href="Games.html">Games</a></li>
<li><a href="obsolete.html">obsolete</a></li>
<li><a href="misc.html">misc</a></li>
</ul>
</aside>
<a class="exit-off-canvas" href="#"></a>
<section id="main-content" role="main" class="scroll-container">
<script type="text/javascript">
$(function(){
$('#menu_item_index').addClass('is_active');
});
</script>
<div class="row">
<div class="large-8 medium-8 columns">
<div class="markdown-body article-wrap">
<div class="article">
<h1>如何判断复合根式是否可以进一步化简</h1>
<div class="read-more clearfix">
<span class="date">2020/04/08</span>
<span>posted in </span>
<span class="posted-in"><a href='mathpost.html'>数学随笔</a></span>
<span class="comments">
</span>
</div>
</div><!-- article -->
<div class="article-content">
<p><img src="media/15863166036092/15863168475561.jpg" alt="" style="width:324px;"/></p>
<span id="more"></span><!-- more -->
<p>初学<strong>根式 (radical expression)</strong> 时, 经常遇到这样一类问题: <em>形如 \(\sqrt{A \pm \sqrt B}\) 的根式是否需要继续化简</em>. 例如:</p>
<blockquote>
<p>\(\sqrt{3 + 2\sqrt2}\) 可以化简为 \(\sqrt2 + 1\); \(\sqrt{2+\sqrt3}\) 可以化简为 \(\frac{\sqrt6 + \sqrt2}2\);</p>
</blockquote>
<p>而</p>
<blockquote>
<p>\(\sqrt{4 +\sqrt2}\) 似乎无法进一步化简.</p>
</blockquote>
<p>这种根号里面还套着根号的式子其实在数学里面没有一个专门的术语名称, 本文中我们就把它叫做<strong>复合根式</strong> (与之相对的, 没有根号嵌套的根式, 我们就称为<strong>简单根式</strong>).</p>
<p>在学生阶段做题的时候, 如果计算结果遇到这种复合根式, 通常是能进一步化简成不是复合形式的根式的. 但事实上, 如果我们能有更多的经验, 会发现「这种复合根式没法进一步化简」好像才是比较正常, 或者说, 比较常见、更容易发生的情况. 这个时候自然就有一个问题: <strong>什么时候这种复合根式是可以继续化简的?</strong></p>
<blockquote>
<p>其实提到这个问题的时候, 我的内心还是有一点小骄傲的, 这也是我会写这篇文章的原因. </p>
<p>事情是这样的, 在很久很久以前我本人还是初中萌新的那个年代, 有一天数学老师在下课前最后不到一分钟的时间提到了这个问题, 并且以「掩耳不及迅雷之势」提点了一下答案, 但是由于这个过程实在太快, 几乎就没有同学注意到. 而作为极少数注意到这个知识点的同学, 我竟然还在接下来的课间 10 分钟内给出了完整的证明推导. 当时可把我牛 X 坏了, 我要先叉会儿腰去... :P</p>
</blockquote>
<p>先说结论, 对于如下形式的符合根式<br/>
\[<br/>
\sqrt{A \pm \sqrt B}<br/>
\]<br/>
这里 \(A\) 和 \(B\) 都是正整数, <strong>当且仅当</strong> \(A^2 - B\) 是一个完全平方数时, 它可以化简成如下形式的简单根式<br/>
\[<br/>
\sqrt a \pm \sqrt b<br/>
\]<br/>
其中 \(a\) 和 \(b\) 要么是整数, 要么是分母为 \(2\) 的最简分数.</p>
<p>这个结论的证明其实也不难, 比方说我们就先考虑 \(\sqrt{A + \sqrt B}\); 稍微有计算经验的同学就应该能想到减号的情况 \(\sqrt{A - \sqrt B}\) 其实应该是类似的.</p>
<p>如果 \(A^2 - B\) 是一个完全平方数, 我们可以假设<br/>
\[<br/>
A^2 - B = n^2<br/>
\]<br/>
不难想到, 接下来的任务应该是设法把 \(A + \sqrt B\) 变形成一个完全平方式的样子; 并且主要变形技巧应该是利用上面刚刚设出的字母 \(n\) 来消掉原来的一个字母, 于是目前主要问题就是需要<em>纠结</em>一下到底消 \(A\) 还是消 \(B\).</p>
<blockquote>
<p>如果你真的很纠结, 那我们就都试一试呗.</p>
</blockquote>
<p>如果选择消 \(A\), 那就应该用到 \(A^2 = B + n^2 \Rightarrow A = \sqrt{B + n^2}\), 代入我们要研究的式子就有<br/>
\[<br/>
A + \sqrt B = \sqrt{B + n^2} + \sqrt B<br/>
\]<br/>
不出意外的话, 正常人看到这个式子应该是不会有任何想法的. 看上去此路不通, 那我们走另一条路看看: 要消 \(B\) 就应该用到 \(B = A^2 - n^2\), 于是<br/>
\[<br/>
A + \sqrt B = A + \sqrt{A^2 - n^2}<br/>
\]<br/>
这个式子乍看上去可能也会让人有点灰心, 但聪明如你应该至少能看出来可以用一次<strong>平方差公式</strong>, <br/>
\[<br/>
A + \sqrt{A^2 - n^2} = A + \sqrt{(A+n) (A-n)}<br/>
\]<br/>
然后接下来该怎么办就比较体现功底和毅力了. 你需要能想到以下两点, 并注意到它们之间的联系</p>
<ol>
<li>\(A+n\) 和 \(A-n\) 相加可以消去 \(n\) 得到只包含 \(A\) 的式子;</li>
<li>如果想让 \(A + \sqrt{(A+n) (A-n)}\) 套上完全平方公式的话, 其根式部分 \(\sqrt{(A+n) (A-n)}\) 似乎应可能是充当<em>交叉项</em>的角色.</li>
</ol>
<p>然后在这两个点的<em>指导</em>下坚强的计算下去, 就能够成功的做出来.<br/>
\[<br/>
\begin{aligned}<br/>
A + \sqrt{(A+n) (A-n)}<br/>
&= \frac{(A+n) + (A-n)}2 + \sqrt{(A+n) (A-n)} \\<br/>
&= \frac{ \left( \sqrt{A+n} \right)^2 + \left( \sqrt{A-n} \right)^2 + 2 \cdot \sqrt{A+n} \cdot \sqrt{A-n}}2 \\<br/>
&= \frac{\left( \sqrt{A+n} + \sqrt{A-n} \right)^2}2<br/>
\end{aligned}<br/>
\]<br/>
这样就可以得到我们想要的结果<br/>
\[<br/>
\sqrt{A + \sqrt B} = \sqrt{\frac{\left( \sqrt{A+n} + \sqrt{A-n} \right)^2}2} = \sqrt{\frac{A+n}2} + \sqrt{\frac{A-n}2}<br/>
\]<br/>
类似的, 不难得到<br/>
\[<br/>
\sqrt{A - \sqrt B} = \sqrt{\frac{A+n}2} - \sqrt{\frac{A-n}2}<br/>
\]<br/>
至此, 我们的证明也基本上就完成了.</p>
<blockquote>
<p>你还记得我们是想要证明什么吗?</p>
</blockquote>
<p>不过, 问题到这里其实还可以有后续. 回去翻一下我们对待证结论的陈述方式</p>
<blockquote>
<p>对于形如 \(\sqrt{A \pm \sqrt B}\) 的符合根式 (这里 \(A\) 和 \(B\) 都是正整数), <strong>当且仅当</strong> \(A^2 - B\) 是一个完全平方数时, 它可以化简成形如 \(\sqrt a \pm \sqrt b\) 的简单根式 (其中 \(a\) 和 \(b\) 要么是整数), 要么是分母为 \(2\) 的最简分数.</p>
</blockquote>
<p>而目前我们得到的结论是<br/>
\[<br/>
\sqrt{A \pm \sqrt B} = \sqrt{\frac{A+n}2} \pm \sqrt{\frac{A-n}2}<br/>
\]<br/>
这里有 \(A^2 - B = n^2\). 我们至少还可以思考这么两个问题:</p>
<ol>
<li>这个「公式」的左边是 \(A,B\) 两个字母, 但右边却「凭空」出现了一个 \(n\), 能不能把式子的形式写的更「合理」一点呢?</li>
<li><p>注意一下我们前面对待证结论最早的陈述方式, 措辞中用到了一个词: 「当且仅当」. 这里面其实还有一个<em>反问题</em>, 即</p>
<blockquote>
<p>如果形如 \(\sqrt{A \pm \sqrt B}\) 的符合根式可以化简成形如 \(\sqrt a \pm \sqrt b\) 的简单根式, 那么 \(A^2 - B\) 是否一定是一个完全平方数?</p>
</blockquote></li>
</ol>
<p>各位读者同学, 这两个问题你们都有思路吗?</p>
</div>
<div class="row">
<div class="large-6 columns">
<p class="text-left" style="padding:15px 0px;">
<a href="15863333927200.html"
title="Previous Post: 数列不等式 `lhc@jinan|20200407`">« 数列不等式 `lhc@jinan|20200407`</a>
</p>
</div>
<div class="large-6 columns">
<p class="text-right" style="padding:15px 0px;">
<a href="15859891289445.html"
title="Next Post: Simon Tatham's Portable Puzzle Collection">Simon Tatham's Portable Puzzle Collection »</a>
</p>
</div>
</div>
<div class="comments-wrap">
<div class="share-comments">
</div>
</div>
</div><!-- article-wrap -->
</div><!-- large 8 -->
<div class="large-4 medium-4 columns">
<div class="hide-for-small">
<div id="sidebar" class="sidebar">
<div id="site-info" class="site-info">
<div class="site-a-logo"><img src="https://i.loli.net/2020/02/26/hjpG5rStAgRYm9P.jpg" /></div>
<h1>语时lab</h1>
<div class="site-des">Gnoloac 发文的地方</div>
<div class="social">
<a target="_blank" class="weibo" href="https://weibo.com/gnoloac" title="weibo">Weibo</a>
<a target="_blank" class="github" target="_blank" href="https://github.com/cshishaliu" title="GitHub">GitHub</a>
<a target="_blank" class="email" href="mailto:cshishaliu@163.com" title="Email">Email</a>
<a target="_blank" class="rss" href="atom.xml" title="RSS">RSS</a>
</div>
</div>
<div id="site-categories" class="side-item ">
<div class="side-header">
<h2>Categories</h2>
</div>
<div class="side-content">
<p class="cat-list">
<a href="problemsolving.html"><strong>解题</strong></a>
<a href="mathpost.html"><strong>数学随笔</strong></a>
<a href="Dev.html"><strong>Dev</strong></a>
<a href="Games.html"><strong>Games</strong></a>
<a href="obsolete.html"><strong>obsolete</strong></a>
<a href="misc.html"><strong>misc</strong></a>
</p>
</div>
</div>
<div id="site-categories" class="side-item">
<div class="side-header">
<h2>Recent Posts</h2>
</div>
<div class="side-content">
<ul class="posts-list">
<li class="post">
<a href="15864160277643.html">平面几何的全等和相似符号到底该怎么写</a>
</li>
<li class="post">
<a href="15863333927200.html">数列不等式 `lhc@jinan|20200407`</a>
</li>
<li class="post">
<a href="15863166036092.html">如何判断复合根式是否可以进一步化简</a>
</li>
<li class="post">
<a href="15859891289445.html">Simon Tatham's Portable Puzzle Collection</a>
</li>
<li class="post">
<a href="book.html">Books</a>
</li>
</ul>
</div>
</div>
</div><!-- sidebar -->
</div><!-- hide for small -->
</div><!-- large 4 -->
</div><!-- row -->
<div class="page-bottom clearfix">
<div class="row">
<p class="copyright">Copyright © 2015
Powered by <a target="_blank" href="http://www.mweb.im">MWeb</a>,
Theme used <a target="_blank" href="http://github.com">GitHub CSS</a>.</p>
</div>
</div>
</section>
</div>
</div>
<script src="asset/js/foundation.min.js"></script>
<script>
$(document).foundation();
function fixSidebarHeight(){
var w1 = $('.markdown-body').height();
var w2 = $('#sidebar').height();
if (w1 > w2) { $('#sidebar').height(w1); };
}
$(function(){
fixSidebarHeight();
})
$(window).load(function(){
fixSidebarHeight();
});
</script>
<script src="asset/chart/all-min.js"></script><script type="text/javascript">$(function(){ var mwebii=0; var mwebChartEleId = 'mweb-chart-ele-'; $('pre>code').each(function(){ mwebii++; var eleiid = mwebChartEleId+mwebii; if($(this).hasClass('language-sequence')){ var ele = $(this).addClass('nohighlight').parent(); $('<div id="'+eleiid+'"></div>').insertAfter(ele); ele.hide(); var diagram = Diagram.parse($(this).text()); diagram.drawSVG(eleiid,{theme: 'simple'}); }else if($(this).hasClass('language-flow')){ var ele = $(this).addClass('nohighlight').parent(); $('<div id="'+eleiid+'"></div>').insertAfter(ele); ele.hide(); var diagram = flowchart.parse($(this).text()); diagram.drawSVG(eleiid); } });});</script>
<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=TeX-AMS_SVG-full"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({TeX: { equationNumbers: { autoNumber: "AMS" } }});</script>
</body>
</html>