﻿<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/"><channel><title>C++博客-small-fat-随笔分类-之mathematics........</title><link>http://www.cppblog.com/chgsh8089/category/2425.html</link><description>in fact , I'm not fat..</description><language>zh-cn</language><lastBuildDate>Sat, 24 May 2008 18:39:14 GMT</lastBuildDate><pubDate>Sat, 24 May 2008 18:39:14 GMT</pubDate><ttl>60</ttl><item><title>扩展欧几里德算法－求解不定方程，线性同余方程</title><link>http://www.cppblog.com/chgsh8089/archive/2006/10/22/13975.html</link><dc:creator>small-fat</dc:creator><author>small-fat</author><pubDate>Sat, 21 Oct 2006 17:59:00 GMT</pubDate><guid>http://www.cppblog.com/chgsh8089/archive/2006/10/22/13975.html</guid><wfw:comment>http://www.cppblog.com/chgsh8089/comments/13975.html</wfw:comment><comments>http://www.cppblog.com/chgsh8089/archive/2006/10/22/13975.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/chgsh8089/comments/commentRss/13975.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/chgsh8089/services/trackbacks/13975.html</trackback:ping><description><![CDATA[转：<br /><a href="http://www.mscenter.edu.cn/blog/jeffrey/articles/5994.html"><br />http://www.mscenter.edu.cn/blog/jeffrey/articles/5994.html</a><br /><a href="http://hi.baidu.com/xknuth/blog/item/491bf9198e26227adab4bded.html">http://hi.baidu.com/xknuth/blog/item/491bf9198e26227adab4bded.html</a><br /><a href="http://www.faq-it.org/archives/structure/0f0aeab192b1e0bdbd84d19d4ab80a28.php">http://www.faq-it.org/archives/structure/0f0aeab192b1e0bdbd84d19d4ab80a28.php</a><br /><br />有等式ax+by=c,已知a、b、c,求x和y。  (a、b、c、x、y都是整数)  <br /><span class="yinchang"><a href="http://www.faq-it.org/archives/uml_practice/">uml_practice</a></span>  <br />---------------------------------------------------------------  <br /> <br />解不定方程ax  +  by  =  n的步骤如下:  <br /> <br />(1)计算gcd(a,  b).  若gcd(a,  b)不能整除n，则方程无整数解；否则，在方程的两边同除以gcd(a,  b)，得到新的不定方程a'x  +  b'y  =  n'，此时gcd(a',  b')  =  1  <br /> <br />(2)求出不定方程a'x  +  b'y  =  1的一组整数解x0,  y0，则n'x0，n'y0是方程a'x  +  b'y  =  n'的一组整数解。  <br /> <br />(3)根据&amp;@^%W#&amp;定理，可得方程a'x  +  b'y  =  n'的所有整数解为：  <br />x  =  n'x0  +  b't  <br />y  =  n'y0  -  a't  <br />(t为整数)  <br />这也就是方程ax  +  by  =  n的所有整数解  <br /> <br />利用扩展的欧几里德算法，计算(a,  b)和满足d  =  (a,  b)  =  ax0  +  by0的x0和y0，也就是求出了满足a'x0  +  b'y0  =  1的一组整数解。因此可得：  <br />x  =  n/d  *  x0  +  b/d  *  t  <br />y  =  n/d  *  y0  -  a/d  *  t  <br />(t是整数)  <img src ="http://www.cppblog.com/chgsh8089/aggbug/13975.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/chgsh8089/" target="_blank">small-fat</a> 2006-10-22 01:59 <a href="http://www.cppblog.com/chgsh8089/archive/2006/10/22/13975.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>欧拉函数</title><link>http://www.cppblog.com/chgsh8089/archive/2006/09/27/13042.html</link><dc:creator>small-fat</dc:creator><author>small-fat</author><pubDate>Wed, 27 Sep 2006 09:30:00 GMT</pubDate><guid>http://www.cppblog.com/chgsh8089/archive/2006/09/27/13042.html</guid><wfw:comment>http://www.cppblog.com/chgsh8089/comments/13042.html</wfw:comment><comments>http://www.cppblog.com/chgsh8089/archive/2006/09/27/13042.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/chgsh8089/comments/commentRss/13042.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/chgsh8089/services/trackbacks/13042.html</trackback:ping><description><![CDATA[
		<p>
				<font size="2">pku题目：<br />   <a href="http://acm.pku.edu.cn/JudgeOnline/problem?id=2407">http://acm.pku.edu.cn/JudgeOnline/problem?id=2407</a><br />  <br />参考网站：<br /><br />　<a href="http://www.cnblogs.com/softbird/archive/2005/12/01/288649.html">http://www.cnblogs.com/softbird/archive/2005/12/01/288649.html</a><br /><br />　<a href="http://www.wikilib.com/wiki/%E6%AC%A7%E6%8B%89%E5%87%BD%E6%95%B0">http://www.wikilib.com/wiki/%E6%AC%A7%E6%8B%89%E5%87%BD%E6%95%B0</a></font>
				<br />
				<br />
				<font size="2">在</font>
				<a title="數論" href="http://www.wikilib.com/wiki/%E6%95%B8%E8%AB%96">
						<font size="2">数论</font>
				</a>
				<font size="2">，对正</font>
				<a title="整數" href="http://www.wikilib.com/wiki/%E6%95%B4%E6%95%B8">
						<font size="2">整数</font>
				</a>
				<font size="2">
						<i>n</i>，<b>欧拉函数</b><img class="tex" alt="\varphi(n)" src="http://www.wikilib.com/images/math/4/0/b/40ba55cd3c58225334c65204b80c6ca3.png" />是少于或等于<i>n</i>的数中与<i>n</i></font>
				<a title="互質" href="http://www.wikilib.com/wiki/%E4%BA%92%E8%B3%AA">
						<font size="2">互质</font>
				</a>
				<font size="2">的数的数目。此</font>
				<a title="函数 (数学)" href="http://www.wikilib.com/wiki/%E5%87%BD%E6%95%B0_%28%E6%95%B0%E5%AD%A6%29">
						<font size="2">函数</font>
				</a>
				<font size="2">以其首名研究者</font>
				<a title="歐拉" href="http://www.wikilib.com/wiki/%E6%AD%90%E6%8B%89">
						<font size="2">欧拉</font>
				</a>
				<font size="2">命名，它又称为Euler's totient function、</font>
				<a title="Φ" href="http://www.wikilib.com/wiki/%CE%A6">
						<font size="2">φ</font>
				</a>
				<font size="2">函数、欧拉商数等。 </font>
		</p>
		<div id="globalWrapper">
				<div id="column-content">
						<div id="content">
								<div id="bodyContent">
										<div id="globalWrapper">
												<div id="column-content">
														<div id="content">
																<div id="bodyContent">
																		<p>
																				<font size="2">例如<img class="tex" alt="\varphi(8)=4" src="http://www.wikilib.com/images/math/6/6/b/66b47f411d21a232582098743f7607cf.png" />，因为1,3,5,7均和8互质。 </font>
																		</p>
																		<p>
																				<font size="2">从欧拉函数引伸出来在</font>
																				<a class="new" title="環論" href="http://www.wikilib.com/wiki?title=%E7%92%B0%E8%AB%96&amp;action=edit">
																						<font size="2">环论</font>
																				</a>
																				<font size="2">方面的事实和</font>
																				<a title="拉格朗日定理" href="http://www.wikilib.com/wiki/%E6%8B%89%E6%A0%BC%E6%9C%97%E6%97%A5%E5%AE%9A%E7%90%86">
																						<font size="2">拉格朗日定理</font>
																				</a>
																				<font size="2">构成了</font>
																				<a title="歐拉定理" href="http://www.wikilib.com/wiki/%E6%AD%90%E6%8B%89%E5%AE%9A%E7%90%86">
																						<font size="2">欧拉定理</font>
																				</a>
																				<font size="2">的证明。 </font>
																		</p>
																		<a name=".CF.86.E5.87.BD.E6.95.B8.E7.9A.84.E5.80.BC">
																		</a>
																		<h2>
																				<font size="2">φ函数的值</font>
																		</h2>
																		<p>
																				<font size="2">
																						<img class="tex" alt="\varphi(1)=1" src="http://www.wikilib.com/images/math/f/5/5/f559e242d58555ce874d540a67025207.png" />（唯一和1互质的数就是1本身）。 </font>
																		</p>
																		<p>
																				<font size="2">若<i>n</i>是</font>
																				<a title="質數" href="http://www.wikilib.com/wiki/%E8%B3%AA%E6%95%B8">
																						<font size="2">质数</font>
																				</a>
																				<font size="2">
																						<i>p</i>的<i>k</i>次</font>
																				<a title="冪" href="http://www.wikilib.com/wiki/%E5%86%AA">
																						<font size="2">幂</font>
																				</a>
																				<font size="2">，<img class="tex" alt="\varphi(n)=p^a-p^{a-1}=(p-1)p^{k-1}" src="http://www.wikilib.com/images/math/1/6/8/168b9412b2bd2cc9c23651930a41da35.png" />，因为除了<i>p</i>的</font>
																				<a title="倍數" href="http://www.wikilib.com/wiki/%E5%80%8D%E6%95%B8">
																						<font size="2">倍数</font>
																				</a>
																				<font size="2">外，其他数都跟<i>n</i>互质。 </font>
																		</p>
																		<p>
																				<font size="2">欧拉函数是</font>
																				<a title="積性函數" href="http://www.wikilib.com/wiki/%E7%A9%8D%E6%80%A7%E5%87%BD%E6%95%B8">
																						<font size="2">积性函数</font>
																				</a>
																				<font size="2">——若<i>m</i>,<i>n</i>互质，<img class="tex" alt="\varphi(mn)=\varphi(m)\varphi(n)" src="http://www.wikilib.com/images/math/a/f/8/af816470528ea56da0d6f390c16e462b.png" />。证明：设<i>A</i>, <i>B</i>, <i>C</i>是跟<i>m</i>, <i>n</i>, <i>mn</i>互质的数的集，据</font>
																				<a title="中國剩餘定理" href="http://www.wikilib.com/wiki/%E4%B8%AD%E5%9C%8B%E5%89%A9%E9%A4%98%E5%AE%9A%E7%90%86">
																						<font size="2">中国剩余定理</font>
																				</a>
																				<font size="2">，<img class="tex" alt="A \times B" src="http://www.wikilib.com/images/math/2/7/a/27a7579d0309d06241abeb0bccb4ac99.png" />和<i>C</i>可建立</font>
																				<a title="一一对应" href="http://www.wikilib.com/wiki/%E4%B8%80%E4%B8%80%E5%AF%B9%E5%BA%94">
																						<font size="2">一一对应</font>
																				</a>
																				<font size="2">的关系。因此<img class="tex" alt="\varphi(n)" src="http://www.wikilib.com/images/math/4/0/b/40ba55cd3c58225334c65204b80c6ca3.png" />的值使用</font>
																				<a title="算術基本定理" href="http://www.wikilib.com/wiki/%E7%AE%97%E8%A1%93%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86">
																						<font size="2">算术基本定理</font>
																				</a>
																				<font size="2">便知， </font>
																		</p>
																		<dl>
																				<dd>
																						<font size="2">若<img class="tex" alt="n = \prod_{p\mid n} p^{\alpha_p}" src="http://www.wikilib.com/images/math/0/5/9/059bc0d55499e3a97128e7d8215f52f5.png" />， </font>
																				</dd>
																		</dl>
																		<dl>
																				<dd>
																						<font size="2">则<img class="tex" alt="\varphi(n) = \prod_{p\mid n} p^{\alpha_p-1}(p-1) = n\prod_{p|n}\left(1-\frac{1}{p}\right)" src="http://www.wikilib.com/images/math/c/6/f/c6f9c184f86794f66e1f962a93869f14.png" />。 </font>
																				</dd>
																		</dl>
																		<p>
																				<font size="2">例如<img class="tex" alt="\varphi(72)=\varphi(2^3\times3^2)=2^{3-1}(2-1)\times3^{2-1}(3-1)=2^2\times1\times3\times2=24" src="http://www.wikilib.com/images/math/d/2/0/d201ca3c25ca15dd8d948eedb448bcff.png" /></font>
																		</p>
																		<a name=".E4.B8.8E.E6.AC.A7.E6.8B.89.E5.AE.9A.E7.90.86.E3.80.81.E8.B2.BB.E9.A6.AC.E5.B0.8F.E5.AE.9A.E7.90.86.E7.9A.84.E9.97.9C.E4.BF.82">
																		</a>
																		<h2>
																				<font size="2">与欧拉定理、费马小定理的关系</font>
																		</h2>
																		<p>
																				<font size="2">对任何两个互质的正整数<i>a</i>, <i>m</i>，<img class="tex" alt="m\ge2" src="http://www.wikilib.com/images/math/0/8/b/08b9e5eccad5ff4a01eb737ac1606e62.png" />，有 </font>
																		</p>
																		<dl>
																				<dd>
																						<font size="2">
																								<img class="tex" alt="a^{\varphi(m)} \equiv 1 \pmod m" src="http://www.wikilib.com/images/math/1/1/8/1189704550e311581235670cdafd8508.png" />
																						</font>
																				</dd>
																		</dl>
																		<p>
																				<font size="2">即</font>
																				<a title="欧拉定理" href="http://www.wikilib.com/wiki/%E6%AC%A7%E6%8B%89%E5%AE%9A%E7%90%86">
																						<font size="2">欧拉定理</font>
																				</a>
																		</p>
																		<p>
																				<br />
																				<font size="2">当<i>m</i>是质数<i>p</i>时，此式则为： </font>
																		</p>
																		<dl>
																				<dd>
																						<font size="2">
																								<img class="tex" alt="a^{p-1} \equiv 1 \pmod p" src="http://www.wikilib.com/images/math/5/9/6/596b191fce70ebfe0b3a3771157d859e.png" />
																						</font>
																				</dd>
																		</dl>
																		<p>
																				<font size="2">即</font>
																				<a title="费马小定理" href="http://www.wikilib.com/wiki/%E8%B4%B9%E9%A9%AC%E5%B0%8F%E5%AE%9A%E7%90%86">
																						<font size="2">费马小定理</font>
																				</a>
																				<font size="2">。 </font>
																		</p>
																</div>
														</div>
												</div>
										</div>
								</div>
						</div>
				</div>
		</div>
<img src ="http://www.cppblog.com/chgsh8089/aggbug/13042.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/chgsh8089/" target="_blank">small-fat</a> 2006-09-27 17:30 <a href="http://www.cppblog.com/chgsh8089/archive/2006/09/27/13042.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>皮克定理</title><link>http://www.cppblog.com/chgsh8089/archive/2006/08/12/11160.html</link><dc:creator>small-fat</dc:creator><author>small-fat</author><pubDate>Sat, 12 Aug 2006 14:12:00 GMT</pubDate><guid>http://www.cppblog.com/chgsh8089/archive/2006/08/12/11160.html</guid><wfw:comment>http://www.cppblog.com/chgsh8089/comments/11160.html</wfw:comment><comments>http://www.cppblog.com/chgsh8089/archive/2006/08/12/11160.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/chgsh8089/comments/commentRss/11160.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/chgsh8089/services/trackbacks/11160.html</trackback:ping><description><![CDATA[
		<font size="5">题目：</font>
		<a href="http://acm.pku.edu.cn/JudgeOnline/problem?id=2954">
				<font size="5">http://acm.pku.edu.cn/JudgeOnline/problem?id=2954</font>
				<br />
		</a>
		<br />
		<font size="5">定理详细描述：</font>
		<a href="http://www.pep.com.cn/200406/ca474440.htm">
				<font size="5">http://www.pep.com.cn/200406/ca474440.htm</font>
		</a>
		<br />
		<br />
		<font size="5">
				<font size="6">转：</font>　<br /></font>
		<table cellspacing="0" cellpadding="0" width="100%" border="0">
				<tbody>
						<tr>
								<td align="middle">
										<p>
												<font size="5">
												</font>
										</p>
										<div class="title">数数格点算出面积 </div>
										<p>
										</p>
										<p>
										</p>
										<div class="bt_content">
										</div>
										<p>
										</p>
								</td>
						</tr>
						<tr valign="top">
								<td>
										<div class="bt_content">
												<p>　　一张方格纸上，上面画着纵横两组平行线，相邻平行线之间的距离都相等，这样两组平行线的交点，就是所谓格点。 </p>
												<p>　　如果取一个格点做原点O，如图1，取通过这个格点的横向和纵向两直线分别做横坐标轴OX和纵坐标轴OY，并取原来方格边长做单位长，建立一个坐标系。这时前面所说的格点，显然就是纵横两坐标都是整数的那些点。如图1中的O、P、Q、M、N都是格点。由于这个缘故，我们又叫格点为整点。<br /><br />　　一个多边形的顶点如果全是格点，这多边形就叫做格点多边形。有趣的是，这种格点多边形的面积计算起来很方便，只要数一下图形边线上的点的数目及图内的点的数目，就可用公式算出<br />     设格点多边形的面积为S，多边形内部有N个格点，多边形边线上有 L个格点</p>
										</div>
								</td>
						</tr>
				</tbody>
		</table>公式<br />S - N = L/ 2 - 1; <img src ="http://www.cppblog.com/chgsh8089/aggbug/11160.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/chgsh8089/" target="_blank">small-fat</a> 2006-08-12 22:12 <a href="http://www.cppblog.com/chgsh8089/archive/2006/08/12/11160.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item></channel></rss>