; TeX output 2004.02.10:2257 ^,\9냎Ǎn\9 RP"V
3
cmbx10The2BeginofanExcitingStory
`UTK2{M351{AlgebraI :Spring22004,JoYcthenDenzlerPR%K`y
3
cmr10Problem(122ofy!ourhomeworkisactuallythebMeginofanexcitingstorye.c=To(1explainthis,HIR%needptoc!hangetheringinProblem22(whichIFhavechosenforsimplicity)alittlebit.IFcouldR%ha!vefaskedthesameproblem(divisionwithremainder)forthering Li!
3
msbm10Z[b>
3
cmmi10!d]
=!",
3
cmsy10fan+b!o:j
a2Z;1b2Zgwith'!== 1n+i"p " p y ލ3=ڟ㦉 p -V
"2R%insteadfof Z[i]
=fan+bi
ja2Z;1b2Zg:R%The-'signicanceof!isthatzf==!isacomplexsolutionofz{I|{Y cmr83 &==1,Nascomparedtozf=i,R%whic!hfisacomplexsolutionofz{I4E=
1.R%AndtheringZ[!d]pla!ysanimpMortantroleintheearlydaysofthefamousFeermatproblem,R%whic!hmadetheheadlinesafewyearsago:0Feermathadclaimedthatthereareno(nonzero)R%in!tegersolutionsu;1vd;wytotheequationu3p;+ 7v3/>=
wKn3r,nortou4p;+ 7v4/>=
wKn4r,nortou5p;+ 7v5/>=
wKn5r,R%etc.,for an!yintegerexpMonentn?S3.<(In contrast,forn?S=2,y!ou havemanysuchsolutions,R%thesimplestonesbMeing32E8+442^=BZ52ֹand52+4122^=BZ132.)B AndIsaid`nonzero',,bMecausew!eR%don't}Fcarefortrivialsolutionslik!e53/++03 0ʹ=p53.b~AsnobMody}FknewhowtoproveFeermat'sR%claim`forgeneralexpMonen!tn,npeoplew!ouldnaturallystarttacklingspMecicexponen!tsn,noneR%atatime. n=4w!astheeasiest,butthenextmoredicultone,n=3willbMetheheroofR%ourstorye.6Andy!oualreadyseethatweareintherightcompanywiththenumbMer!d,whichR%w!asdesignedasoneothersolutiontoz{I!2@ cmbx83Y=
1(nexttotheobviousrealsolutionz=
1),whenR%w!efaredealingwiththirdpMowersasintheequationu3U+nvd3գ=
wKn3.R%Teo0]appreciatetheonecrucialideapMeoplehadinthoseda!ys,RthinkofthefollowingsimplerR%problem:dGIasky!ou\arethereintegersu;1vN.suchthatu2[+vd2Q+1z=0?"}{YeouimmediatelyR%replyS\Now!aye,ddthereSarenotev!enrealnumbMersu;1vwthatcouldsatisfytheequation,ddletaloneR%in!tegers."R%Weell,=
wKn3r,