<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:georss='http://www.georss.org/georss' xmlns:gd='http://schemas.google.com/g/2005' xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-383997934201646428</id><updated>2012-01-12T05:33:42.421-08:00</updated><category term='Photography'/><category term='Research'/><category term='Mathematics'/><category term='Music'/><category term='Physics'/><title type='text'>On PhD and related realities of my life</title><subtitle type='html'>for all boring points related to the practical aspects of life, and for all practical points related to the interesting aspects of life</subtitle><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/posts/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default?max-results=100'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/'/><link rel='hub' href='http://pubsubhubbub.appspot.com/'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>23</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>100</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-5978201729401988619</id><published>2011-05-18T23:43:00.000-07:00</published><updated>2011-05-18T23:43:18.456-07:00</updated><title type='text'>scp command to transfer directory</title><content type='html'>&lt;div dir="ltr" style="text-align: left;" trbidi="on"&gt;Suppose I want to transfer the 'book' directory from machine 'x' to machine 'y'. Be in the machine 'x', in the parent directory of the 'book' directory, then type the following command:&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;]$ scp -r book kbhaskar@IP_y:/home/bhaskar&lt;br /&gt;&lt;br /&gt;Give password and enter.&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-5978201729401988619?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/5978201729401988619/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=5978201729401988619' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5978201729401988619'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5978201729401988619'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2011/05/scp-command-to-transfer-directory.html' title='scp command to transfer directory'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-7760272040447584189</id><published>2011-05-18T04:05:00.001-07:00</published><updated>2011-05-18T04:05:59.057-07:00</updated><title type='text'></title><content type='html'>&lt;div dir="ltr" style="text-align: left;" trbidi="on"&gt;ifort lapacktest.f90 -L/opt/intel/Compiler/11.1/&lt;div id=":12x"&gt;&lt;wbr&gt;&lt;/wbr&gt;072/mkl/lib/em64t -lmkl_intel_lp64&amp;nbsp; -lmkl_sequential -lmkl_core -lpthread&lt;/div&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-7760272040447584189?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/7760272040447584189/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=7760272040447584189' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7760272040447584189'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7760272040447584189'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2011/05/ifort-lapacktest.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-1456518105513712845</id><published>2011-03-23T00:29:00.000-07:00</published><updated>2011-03-23T00:29:37.681-07:00</updated><title type='text'>sftp</title><content type='html'>&lt;div dir="ltr" style="text-align: left;" trbidi="on"&gt;I am in one machine, say 'x'. I want to ftp files from this machine to another machine, say 'y'.&lt;br /&gt;1) Be in machine 'x' in the directory from which you want to copy the files.&lt;br /&gt;2) Now type:&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; sftp kbhaskar@ipy (ipy is IP address of 'y'.)&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; It will ask for password for 'y'. Give it.&lt;br /&gt;3) The following prompt comes up:&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; sftp&amp;gt;&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; Type in the pathname of the directory in machine 'y' where you want the files to be copied with the 'cd' command:&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; sftp&amp;gt; cd 'pathname'&lt;br /&gt;4) mput filename&lt;br /&gt;&amp;nbsp;&amp;nbsp;&amp;nbsp; Above command will transfer the specified file from machine 'x' to machine 'y'.&lt;br /&gt;&lt;br /&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-1456518105513712845?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/1456518105513712845/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=1456518105513712845' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1456518105513712845'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1456518105513712845'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2011/03/sftp.html' title='sftp'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-4726590912796335995</id><published>2010-11-21T07:57:00.000-08:00</published><updated>2010-11-21T08:10:36.123-08:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Mathematics'/><title type='text'>Constructing an ellipse</title><content type='html'>&lt;a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://3.bp.blogspot.com/_Wfps3jWufK0/TOlBdw50GDI/AAAAAAAAASQ/37fKU_XyyXs/s1600/ellipse.JPG"&gt;&lt;img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer; width: 294px; height: 320px;" src="http://3.bp.blogspot.com/_Wfps3jWufK0/TOlBdw50GDI/AAAAAAAAASQ/37fKU_XyyXs/s320/ellipse.JPG" alt="" id="BLOGGER_PHOTO_ID_5542032796055509042" border="0" /&gt;&lt;/a&gt;Cut a sheet of paper into the form of a circle. F2 is the centre of the circle. F1 is an arbitrary point. Now fold the circle so that some point on the circumference coincides with F1. The crease thus formed is a tangent to an ellipse with F1 and F2 as its foci. More such tangents, and you're left with a pretty ellipse!&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-4726590912796335995?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/4726590912796335995/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=4726590912796335995' title='2 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/4726590912796335995'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/4726590912796335995'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2010/11/constructing-ellipse.html' title='Constructing an ellipse'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><media:thumbnail xmlns:media='http://search.yahoo.com/mrss/' url='http://3.bp.blogspot.com/_Wfps3jWufK0/TOlBdw50GDI/AAAAAAAAASQ/37fKU_XyyXs/s72-c/ellipse.JPG' height='72' width='72'/><thr:total>2</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-1744910579577086592</id><published>2009-11-05T01:51:00.001-08:00</published><updated>2009-11-13T09:57:55.992-08:00</updated><title type='text'></title><content type='html'>1) J4 and J1 values&lt;br /&gt;2) Hole in orb. AF&lt;br /&gt;3) 4-dim basis&lt;br /&gt;4) Magnon softening&lt;br /&gt;5) Jahn-Teller effect&lt;br /&gt;6) Pseudo gap in onset of orb. ordering.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-1744910579577086592?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/1744910579577086592/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=1744910579577086592' title='34 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1744910579577086592'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1744910579577086592'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2009/11/1-j4-and-j1-values-2-hole-in-orb.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>34</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-4592337133246058452</id><published>2009-08-09T23:42:00.000-07:00</published><updated>2009-08-10T04:54:04.225-07:00</updated><title type='text'>Some Linux commands (for fedora 11) and notes on my OS</title><content type='html'>It's a 32-bit Fedora 11 installed on my system.&lt;br /&gt;&lt;br /&gt;Below are some commands for searching and installing softwares on the system:&lt;br /&gt;&lt;br /&gt;1) export http_proxy="http://username:password@vsnlproxy.iitk.ac.in:3128"&lt;br /&gt;(the http:// after the '=' may not be required)&lt;br /&gt;&lt;br /&gt;The above command connects you to the users outside of iitk.&lt;br /&gt;&lt;br /&gt;2) yum search player&lt;br /&gt;&lt;br /&gt;The above command gives a list of the players available for playing video files. (mplayer etc.) One can also try out dcpp in the same fashion. Works only for free software.&lt;br /&gt;&lt;br /&gt;3) yum -y install kmplayer.i586&lt;br /&gt;&lt;br /&gt;The above command installs kmplayer.i586 in my computer.&lt;br /&gt;&lt;br /&gt;yum -y update This command gives the updates (to which softwares?)&lt;br /&gt;&lt;br /&gt;**********************************************&lt;br /&gt;&lt;br /&gt;The command for running matlab is:&lt;br /&gt;&lt;br /&gt;/opt/matlab7.4/bin/matlab &amp;amp;&lt;br /&gt;&lt;br /&gt;***********************************************&lt;br /&gt;&lt;br /&gt;This is how to use scp:&lt;br /&gt;&lt;br /&gt;kbhaskar@phypc2:~$] scp ./kbhaskar/CMP/orbital_ordering/onset/orb_fluc/further/piavg_.m kbhaskar@172.28.72.29:~/.&lt;br /&gt;&lt;br /&gt;Explanation: I am in phypc2, root directory. I am copying the file piavg_.m from phypc2 into the computer with IP address 172.28.72.29. My login ID is kbhaskar on both computers.&lt;br /&gt;&lt;br /&gt;This way I don't need to open a mozilla browser and email the file each time I want to get the file from that computer into my present computer.&lt;br /&gt;&lt;br /&gt;*******************************************************************************&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-4592337133246058452?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/4592337133246058452/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=4592337133246058452' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/4592337133246058452'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/4592337133246058452'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2009/08/some-linux-commands-for-fedora-11-and.html' title='Some Linux commands (for fedora 11) and notes on my OS'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-3966742538141367893</id><published>2008-12-21T20:25:00.000-08:00</published><updated>2008-12-27T05:10:03.080-08:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Music'/><title type='text'></title><content type='html'>An oriental/Arabic sounding scale:&lt;br /&gt;e f g# a b c d# e (ascending)&lt;br /&gt;&lt;br /&gt;Improvising in the scale starting from c: C7,Em (largely, though Am may also be used, and even Ebm)&lt;br /&gt;&lt;br /&gt;Improvising around d#: B&lt;br /&gt;&lt;br /&gt;The G and D chords also may be used, but judiciously, to release the tension. G sounds good with Em, and so does D, but don't mix all three chords together.&lt;br /&gt;&lt;br /&gt;Try Dm also.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-3966742538141367893?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/3966742538141367893/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=3966742538141367893' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3966742538141367893'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3966742538141367893'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/12/orientalarabic-sounding-scale-e-f-g-b-c.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-7586454490535937906</id><published>2008-10-29T11:14:00.000-07:00</published><updated>2008-10-29T11:15:10.247-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Music'/><title type='text'></title><content type='html'>check out www.deezer.com&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-7586454490535937906?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/7586454490535937906/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=7586454490535937906' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7586454490535937906'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7586454490535937906'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/10/check-out-www.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-5061172925434636216</id><published>2008-10-12T11:27:00.000-07:00</published><updated>2008-10-12T11:35:56.034-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Music'/><title type='text'>polyrhythms</title><content type='html'>i just got an idea for representing polyrhythms. (the latter is a sequence of a fixed number of notes repeated again and again, but beginning each time at a different note, such that the number of notes in the sequence does not match with the number of subdivisions a beat is divided in. an eg. is: c d e d e f e f g f g a, each note being a 16th note in 4/4 time)&lt;br /&gt;&lt;br /&gt;take two concentric circles, each rotating at different speeds. the outer one represents the main beat...the inner one represents the notes of the sequence.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-5061172925434636216?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/5061172925434636216/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=5061172925434636216' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5061172925434636216'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5061172925434636216'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/10/polyrhythms.html' title='polyrhythms'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-3112579813224790377</id><published>2008-09-16T04:57:00.000-07:00</published><updated>2008-10-06T00:20:10.919-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Music'/><title type='text'>Music Planning</title><content type='html'>Upcoming music projects:&lt;br /&gt;1) Rondo alla turca&lt;br /&gt;2) ajeeb dastan hai yeh&lt;br /&gt;3) team up with swanand to explore the idea developed with bittu&lt;br /&gt;4) look up the jazz pieces in the book given by ashwin to explore the possibilities in ajeeb dastan...&lt;br /&gt;5) Ventures: "Tequila" and "Let's Go"&lt;br /&gt;6) check out Wes Montgomery's numbers also.&lt;br /&gt;&lt;br /&gt;i'm confused...where do i begin?&lt;br /&gt;finish off rondo alla turca and record/mix it. then finish the backing track for ajeeb dastan, then look up ashwin's book, and only then come back to develop ADHY further. project number (3) comes later.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-3112579813224790377?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/3112579813224790377/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=3112579813224790377' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3112579813224790377'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3112579813224790377'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/09/upcoming-music-projects-1-rondo-alla.html' title='Music Planning'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-5983071691302612242</id><published>2008-06-14T21:20:00.000-07:00</published><updated>2008-10-06T00:23:07.727-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'>Will I be a great physicist? Well, que sera sera!</title><content type='html'>Here's my experience with physics during the last six years or so I've been at IIT doing my PhD:&lt;br /&gt;&lt;br /&gt;"In Physics you never understand anything; you just get used to them"&lt;br /&gt;&lt;br /&gt;(I believe this statement was originally made by von Neumann in the context of quantum mechanics. But my IIT experience has proved it to be universal to all of Physics, and hence I've modified it accordingly.)&lt;br /&gt;&lt;br /&gt;A further modification of that statement:&lt;br /&gt;&lt;br /&gt;"In Physics you never start understanding, you only stop asking questions."&lt;br /&gt;&lt;br /&gt;- a fact to which I can attest, on the basis of direct experience.&lt;br /&gt;&lt;br /&gt;I like the following site:&lt;br /&gt;&lt;br /&gt;http://www.ap.smu.ca/~smuaps/quotes.shtml&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-5983071691302612242?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/5983071691302612242/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=5983071691302612242' title='1 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5983071691302612242'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/5983071691302612242'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/06/will-i-be-great-physicist-well-que-sera.html' title='Will I be a great physicist? Well, que sera sera!'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>1</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-2484294360329046369</id><published>2008-05-18T10:39:00.000-07:00</published><updated>2008-10-06T00:22:15.835-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Photography'/><title type='text'></title><content type='html'>Today I attended the second lecture on the photography workshop by Dr. Anupam Pal. I'm putting down some of the things I learnt for future reference.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Buying Guide:&lt;br /&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;1) Fix your budget&lt;br /&gt;2) If going for DSLR make sure you're getting a lens with the body!&lt;br /&gt;3) Keep some money for a UV filter&lt;br /&gt;4) Keep some money for memory card and a battery charger too (if Eveready type pencils cells are used)&lt;br /&gt;5) Keep some money aside for Memory card reader and camera bag too.&lt;br /&gt;&lt;br /&gt;1) 5 mega pixels resolution is sufficient.&lt;br /&gt;2) For point and shoot camera, go for the best OPTICAL zoom. Digital zoom is of no use.&lt;br /&gt;3) Look for exposure control. (A, T, M etc.)&lt;br /&gt;4) look for anti-shake technology.&lt;br /&gt;5) Go for the largest aperture (i.e. smallest f-number)&lt;br /&gt;6) Look for minimum lag time&lt;br /&gt;7) Look for swivel and largest LCD. (swivel means one can change the orientation of the LCD if, for example, the sun is shining directly on to it.)&lt;br /&gt;8) Multimedia capability (just an extra)&lt;br /&gt;9) Go for camera manufacturing companies like Canon, Nikon, Olympus, Pentax, Sony, etc.)&lt;br /&gt;     Avoid electronics companies like HP, Panasonic, Epson etc.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Features&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;Lens types:&lt;br /&gt;&lt;br /&gt;1) Prime lenses: have fixed focal length.&lt;br /&gt;2) Lenses with variable focal lengths: zoom lens and varifocal lens.&lt;br /&gt;&lt;br /&gt;Lens with focal length of 50 mm is a normal lens (I don't know if that is the technical name). The image looks nearly as you see it.&lt;br /&gt;&lt;br /&gt;Lens with focal length &lt; 50 mm is called wide angle lens. Allows more elements to be captured in the frame.&lt;br /&gt;While buying a lens, go for the one which has a smaller lower limit on the focal length (i.e. more wide-angle). The upper limit probably does not matter so much (I'll have to confirm this part)&lt;br /&gt;&lt;br /&gt;focal length &gt; 50 mm: telephoto lens.&lt;br /&gt;&lt;br /&gt;Macro lenses are used for close-ups. There are something called tilt-shift lenses.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Filters&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;UV filter for protection (to camera sensor or the eye?)&lt;br /&gt;Circular polarizer (removes reflection and saturates color)&lt;br /&gt;Graduated neutral density filter (can be used for sunsets when the sky is too bright and the earth is too dark)&lt;br /&gt;Neutral density filter.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Flash&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;Built-in flash: good for fill flash (what's that?) but bad if used as a primary source of light. Creates red eye.&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;Accessory  flash.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;Using flash in the sun can be useful.  For eg. ,  if the sun is overhead and  illuminating the head or hat of some person,  but leaving the face in darkness or the eyes as black spots because of the shadow, then flash can be used to reveal these features.&lt;br /&gt;&lt;br /&gt;Using flash at slow shutter speeds can create interesting effects while capturing movement. There will  be a general blur with a sharp image at the instant the flash was on.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Light metering: &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;amount of light entering the camera.&lt;br /&gt;1) Auto: camera decides everything.&lt;br /&gt;2) Aperture priority: You set the aperture, camera sets the shutter speed- this is MOST USEFUL.&lt;br /&gt;3) Shutter priority: other way round as above.&lt;br /&gt;&lt;br /&gt;Gray scale: camera tends to make images gray by 18%. So a black object will try to be whiter and a white object will try to be darker. For this it may be necessary to do full manual light metering. for eg. it may be necessary to underexpose a dark object and over expose a bright object.&lt;br /&gt;&lt;br /&gt;Calculation for mega pixels: if you need a 8" by 12" print, you need 8 * 12 * 300 * 300 number of pixels.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;There are two minor problems with DSLRs:&lt;br /&gt;1) small sensor size compared to 35 mm film. There's a 1.5 or 1.6 multiplication factor which makes wide angle lens not so wide but a tele photo lens super-tele.&lt;br /&gt;Sensor in DSLR has to be small because large sensor size makes the image quality at the edges bad. (But why does this problem not exist in 35 mm film?)&lt;br /&gt;&lt;br /&gt;2) Dust accumulation on sensor. But Nikon has come up with ways to deal with this.&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-2484294360329046369?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/2484294360329046369/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=2484294360329046369' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/2484294360329046369'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/2484294360329046369'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/05/today-i-attended-second-lecture-on.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-7424097630994051926</id><published>2008-03-27T02:34:00.000-07:00</published><updated>2008-10-06T00:23:39.944-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'></title><content type='html'>"A two-electron spin-triplet state is symmetric under exchange of the two spins."&lt;br /&gt;                                                            -Frohlich, Ueltschi, arXiv:cond-mat/0404483 v2 10 Nov 2004&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-7424097630994051926?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/7424097630994051926/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=7424097630994051926' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7424097630994051926'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7424097630994051926'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/03/two-electron-spin-triplet-state-is.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-8580831494972980597</id><published>2008-03-24T22:05:00.000-07:00</published><updated>2008-10-06T00:24:19.266-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'>Correlations</title><content type='html'>If the probability of finding electron 'a' at r_a is independent of the probability of finding electron 'b' at r_b, then the probability of finding a at r_a AND the probability of finding b at r_b is simply the product of the probabilities i.e.&lt;br /&gt;&lt;br /&gt;( | psi_ab (r_a, r_b) |^2 ) (dr_a)(dr_b) = (|psi_a (r_a)|^2 dr_a) (|psi_b(r_b)|^2 dr_b)&lt;br /&gt;&lt;br /&gt;But if we take the Coulomb repulsion U into account then the position of b will influence the position of a and vice versa because the electrons do not want to be close, and the lhs above cannot then be described by the simple product ecause it will not then reflect this dependence. This dependence of one function on another is called 'correlation', as written in &lt;a href="http://en.wikipedia.org/wiki/Electron_correlation"&gt;wikipedia&lt;/a&gt;.&lt;br /&gt;&lt;br /&gt;Hence, U gives rise to correlation effects in the Hubbard model as for eg., if the up-spin electron is absent in a state, then the down-spin electron present in the same state will have a lower energy and so there will be a spectral weight transfer of the down spin electrons to lower energies.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-8580831494972980597?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/8580831494972980597/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=8580831494972980597' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8580831494972980597'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8580831494972980597'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/03/correlations.html' title='Correlations'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-6522974346684331193</id><published>2008-03-19T00:06:00.000-07:00</published><updated>2008-10-06T00:24:52.016-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'></title><content type='html'>If the unit cell of a solid has an odd number of electrons it means there's an unpaired electron and so electrons can hop among adjacent sites making it conductor. But NiO and CoO are insulators even though they have odd number of electrons in adjacent sites. These are called Mott insulators.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-6522974346684331193?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/6522974346684331193/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=6522974346684331193' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/6522974346684331193'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/6522974346684331193'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/03/if-unit-cell-of-solid-has-odd-number-of.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-3483813224743142703</id><published>2008-03-14T05:22:00.001-07:00</published><updated>2008-10-06T00:25:46.168-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'></title><content type='html'>Gamma - X - M - R - Gamma&lt;br /&gt;&lt;br /&gt;the nomeclature for the Brillouin zone branches in the simple cubic lattice.&lt;br /&gt;Gamma: (0,0,0)&lt;br /&gt;X:          (pi,0,0)&lt;br /&gt;M:          (pi,pi,0)&lt;br /&gt;R:          (pi,pi,pi)&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-3483813224743142703?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/3483813224743142703/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=3483813224743142703' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3483813224743142703'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3483813224743142703'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/03/gamma-x-m-r-gamma-for-simple-cubic.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-7381444839133955490</id><published>2008-02-25T20:40:00.000-08:00</published><updated>2008-10-06T00:26:22.351-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Research'/><category scheme='http://www.blogger.com/atom/ns#' term='Physics'/><title type='text'></title><content type='html'>&lt;div style="text-align: justify;"&gt;The correlation function gives the response function (comes from the fluctuation-dissipation theorem: check it out). When the response function diverges, one can have spontaneous ordering, as happens in the case of magnetization, where we have spontaneous ordering when the response function diverges. Why this happens is obvious from the following equation:&lt;br /&gt;&lt;br /&gt;m = XB&lt;br /&gt;&lt;br /&gt;where m is the magnetization and B is the magnetic field and X is the response function, known as susceptibility. So when X diverges, one can have finite m even when B is zero.&lt;br /&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-7381444839133955490?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/7381444839133955490/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=7381444839133955490' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7381444839133955490'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7381444839133955490'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/02/correlation-function-gives-response.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-7494509568919873404</id><published>2008-02-14T11:04:00.000-08:00</published><updated>2008-12-18T02:55:26.187-08:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Mathematics'/><title type='text'>Tonight, I ...</title><content type='html'>&lt;div style="text-align: justify;"&gt;But of course that is not the theme of this post. Instead I want to concretize some results and put them in one place. Else they'll get lost in myriad pages of notebooks scattered in here and there. I'd have preferred writing with my hands and putting up a scanned image. But the keyboard will have to do tonite. &lt;br /&gt;&lt;br /&gt;If you're one of those rare visitors to this blog, you'd be better off reading Herstein's Topics in Algebra than the rest of the post, which is more for my reference than for your edification, but I welcome you with arms wide open if you choose to proceed.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;&lt;span style="color: rgb(255, 0, 0);"&gt;EUCLID'S ALGORITHM&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;br /&gt;Let &lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z &lt;/span&gt;&lt;/span&gt;denote the set of integers.&lt;/span&gt;  Let &lt;span style="font-style: italic;"&gt;a&lt;/span&gt;,&lt;span style="font-style: italic;"&gt; b &lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z &lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;with &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;not equal to 0&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;. &lt;/span&gt;&lt;/span&gt;Then there exist unique &lt;span style="font-style: italic;"&gt;m, r&lt;/span&gt;&lt;/span&gt; Є&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt; &lt;/span&gt;&lt;span style="font-weight: bold; font-style: italic;"&gt;Z &lt;/span&gt;such that&lt;br /&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;a = mb + r&lt;/span&gt;    with 0 &lt;/span&gt;≤ &lt;span style="font-style: italic;"&gt;r&lt;/span&gt; &lt; &lt;span style="font-style: italic;"&gt;|b|&lt;/span&gt;&lt;br /&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;In more familiar parlance, &lt;span style="font-style: italic;"&gt;m &lt;/span&gt;is the quotient and &lt;span style="font-style: italic;"&gt;r &lt;/span&gt;is the remainder when &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is divided by &lt;span style="font-style: italic;"&gt;b&lt;/span&gt;.&lt;br /&gt;&lt;/span&gt;  &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 153, 0);"&gt;Proof:&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Consider the set of integers &lt;span style="font-style: italic;"&gt;S = { (a-nb) | n &lt;/span&gt;&lt;span style="font-style: italic;"&gt; &lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt; }&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Obviously all elements are unequal for different valuesof &lt;span style="font-style: italic;"&gt;n. &lt;/span&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;If &lt;span style="font-style: italic;"&gt;a-nb = 0 &lt;/span&gt;for some value of &lt;span style="font-style: italic;"&gt;n, &lt;/span&gt;say &lt;span style="font-style: italic;"&gt;n = m1, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;a = m1*b &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;r = 0, &lt;/span&gt;and we are done. (The uniqueness follows from the fact that all elemetns in &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;are different for different values on &lt;span style="font-style: italic;"&gt;n&lt;/span&gt;)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Now consider the case when &lt;span style="font-style: italic;"&gt;a-nb &lt;/span&gt;&lt;/span&gt;≠ 0 for all &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z.            &lt;/span&gt;&lt;/span&gt;(1)&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Let &lt;span style="font-style: italic;"&gt;b &gt; 0. &lt;/span&gt;(the case where &lt;span style="font-style: italic;"&gt;b&lt;/span&gt;&lt;span style="font-style: italic;"&gt;.lt.0 &lt;/span&gt;can be treated in a similar vein)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;From (1), &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;consists only of non-zero integers. Let &lt;span style="font-style: italic;"&gt;q &lt;/span&gt;be the largest -ve integer and let &lt;span style="font-style: italic;"&gt;r &lt;/span&gt;be the smallest positive integer.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;So, &lt;span style="font-style: italic;"&gt;&lt;br /&gt;q = (a - m2*b) .lt. 0   &lt;/span&gt;&lt;span&gt;&lt;span&gt;(2)&lt;/span&gt;&lt;span&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span&gt;and&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;r = (a - m2*b + b) &gt; 0 &lt;/span&gt;    (3)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt;  &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;    If we add &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;to equation (2), we see that the resulting equation is the same as&lt;br /&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;r .lt. b&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;    And from (3) we see&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;    &lt;span style="font-style: italic;"&gt;0 .lt. r&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Obviously, the next element in the series, &lt;span style="font-style: italic;"&gt;r+b &lt;/span&gt;is greater than &lt;span style="font-style: italic;"&gt;r. &lt;/span&gt;&lt;span&gt;(&lt;/span&gt;&lt;span&gt;Since &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;&gt; 0)&lt;/span&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;From (3), we can write &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;in the required form&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;    &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;a = mb + r&lt;/span&gt;    with 0 &lt;/span&gt;≤ &lt;span style="font-style: italic;"&gt;r&lt;/span&gt; &lt; &lt;span style="font-style: italic;"&gt;|b|        &lt;/span&gt;with unique &lt;span style="font-style: italic;"&gt;m &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;r.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;&lt;/span&gt;In considering the set &lt;span style="font-style: italic;"&gt;S&lt;/span&gt; we are repeatedly subtracting &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;from &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;until we are left with the least positive integer &lt;span style="font-style: italic;"&gt;r, &lt;/span&gt;which is why we were told in our school days that division is repeated subtraction (and multiplication, of course, is repeated addition)&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;-QED&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-weight: bold;"&gt;Notation: &lt;/span&gt;&lt;span style="font-style: italic;"&gt; &lt;/span&gt;If &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is a factor (or divisor) of &lt;span style="font-style: italic;"&gt;b, &lt;/span&gt;we will write &lt;span style="font-style: italic;"&gt;a|b. &lt;/span&gt;It means we can write &lt;span style="font-style: italic;"&gt;b=ka.&lt;br /&gt;&lt;/span&gt;(&lt;span style="font-style: italic;"&gt;a,b,k &lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt;&lt;/span&gt;)&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-weight: bold;"&gt;Definition 1: &lt;/span&gt;The &lt;span style="font-style: italic;"&gt;greatest common divisor &lt;span style="font-style: italic;"&gt;(gcd) &lt;/span&gt;&lt;/span&gt;of two integers &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b, &lt;/span&gt;denoted by &lt;span style="font-style: italic;"&gt;(a,b)    &lt;/span&gt;&lt;br /&gt;  is  defined by the following:&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;                        1)     &lt;span style="font-style: italic;"&gt;c = (a, b) &lt;/span&gt;if &lt;span style="font-style: italic;"&gt;c|a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;c|b&lt;br /&gt;&lt;/span&gt;                                          AND&lt;br /&gt;  2)    If &lt;span style="font-style: italic;"&gt;k|a and k|b, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;k|c&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Note that &lt;span style="font-style: italic;"&gt;(a, b) &lt;/span&gt;is taken to be positive by convention.&lt;br /&gt;Obviously, &lt;span style="font-style: italic;"&gt;(a, b) &lt;/span&gt;is unique because if &lt;span style="font-style: italic;"&gt;c=(a, b) &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;d=(a, b) &lt;/span&gt;then bythe definition of gcd, c|d and d|c =&gt; c=d.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;The next lemma demonstrates some surprising properties of the gcd which I found extremely fascinating.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Lemma 1:&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;are integers, not both zero, then &lt;span style="font-style: italic;"&gt;(a,b) &lt;/span&gt;exists; moreover, we can find integers &lt;span style="font-style: italic;"&gt;m &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;such that &lt;span style="font-style: italic;"&gt;(a,b) = ma+nb&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;Proof&lt;/span&gt;&lt;/span&gt;&lt;/span&gt; : Consider the set &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;defined by  &lt;span style="font-style: italic;"&gt;S = { Ma+Nb | M, N  &lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt;&lt;span&gt; }&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Since &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;both are not zero, there exist some non-zero integers in &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;And since, if &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;Є &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z, &lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;then so does -&lt;span style="font-style: italic;"&gt;x, S &lt;/span&gt;contains positive integers. Let &lt;span style="font-style: italic;"&gt;c = &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;ma+nb &lt;/span&gt;&lt;span&gt;be the smallest positive integer. We will now demonstrate a surprising fact: &lt;span style="font-style: italic;"&gt;c &lt;/span&gt;divides &lt;span style="font-style: italic;"&gt;all &lt;/span&gt;members of the set &lt;span style="font-style: italic;"&gt;S&lt;/span&gt;! For, let &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S, &lt;/span&gt;whence&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;x = pa+qb &lt;/span&gt;for some integers &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;q. &lt;/span&gt;(6)&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;By Euclid's algorithm, we can write&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;x = tc + r  &lt;/span&gt;with 0 ≤ &lt;span style="font-style: italic;"&gt;r &lt; .lt. c    (7) &lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;or, since &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;c = &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;ma+nb &lt;/span&gt;&lt;span&gt;and &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;x = pa+qb, &lt;/span&gt;we can write (7) as:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;r = (p-tm)a+(q-tn)b  .lt.  c&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;br /&gt;If &lt;span style="font-style: italic;"&gt;r&gt;0, &lt;/span&gt;then, contrary to our assumption, &lt;span style="font-style: italic;"&gt;r &lt;/span&gt;is the smallest positive integer of &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;and not &lt;span style="font-style: italic;"&gt;c. &lt;/span&gt;Thus we are forced to conclude that &lt;span style="font-style: italic;"&gt;r=0. &lt;/span&gt;Which means, from (7), that &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;is a multiple of &lt;span style="font-style: italic;"&gt;c. &lt;/span&gt;But &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;was an arbitrary element of &lt;span style="font-style: italic;"&gt;S, &lt;/span&gt;whence we conclude that &lt;span style="font-style: italic;"&gt;c|x&lt;/span&gt; for all &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Now &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;includes &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;also (as can be seen by taking &lt;span style="font-style: italic;"&gt;M &lt;/span&gt;or &lt;span style="font-style: italic;"&gt;N &lt;/span&gt;to be zero in the definition of &lt;span style="font-style: italic;"&gt;S&lt;/span&gt;), from which we conclude that &lt;span style="font-style: italic;"&gt;c|a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;c|b. &lt;/span&gt;Thus &lt;span style="font-style: italic;"&gt;c &lt;/span&gt;satisfies the first part of the definition of the gcd. As regards the second part, note that if &lt;span style="font-style: italic;"&gt;k|a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;k|b, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;k|(Ma+Nb) &lt;/span&gt;for any integers &lt;span style="font-style: italic;"&gt;M &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;N, &lt;/span&gt;which proves that &lt;span style="font-style: italic;"&gt;k|c.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Hence, &lt;span style="font-style: italic;"&gt;c = ma+nb &lt;/span&gt;is the gcd of &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;-QED&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Lemma 2: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span&gt;If &lt;span style="font-style: italic;"&gt;a, b, c &lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt; &lt;/span&gt;such that &lt;span style="font-style: italic;"&gt;a | bc &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;(a,b) = &lt;/span&gt;1&lt;span style="font-style: italic;"&gt;, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;a | c.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Proof: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span&gt;We're given that &lt;span style="font-style: italic;"&gt;a | bc. &lt;/span&gt;Obviously, &lt;span style="font-style: italic;"&gt;a | ac. &lt;/span&gt;Since &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;divides both &lt;span style="font-style: italic;"&gt;bc &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;ac, a &lt;/span&gt;has to divide &lt;span style="font-style: italic;"&gt;(ac, bc). &lt;/span&gt;This follows from the definition of gcd given earlier. What is &lt;span style="font-style: italic;"&gt;(ac, bc)&lt;/span&gt; ? Well, since it is given that &lt;/span&gt;&lt;span style="font-style: italic;"&gt;(a,b) = &lt;/span&gt;1, it follows that &lt;span style="font-style: italic;"&gt;(ac,bc) = c. &lt;/span&gt;Hence &lt;span style="font-style: italic;"&gt;a | c.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;-QED&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Lemma 3: &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;span&gt;If &lt;span style="font-style: italic;"&gt;(a, b) = (a, c) = 1, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;(a, bc) = 1.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;Proof: &lt;/span&gt;&lt;/span&gt;&lt;span&gt;Since &lt;span style="font-style: italic;"&gt;(a, b) = (a,c) = 1, &lt;/span&gt;using lemma 1, we know that there exist integers &lt;span style="font-style: italic;"&gt;p, q, r, s &lt;/span&gt;such that&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;pa + qb = 1 &lt;/span&gt;(9)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;and&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;ra + sc = 1 &lt;/span&gt;(10)&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;br /&gt;Multiplying the two equations (9) and (10) we get&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;(pra + psc + qbr)a + (qs)bc = 1&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Since the least positive integer of the set &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;defined by &lt;span style="font-style: italic;"&gt;S = { mu + nv | m, n &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Z &lt;/span&gt;} &lt;/span&gt;&lt;span&gt;is &lt;span style="font-style: italic;"&gt;(u, v) &lt;/span&gt;(as can be seen from the proof of lemma 1), it follows that &lt;span style="font-style: italic;"&gt;(a,bc) = 1&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;-QED&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p style="text-align: justify;" class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;Lemma 4: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;We'll be needing one more result later on, which is being presented here. This lemma states that if &lt;span style="font-style: italic;"&gt;(n, x) = 1, &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;x = kn + r, &lt;/span&gt;with &lt;span style="font-style: italic;"&gt;n &gt; r &gt; 0 &lt;/span&gt;by the Euclid algorithm, then &lt;span style="font-style: italic;"&gt;(n, r) = 1.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p style="text-align: justify;" class="MsoNormal"&gt;&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Proof: &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;Suppose &lt;span style="font-style: italic;"&gt;(n, r) &gt; 1. &lt;/span&gt;Then &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;r &lt;/span&gt;have a common factor &gt; 1, which implies that &lt;span style="font-style: italic;"&gt;kn + r &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;have a common factor &gt; 1, but since &lt;span style="font-style: italic;"&gt;kn + r = x, &lt;/span&gt;it implies that &lt;span style="font-style: italic;"&gt;x &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;have a common factor &gt; 1, which contradicts the fact that &lt;span style="font-style: italic;"&gt;(n, x) = 1.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p style="text-align: justify;" class="MsoNormal"&gt;&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;-QED&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Where do we go with all these lemmas? Well, I'd started out originally with algebra, so that is where we must go. More specifically, to Group Theory. According to Problem 14, pg. 36 of Herstein, we have the following result:&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Lemma 5: &lt;/span&gt;&lt;/span&gt;If a finite set &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is closed under an associative product, and both cancellation laws hold in G, then &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a group.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Proof: &lt;/span&gt;&lt;/span&gt;I'll give a detailed proof later. It's quite simple, and the idea is to consider any element &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;belonging to &lt;span style="font-style: italic;"&gt;G, &lt;/span&gt;and consider it raised to various powers, which are all contained in &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;due to the closure property, and which are moreover finite in number because &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a finite group.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;- &lt;span style="font-style: italic;"&gt;almost QED!&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Now look at Problem 15(a), on the same page. Initially I had some problems in understanding what it really meant, so I had to refer to a book on Number Theory (Niven, Zuckerman, Montgomery) for more explanation. So with this hindsight, I'll rephrase the result in the following theorem:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Theorem 1: &lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;is a prime number, then all positive integers less than &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;form a group under multiplication mod &lt;span style="font-style: italic;"&gt;p.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Proof: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;First of all, what is meant by &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;? It is simply the remainder that is left when &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is divided by &lt;span style="font-style: italic;"&gt;p. &lt;/span&gt;(By Euclid's algorithm, this is less than &lt;span style="font-style: italic;"&gt;p&lt;/span&gt;) Now we can see what is meant by multiplication mod &lt;span style="font-style: italic;"&gt;p. &lt;/span&gt;Let &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S, &lt;/span&gt;&lt;span&gt;where &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;is defined by &lt;span style="font-style: italic;"&gt;S = { x &lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-weight: bold;"&gt;Z &lt;span style="font-style: italic;"&gt;| &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;p &gt; x &gt; 0 }. &lt;/span&gt;The binary operation * is called 'multiplication mod &lt;span style="font-style: italic;"&gt;p' &lt;/span&gt;if &lt;span style="font-style: italic;"&gt;a*b = ab &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p  &lt;/span&gt;i.e. &lt;span style="font-style: italic;"&gt;a*b &lt;/span&gt;is the remainder when &lt;span style="font-style: italic;"&gt;ab &lt;/span&gt;is divided by &lt;span style="font-style: italic;"&gt;p.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Let us go about proving the theorem.&lt;br /&gt;&lt;/p&gt; &lt;p style="color: rgb(255, 0, 0);" class="MsoNormal"&gt;(1) Closure:&lt;/p&gt; &lt;p class="MsoNormal"&gt;Let &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;b &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S.  &lt;/span&gt;&lt;span&gt;Since &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;is a prime, &lt;span style="font-style: italic;"&gt;(p,a) = (p,b) =1. &lt;/span&gt;By lemma 3, &lt;span style="font-style: italic;"&gt;(p, ab) = 1. &lt;/span&gt;Using Euclid's algorithm, we can write:&lt;br /&gt;&lt;/span&gt;&lt;/p&gt;  &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;ab = mp + r          &lt;/span&gt;&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;with &lt;span style="font-style: italic;"&gt;p &gt; r &lt;/span&gt;≥ 0. If &lt;span style="font-style: italic;"&gt;r = 0, ab &lt;/span&gt;is a multiple of &lt;span style="font-style: italic;"&gt;p, &lt;/span&gt;which contradicts &lt;span&gt;&lt;span style="font-style: italic;"&gt;(p, ab) = 1. &lt;/span&gt;&lt;span&gt;Thus &lt;span style="font-style: italic;"&gt;p &gt; r &gt; 0, &lt;/span&gt;which implies &lt;span style="font-style: italic;"&gt;a*b  (= r) &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;&lt;span&gt;Thus the set &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;is closed under the operation multiplicaton mod &lt;span style="font-style: italic;"&gt;p.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="color: rgb(255, 0, 0);"&gt;(2) Associativity:&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;Consider &lt;span style="font-style: italic;"&gt;a*(b*c), &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;a, b, c &lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;&lt;span&gt;By the definition of *, it equals&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;a*(bc &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p)  =  &lt;/span&gt;[&lt;span style="font-style: italic;"&gt;a (bc &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p)&lt;/span&gt;] mod &lt;span style="font-style: italic;"&gt;p  =  &lt;/span&gt;[&lt;span style="font-style: italic;"&gt;a (bc - mp)&lt;/span&gt;] mod &lt;span style="font-style: italic;"&gt;p  =  abc &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;where we let &lt;span style="font-style: italic;"&gt;bc = mp + b*c.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;Similarly, one can show &lt;span style="font-style: italic;"&gt;(a*b)*c = abc &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;Hence, associativity of * is also proved.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p style="color: rgb(255, 0, 0);" class="MsoNormal"&gt;&lt;span&gt;(3) Cancellation laws:&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Let &lt;span style="font-style: italic;"&gt;a*b = a*c, &lt;/span&gt;with &lt;span&gt;&lt;span style="font-style: italic;"&gt;a, b, c &lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;&lt;span&gt;Using the Euclid algorithm and the definition of *, this implies&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;ab = mp + r&lt;br /&gt;ac = np + r&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;with &lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;p &gt; r &lt;/span&gt;&gt; 0. From the above, it's obvious that &lt;span style="font-style: italic;"&gt;p | a(b-c). &lt;/span&gt;Since &lt;span style="font-style: italic;"&gt;(p, a) = 1, &lt;/span&gt;we have from lemma 2 that &lt;span style="font-style: italic;"&gt;p | (b-c). &lt;/span&gt;But |&lt;span style="font-style: italic;"&gt;b-c| &lt;/span&gt;is less than &lt;span style="font-style: italic;"&gt;p, &lt;/span&gt;and so the only way &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;can divide &lt;span style="font-style: italic;"&gt;b-c &lt;/span&gt;is by having &lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;b-c = 0, &lt;/span&gt;i.e.&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;b = c&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Similarly we can show that if &lt;span style="font-style: italic;"&gt;b*a = c*a, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;b = c. &lt;/span&gt;Thus both cancellation laws hold in &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;Thus by theorem 1, &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;is a group.&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;-&lt;span style="font-style: italic;"&gt;QED&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;We can generalize the above theorem to the case when &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;can be any positive integer. The modified theorem reads:&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Theorem 2: &lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;is a positive integer, then all positive integers less than &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;and relatively prime to &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;(i.e. the gcd of any one of those numbers and &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;is 1) form a group under multiplication mod &lt;span style="font-style: italic;"&gt;n.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Proof:&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span&gt;Let &lt;span style="font-style: italic;"&gt;S = { x &lt;/span&gt;&lt;/span&gt;Є &lt;span style="font-weight: bold;"&gt;Z &lt;/span&gt;| &lt;span style="font-style: italic;"&gt;n &gt; x &gt; 0 &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;(n, x) = 1}&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;(1) Closure:&lt;br /&gt;&lt;br /&gt;Let &lt;span style="font-style: italic;"&gt;x1 &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;x2 &lt;/span&gt;Є &lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Z.&lt;br /&gt;&lt;/span&gt;&lt;/span&gt; As before, x1*x2 = x1 x2 mod n.&lt;br /&gt;From lemma 3, &lt;span style="font-style: italic;"&gt;(n, x1 x1) = 1.&lt;br /&gt;&lt;/span&gt;From lemma 4,  &lt;span style="font-style: italic;"&gt;x1*x2&lt;/span&gt; Є &lt;span style="font-style: italic;"&gt;S. &lt;/span&gt;Hence Closure of &lt;span style="font-style: italic;"&gt;S &lt;/span&gt;under * is proved.&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;br /&gt;The proofs for the associativity and cancellation go through exactly the same way as in the previous theorem.&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;-&lt;span style="font-style: italic;"&gt;QED&lt;/span&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;  &lt;/p&gt;    &lt;p class="MsoNormal"&gt;Now I'll just state some theorems on groups without proof which will be required for proving a theorem by Fermat (not his last!) and another one by Euler. But first, some definitions:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Definition 2: &lt;/span&gt;&lt;/span&gt;The number of elements of a finite group &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is called the &lt;span style="font-style: italic;"&gt;order &lt;/span&gt;of &lt;span style="font-style: italic;"&gt;G. &lt;/span&gt;It is denoted by &lt;span style="font-style: italic;"&gt;o(G).&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Definition 3: &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;G, &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a group, then the  &lt;span style="font-style: italic;"&gt;order &lt;/span&gt;of &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is the smallest positive integer such that &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;raised to that integer is the identity element in &lt;span style="font-style: italic;"&gt;G.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Let us now state the required theorems.&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;Theorem 3: &lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a finite group, and &lt;span style="font-style: italic;"&gt;H &lt;/span&gt;is a subgroup of &lt;span style="font-style: italic;"&gt;G, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;o(H) | o(G)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Theorem 4: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a finite group and &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;G, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;o(a) | o(G). &lt;/span&gt;(This is just a special case of theorem 3 and can be seen by considering the cyclic subgroup generated by &lt;span style="font-style: italic;"&gt;a.)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Theorem 5: &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;is a finite group and &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;G, &lt;/span&gt;then &lt;span style="font-style: italic;"&gt;a**o(G) = e, &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;e &lt;/span&gt;is the identity element in &lt;span style="font-style: italic;"&gt;G. &lt;/span&gt;(This is obvious from the definition of &lt;span style="font-style: italic;"&gt;o(a) &lt;/span&gt;and Theorem 4)&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/p&gt;   &lt;p class="MsoNormal"&gt;Let us now apply Theorem 5 to the set &lt;span style="font-style: italic;"&gt;G&lt;/span&gt; of positive integers less than and relatively prime to &lt;span style="font-style: italic;"&gt;n &gt; 0. &lt;/span&gt;Theorem 2 assures us that this set is a group under  multiplication mod &lt;span style="font-style: italic;"&gt;n. &lt;/span&gt;Let &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;Є &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;and let the order of &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;be denoted by &lt;span style="font-style: italic;"&gt;Φ(n). Φ(n) &lt;/span&gt;is the number of positive integers less than &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;and relatively prime to &lt;span style="font-style: italic;"&gt;n. &lt;/span&gt;The identity element in &lt;span style="font-style: italic;"&gt;G &lt;/span&gt;under &lt;span style="font-style: italic;"&gt;* &lt;/span&gt;is 1. Thus from Theorem 5 we have&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;a*a*a*a......Φ(n) &lt;/span&gt;times = 1   (11)&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;The quantity on the left hand side is the remainder when a**Φ(n) is divided by n. &lt;/span&gt;Associativity of the group operation ensures us that it does not matter in what order we take the product a*(b*c) or &lt;span style="font-style: italic;"&gt;(a*b)*c, &lt;/span&gt;and a question in Herstein, which I confess I haven't yet solved, ensures that this can be extended to any number of elements by induction, i.e. the order of the brackets does not matter in a product; only the order of the elements does. That is why I haven't put brackets on the quantity on the LHS of (11). Assuming that the order of the brackets does not matter in a product, a slight extension of the associativity proof in theorem 1 shows that the LHS is &lt;span style="font-style: italic;"&gt;a**Φ(n) &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;n, &lt;/span&gt;whence the statement in italics. It can be rephrased in the following form:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;1 = &lt;span style="font-style: italic;"&gt;a**Φ(n) &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;n         &lt;/span&gt;(12)&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;(12) states that &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;is a factor of the integer &lt;span style="font-style: italic;"&gt;a**Φ(n) - 1, &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;n &gt; a &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;(n, a) = 1.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Now consider the case when &lt;span style="font-style: italic;"&gt;a &gt; n &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;(n, a) = 1. &lt;/span&gt;By Euclid's algorithm we can write:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;a = kn + r    &lt;/span&gt;with &lt;span style="font-style: italic;"&gt;n &gt; r &gt; 0.       &lt;/span&gt;(13)&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Thus, &lt;span style="font-style: italic;"&gt;r &lt;/span&gt;Є G. From (13), we can see that &lt;span style="font-style: italic; color: rgb(204, 0, 0);"&gt;(a**m &lt;/span&gt;&lt;span style="color: rgb(204, 0, 0);"&gt;mod &lt;/span&gt;&lt;span style="font-style: italic; color: rgb(204, 0, 0);"&gt;n) &lt;/span&gt;&lt;span style="color: rgb(204, 0, 0);"&gt;equals &lt;/span&gt;&lt;span style="font-style: italic; color: rgb(204, 0, 0);"&gt;(r**m &lt;/span&gt;&lt;span style="color: rgb(204, 0, 0);"&gt;mod &lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;span style="color: rgb(204, 0, 0);"&gt;n)&lt;/span&gt;, &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;m &lt;/span&gt;is any integer and &lt;span style="font-style: italic;"&gt;(a &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;b) &lt;/span&gt;as before denotes the remainder when &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is divided by &lt;span style="font-style: italic;"&gt;b. &lt;/span&gt;This can be seen from the fact that the only term in the expansion of &lt;span style="font-style: italic;"&gt;a**m &lt;/span&gt;not containing &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;is &lt;span style="font-style: italic;"&gt;r**m. &lt;/span&gt;All the rest are multiples of &lt;span style="font-style: italic;"&gt;n. &lt;/span&gt;If we take &lt;span style="font-style: italic;"&gt;m = &lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(n), &lt;/span&gt;from (12) we see that &lt;span style="font-style: italic;"&gt;r**Φ(n) &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;n  = 1, &lt;/span&gt;and from the statement in red, we get&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;a**&lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(n) &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;=&lt;span style="font-style: italic;"&gt; 1,&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt; &lt;/span&gt;i.e. (12) holds even when &lt;span style="font-style: italic;"&gt;a &gt; n, &lt;/span&gt;all that is required is that &lt;span style="font-style: italic;"&gt;(n, a) = 1. &lt;/span&gt;&lt;span&gt;(&lt;/span&gt;The above equation is correct only when &lt;span style="font-style: italic;"&gt;n &gt; 1. &lt;/span&gt;This will be made clear shortly.) Thus we have the following theorem by EULER:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-style: italic;"&gt;Theorem 6 (Euler): &lt;/span&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;and &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;are positive integers relatively prime to each other, then&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;      &lt;span style="font-style: italic;"&gt;a**&lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(n) &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;n &lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;≡&lt;span style="font-style: italic;"&gt; 1    &lt;/span&gt;(14)&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;where &lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(n)  &lt;/span&gt;is the number of integers less than and relatively prime to&lt;span style="font-style: italic;"&gt; n.&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;We use the congruence relation &lt;/span&gt;≡&lt;span style="font-style: italic;"&gt;, because the remainder is not 1 when n=1, rather it is 0 when &lt;/span&gt;&lt;span style="font-style: italic;"&gt;a**&lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(1) is divided by&lt;/span&gt;&lt;span style="font-style: italic;"&gt; 1, because then &lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(1) = 0&lt;/span&gt;&lt;span style="font-style: italic;"&gt;. However we can use the equality sign when &lt;/span&gt;n &lt;span style="font-style: italic;"&gt;&gt; 1. The complicatiom arises from the fact that 1 divides both itself and the number just before itself i.e. 0. Since &lt;/span&gt;G &lt;span style="font-style: italic;"&gt;is a finite group with &lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(n) number of elements and &lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(1) = 0, the case n=1 has to be treated separately and can be included with the other cases in the more general statement (14) only if we use the congruence relation instead of the equality&lt;/span&gt;&lt;span style="font-style: italic;"&gt;)&lt;/span&gt;&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;*********************&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;Now let &lt;span style="font-style: italic;"&gt;n = p, &lt;/span&gt;where &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;is a prime. Obviously, &lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;Φ(p) = p-1. &lt;/span&gt;From Theorem 6, if &lt;span style="font-style: italic;"&gt;(a, p) = 1,&lt;/span&gt;&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;    a**(p-1) &lt;/span&gt;mod&lt;span style="font-style: italic;"&gt; p = 1 (15)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;The above equation implies that &lt;span style="font-style: italic;"&gt;p | &lt;/span&gt;&lt;span style="font-style: italic;"&gt;(a**(p-1) - 1). &lt;/span&gt;From this, obviously, &lt;span style="font-style: italic;"&gt;p | (a**p - a) &lt;/span&gt;i.e.&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt; &lt;span style="font-style: italic;"&gt;a**p&lt;/span&gt;  ≡ &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;  &lt;span style="font-style: italic;"&gt;           &lt;/span&gt;(16)&lt;br /&gt;&lt;/p&gt;  &lt;p class="MsoNormal"&gt;Suppose now that &lt;span style="font-style: italic;"&gt;(a, p) &lt;/span&gt;≠ 1. Since &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;is a prime, the only way this can happen is if &lt;span style="font-style: italic;"&gt;p | a. &lt;/span&gt;This also implies that &lt;span style="font-style: italic;"&gt;p | a**p. &lt;/span&gt;Thus &lt;span style="font-style: italic;"&gt;p | (a**p - a) &lt;/span&gt;and (16) holds in this case also. This proves the following theorem by FERMAT:&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;Theorem 7 (Fermat): &lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;If &lt;span style="font-style: italic;"&gt;p &lt;/span&gt;is a prime number and &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;is any integer, then&lt;br /&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;       &lt;span style="font-style: italic;"&gt;a**p&lt;/span&gt;  ≡ &lt;span style="font-style: italic;"&gt;a &lt;/span&gt;mod &lt;span style="font-style: italic;"&gt;p&lt;br /&gt;&lt;/span&gt;&lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;(Since p is prime, p &gt; 1 and the complications mentioned in theorem 6 do not arise in equation (15) where we have used the equality to denote that 1 is the remainder when &lt;/span&gt;&lt;span style="font-style: italic;"&gt; a**(p-1) is divided by p and (a, p) = 1. But we have to use the congruence relation in (16) because a may NOT be the remainder when a**p is divided by p, as will happen when a &gt; p. To rephrase: while 1 is definitely the remainder when a**(p-1) is divided by p and (a, p) = 1, a may not be the remainder when a*p is divided by p. Hence we have to use the congruence relation. It is important to note that (16) holds for any a, but (15) holds only when (a, p) = 1)&lt;br /&gt;&lt;/span&gt;&lt;/p&gt;  &lt;p class="MsoNormal"&gt;&lt;span style="font-style: italic;"&gt;************************&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;  &lt;/p&gt; &lt;p class="MsoNormal"&gt;&lt;br /&gt;&lt;/p&gt;     &lt;p class="MsoNormal"&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;/p&gt;   &lt;p class="MsoNormal"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;br /&gt;&lt;/span&gt; &lt;/p&gt; &lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-7494509568919873404?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/7494509568919873404/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=7494509568919873404' title='1 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7494509568919873404'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/7494509568919873404'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/02/tonite-i-masturbated.html' title='Tonight, I ...'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>1</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-8599386767180960774</id><published>2008-02-12T00:26:00.000-08:00</published><updated>2008-10-06T00:30:30.385-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Mathematics'/><title type='text'>Proof by Contradiction</title><content type='html'>Suppose A and B are two statements and we want to prove that if A is true, then B is also true.&lt;br /&gt;i.e.&lt;br /&gt;A =&gt; B&lt;br /&gt;&lt;br /&gt;Proving the above is the same as proving&lt;br /&gt;&lt;br /&gt;NOT(B)  =&gt; NOT(A)&lt;br /&gt;&lt;br /&gt;The above is same as &lt;span style="font-style: italic;"&gt;reductio-ad-absurdum &lt;/span&gt;. (Proof by contradiction)&lt;br /&gt;&lt;br /&gt;It can be seen as follows:&lt;br /&gt;Assume A to be true.&lt;br /&gt;Assume, contrary to what we want to prove, that B is not true. i.e. NOT(B) is true.&lt;br /&gt;From the above, show that A is not true, i.e. NOT(A) is true.&lt;br /&gt;But we started out with the assumption that A is true, i.e. we have reached a contradiction.&lt;br /&gt;Hence our assumption that B is not true when A is true is a false assumption, and we are left with the only(?) option that B is true.&lt;br /&gt;&lt;br /&gt;The question mark in the above statement refers to the belief that we have only two options: either B is true, or B is false (not true).&lt;br /&gt;What if there is a third option?&lt;br /&gt;If there are more than two options, can we always categorize/rephrase the statement B such that all these options can be included in either of these B and NOT(B) ?&lt;br /&gt;If not, reductio-ad -absurdum will fail.&lt;br /&gt;&lt;br /&gt;For instance, the length of a stick can be anything...there are an infinite number of possibilities.&lt;br /&gt;But we can make the statement B:&lt;br /&gt;B = the stick is 5 meters in length.&lt;br /&gt;So either B will be true or not; no third option is left&lt;br /&gt;OR&lt;br /&gt;B  = the stick is longer than 5 meters&lt;br /&gt;OR&lt;br /&gt;B = the stick is longer than or equal to 5 meters etc.&lt;br /&gt;&lt;br /&gt;All the infinite possibilities for the length of the stick can then be described by either B or NOT(B).&lt;br /&gt;&lt;br /&gt;Can we always do that?&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-8599386767180960774?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/8599386767180960774/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=8599386767180960774' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8599386767180960774'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8599386767180960774'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2008/02/proof-by-contradiction.html' title='Proof by Contradiction'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-579718265301735195</id><published>2007-09-26T14:20:00.000-07:00</published><updated>2008-10-06T00:31:12.457-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Music'/><title type='text'></title><content type='html'>&lt;span style="font-size:180%;"&gt;&lt;span style="font-weight: bold; font-style: italic; color: rgb(255, 0, 0);"&gt;RESPECT THE BEAT !!!&lt;br /&gt;&lt;br /&gt;&lt;span style="font-size:78%;"&gt;&lt;span style="color: rgb(51, 0, 51);"&gt;"At the same time, however, they should never be played faster than they can be performed cleanly and free of mistakes. The key to playing is fast is practicing slowly, and building the tempo incrementally. This is a practice technique that is almost always neglected by overzealous students! Some other techniques I like to use when practicing these exercises include the following:&lt;br /&gt;&lt;br /&gt;1) Start very slowly, deliberately, and staccato. This helps builds articulation.&lt;br /&gt;2) Use a metronome. It will help build your sense of time.&lt;br /&gt;3) When you master an exercise at a given speed, increase the tempo &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic; color: rgb(255, 0, 0);font-size:78%;" &gt;&lt;span style="color: rgb(51, 0, 51);"&gt;one notch&lt;/span&gt;&lt;/span&gt;&lt;span style="font-weight: bold; font-style: italic; color: rgb(255, 0, 0);font-size:78%;" &gt;&lt;span style="color: rgb(51, 0, 51);"&gt; on your metronome.&lt;br /&gt;4) Keep your jands low profile and your fingers curved. (only for pianists)&lt;br /&gt;5) Don't tense up. Monitor the tension in your &lt;/span&gt;&lt;/span&gt;&lt;span style="font-style: italic; color: rgb(255, 0, 0);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(51, 0, 51);"&gt;&lt;span style="font-size:78%;"&gt;entire body.&lt;br /&gt;&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-size:78%;"&gt;6) Push yourself, but stop if you are experiencing pain. Technique exercises won't help you if you injure yourself!"&lt;br /&gt;&lt;br /&gt;-extract from Peter Deneff's book on jazz piano (Jazz Hanon)&lt;/span&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="font-weight: bold; font-style: italic; color: rgb(255, 0, 0);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(51, 0, 51);"&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-579718265301735195?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/579718265301735195/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=579718265301735195' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/579718265301735195'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/579718265301735195'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2007/09/on-music.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-1591239959362544648</id><published>2007-08-14T21:51:00.000-07:00</published><updated>2008-10-06T00:31:44.579-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Mathematics'/><title type='text'>A simple proof of Gauss's Divergence Theorem</title><content type='html'>&lt;a href="http://bp0.blogger.com/_Wfps3jWufK0/RsKGRMt4oQI/AAAAAAAAAI0/tpJ3ijZKkgk/s1600-h/DivergenceTheoremofGauss.JPG"&gt;&lt;img id="BLOGGER_PHOTO_ID_" alt="" src="http://bp0.blogger.com/_Wfps3jWufK0/RsKGRMt4oQI/AAAAAAAAAI0/tpJ3ijZKkgk/s400/DivergenceTheoremofGauss.JPG" border="0" /&gt;&lt;/a&gt;&lt;br /&gt;&lt;em&gt;The proof is presented from a physicist's point of view. All reasonable assumptions about the continuity, differentiability etc. of &lt;strong&gt;A&lt;/strong&gt;(x,y,z) are made.&lt;/em&gt;&lt;strong&gt;  &lt;/strong&gt;&lt;em&gt;The proof is for the usual 3-dimensional space we are familiar with. Volume V is a simple volume, without any complications of exotic mathematical surfaces like the Klein bottle or Moebius strip etc. In other words, V can be taken to be a cube, or a sphere, or an ellipsoid, or any other toplogically equivalent volume.&lt;br /&gt;&lt;br /&gt;The case of other volumes like a doughnut (topologically equivalent to a tea cup) etc. should be amenable to a similar treatment.&lt;br /&gt;&lt;br /&gt;&lt;/em&gt; &lt;div style="text-align: justify;"&gt;&lt;em&gt;The case of more complicated dimensions like 4-dimensional Euclidean space-time will involve the metric tensor and contra- and co-variant tensors. &lt;/em&gt;&lt;/div&gt; &lt;div style="clear: both; text-align: center;"&gt;&lt;a href="http://picasa.google.com/blogger/" target="ext"&gt;&lt;img src="http://photos1.blogger.com/pbp.gif" alt="Posted by Picasa" style="border: 0px none ; padding: 0px; background: transparent none repeat scroll 0% 50%; -moz-background-clip: initial; -moz-background-origin: initial; -moz-background-inline-policy: initial;" align="middle" border="0" /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-1591239959362544648?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/1591239959362544648/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=1591239959362544648' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1591239959362544648'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/1591239959362544648'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2007/08/simple-proof-of-gausss-divergence.html' title='A simple proof of Gauss&apos;s Divergence Theorem'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><media:thumbnail xmlns:media='http://search.yahoo.com/mrss/' url='http://bp0.blogger.com/_Wfps3jWufK0/RsKGRMt4oQI/AAAAAAAAAI0/tpJ3ijZKkgk/s72-c/DivergenceTheoremofGauss.JPG' height='72' width='72'/><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-8733767847102018707</id><published>2007-07-15T06:43:00.000-07:00</published><updated>2008-10-06T00:32:17.104-07:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='Photography'/><title type='text'>On Photography</title><content type='html'>Given the shutter speed and type of film being used, the lighting conditions are determined.&lt;br /&gt;Given the shutter speed and lighting conditions, the type of film is determined.&lt;br /&gt;&lt;br /&gt;&lt;div style="text-align: justify;"&gt;Faster film is more sensitive to light and hence it needs less light to develop. In other words, fast shutter speed, which permits less light to fall on the film OR poor lighting conditions, are conditions in which fast film must be used. If there had been an AND instead of the OR, even faster films must be used.&lt;br /&gt;&lt;/div&gt;&lt;br /&gt;Since my camera's shutter speed is very fast (a statement which I have to confirm), I must use sensitive film (I'm using 400) even for daylight photography. And if you want to shoot pics in less bright surroundings, go in for even faster films.&lt;br /&gt;&lt;br /&gt;What if I use 100 film? Maybe in that case only the sun would be visible in the photographs.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-8733767847102018707?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/8733767847102018707/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=8733767847102018707' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8733767847102018707'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/8733767847102018707'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2007/07/on-photography.html' title='On Photography'/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-383997934201646428.post-3733104326867052674</id><published>2007-06-26T04:38:00.000-07:00</published><updated>2007-06-26T11:01:27.940-07:00</updated><title type='text'></title><content type='html'>&lt;div style="text-align: justify;"&gt;You are now 25 and a half years old. You are not getting any younger and you do not even have a job, age is catching up with you. Elsewhere, your other friends are working, are financially independent, and some are even married. To make matters worse for you, you are stuck up in a weird city and hemmed in by the walls of the campus. You are like a prisoner in the Shawshank prison, and time is catching up with you. Like Andy, you need to break out of here where you've been imprisoned for no fault of yours.&lt;br /&gt;&lt;br /&gt;Remember: time is catching with you. you've wasted the best part of your life here. Don't lose what can still be salvaged.&lt;br /&gt;&lt;br /&gt;It is a race against time. I have such a lot to experience, there is such a lot to see, and every moment is precious, and I cannot afford to lose it.&lt;br /&gt;&lt;br /&gt;I do not want to be 'institutionalized' like Brooks was. Brooks got 'institutionalized' and commited suicide after he was discharged from the prison, having spent nearly 40 years of his life there. He did not know any other life except that of the prison.&lt;br /&gt;&lt;br /&gt;Get away from this place before it gets you.&lt;br /&gt;&lt;br /&gt;It is a race against time.&lt;br /&gt;&lt;/div&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/383997934201646428-3733104326867052674?l=thelessromanticside.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://thelessromanticside.blogspot.com/feeds/3733104326867052674/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=383997934201646428&amp;postID=3733104326867052674' title='2 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3733104326867052674'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/383997934201646428/posts/default/3733104326867052674'/><link rel='alternate' type='text/html' href='http://thelessromanticside.blogspot.com/2007/06/you-are-now-25-and-half-years-old.html' title=''/><author><name>changingsun</name><uri>http://www.blogger.com/profile/02000735373134420055</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:total>2</thr:total></entry></feed>
