home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / math / 17268 < prev    next >
Encoding:
Text File  |  1992-12-21  |  1.5 KB  |  50 lines

  1. Newsgroups: sci.math
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!spool.mu.edu!sol.ctr.columbia.edu!mary.fordham.edu!nissim
  3. From: nissim@mary.fordham.edu (Leonard J. Nissim)
  4. Subject: Re: Help wanted with equation !
  5. References: <1992Dec21.155633.14071@fwi.uva.nl>
  6. Sender: nobody@ctr.columbia.edu
  7. Organization: Fordham University
  8. Date: Mon, 21 Dec 1992 16:58:00 GMT
  9. News-Software: VAX/VMS VNEWS 1.41    
  10. Message-ID: <21DEC199212585755@mary.fordham.edu>
  11. Distribution: usa
  12. X-Posted-From: mary.fordham.edu
  13. NNTP-Posting-Host: sol.ctr.columbia.edu
  14. Lines: 34
  15.  
  16. In article <1992Dec21.155633.14071@fwi.uva.nl>, schavema@fwi.uva.nl (John Schavemaker) writes...
  17. >    Hi,
  18. >    Does anyone know how to solve the following equation:
  19. >        7 * y + 3 = x * x
  20. >    Both the variables y and x are integers. Otherwise stated:
  21. >    Can a square be the addition of a multiple of seven and
  22. >    three ? Any help appreciated, e-mail prefered.
  23. >                John Schavemaker
  24. >---
  25. >John Schavemaker
  26. >schavema@fwi.uva.nl
  27. >-- 
  28. >John Schavemaker
  29. >schavema@fwi.uva.nl
  30.  
  31. There are no solutions to the equation. 
  32. Brute force proof: 
  33. Modulo 7, note that 0*0=0, 1*1=1, 2*2=4, 3*3=2, 4*4=2, 5*5=4, and 6*6=1.
  34. So 3 is not a square in Z/7Z.
  35.  
  36. For an elegant proof (or the solution in general), look in a number 
  37. theory book under "quadratic residues".
  38.  
  39. -------------------------------------------------------------------------------
  40. Leonard J. Nissim  (nissim@mary.fordham.edu)   
  41. Disclaimer:  "I speak only for myself."
  42. -------------------------------------------------------------------------------
  43.  
  44.