92:
82:
64:
31:
337:
22:
364:
246:
In the beginning of the article a
Diophantine equation is defined to be a _polynomial_ equation (with certain properties and conditions), but one of the given examples, namely 4/n = 1/x + 1/y + 1/z, is in fact not a polynomial equation by the definition given in the article about "polynomial" because
417:
I have used the non-notability for removing your edit because it was the simplest argument. In fact the reason of my revert is more complex. Firstly, I agree that the section "One equation" should be renamed "one equation in two unknowns", and that a section "One equation in more unknowns" could be
215:
I'm personally not clear on the distinction between
Arithmetic Geometry and Algebraic Geometry, except some vague awareness that the former usually deals with rational points on varieties and the latter with more general algebraic structure. So I can kind of see why 'Arithmetic geometry' redirects
398:
Fell free to add the other (1980) paper if you think people should read it :-) The only more recent paper on the topic cited in
Schrijver's book is a 1981 paper by Kerztner in AMM. However, I would not suggest adding Kerztner's paper because it turned out unoriginal, i.e. the same as Blankinship's
379:
For illustrative purposes, we will continuously use the following example with n = 3: (al, a2, a3) = (8913, 5677, 4378). Or, we are interested in the generator of: 8913x1 + 5677x2 + 4378x3 = 0. It turns out that the Bond
Algorithm produces the two generating vectors (5677, -8913, 0) and (2219646,
370:
To illustrate the discussion, consider a small example with n=3 and a=(8913, 5677, 4378). The algorithm with Rule A produces generating vectors (0, 4378, -5677) and (1, 1, 12736677, -16515789), whereas the procedure with Rule B gives (8189939, -227499, -16378578) and (989097, -27475, -1978037). In
216:
to this page, since finding rational points on varieties is roughly speaking the same problem as solving
Diophantine equations. But it'd be nice if someone who knows something about the subject could insert a paragraph or two on this page about it, if not create an actual page for it.
400:
747:
418:
added. However, Knowledge is an encyclopedia, and if a subject is treated, its coverage must not be reduced to a single 35 years old paper, ignoring the more recent results on the subject. Therefore including this article in "See also" section gives a
429:, which contain bounds on the size of the output and of the intermediate integers. They give thus a quantitative version of the main objective of the paper you have cited, which makes it out of date, I believe.
630:
625:
269:
The example is trivially modifiable to be a polynomial: 4xyz = yzn + xzn + xyn. So it's not really a violation of the definition, but maybe some explanation of why it isn't might be useful. —
144:
856:
247:
it contains division. Please someone fix that. Either change the definiton of an
Diophantine equation or remove the offending example. (I dont know which is the correct way)
459:
Get to work then and add these algorithms (you are so sure exist) to the article on Smith normal form; all I see there is a paper from 1861 (I didn't get the century wrong.)
620:
622:
in the examples of diophantine equations. I believe it's is a good example because it is both common and easy to solve—using SFFT ("Simon's
Favorite Factoring Trick"):
363:
If you actually look at the submission date of the "1980" paper it was submitted on May 16, 1978. The 1979 Fibonacci
Quarterly paper is also cited in Schrijver's book:
846:
811:
779:
871:
861:
138:
35:
482:
841:
851:
319:
Isn't this saying the same thing as "...that restricts two or more variable to integer values only", and if so, isn't the second wording clearer?
114:
190:
Forty years ago I discovered that the
Fibonacci Sequence (1, 1, 2, 3, 5, 8, etc) can be generated from the second degree Diophantine equation
866:
554:
531:
460:
403:
385:
294:
254:
176:
tell me in the way to figure out the problem on his tomb theat tells how old he was when he died... please tell me how to do that problem
320:
510:
The general case of linear
Diophantine equations (any number of unknowns, any number of equations) is treated two subsections later.
105:
69:
836:
499:
384:
The fact that neither paper cites the other is a bit amusing, but which is the notable one is clear from both their text.
483:
https://math.stackexchange.com/questions/20906/how-to-find-an-integer-solution-for-general-diophantine-equation-ax-by-cz
44:
441:
In my opinion, this article deserve a section "One equation in more unknowns", but it must not be based on a single
481:
I think the article should mention how to expand the solution from two variables to more. Here is a helpful link:
464:
407:
389:
274:
558:
535:
298:
258:
324:
818:
742:{\displaystyle {\begin{aligned}cxy+ax+by&=d\\\Longleftrightarrow (cx+b)(cy+a)&=ab+cd\end{aligned}}}
822:
180:
495:
50:
202:
91:
814:
371:
general, the application of Rule B does not reduce the size of the elements in the generating vectors.
487:
290:
250:
491:
380:
3484888, -1), whereas the procedure we propose gives (cf. Section 3) (-57, 17, 94) and (61, -95, -1)
21:
550:
530:
even if the variables were all simply one, wouldn't this be infinite? unless zeros are allowed. --
270:
113:
on Knowledge. If you would like to participate, please visit the project page, where you can join
515:
450:
348:
221:
97:
575:
81:
63:
436:, witch is very fast for finding a solution with small coefficients from any general solutions.
442:
426:
784:
752:
419:
553:
be included in the 'see also' section? somewhat popular among the numberphile crowd. --
336:
830:
511:
446:
433:
344:
217:
235:
Does someone more qualified want to discuss these? I'm only a high school student.
110:
562:
539:
519:
503:
468:
454:
411:
393:
352:
328:
302:
278:
262:
225:
205:
425:
The results on complexity and practical efficiency for the computation of the
366:
The former produces smaller solutions. The "1980" (actually 1978) paper says:
87:
422:
to this particular paper. Since 1980, the main progresses that I know of are
316:"... that allows two or more variables to take integer values only."
399:
algorithm; a note to that effect was published in AMM in 1983
15:
186:
Fibonacci Sequence and its Second Degree Diophantine Equation
193:
5k^2 -/+ 4 = m^2 where the -,+ is taken alternately.
787:
755:
628:
578:
109:, a collaborative effort to improve the coverage of
805:
773:
741:
614:
143:This article has not yet received a rating on the
477:One linear equation with more than two variables
857:Knowledge level-4 vital articles in Mathematics
377:
368:
196:The equation is a variation on Pell's, in that
8:
485:
58:
786:
754:
629:
627:
577:
567:
847:Knowledge vital articles in Mathematics
60:
19:
872:Unknown-priority mathematics articles
862:C-Class vital articles in Mathematics
7:
749:Now you can consider the factors of
199:x^2 - ny^2 = +/- 4 instead of 1.
103:This article is within the scope of
49:It is of interest to the following
14:
123:Knowledge:WikiProject Mathematics
842:Knowledge level-4 vital articles
568:Simon's Favorite Factoring Trick
335:
126:Template:WikiProject Mathematics
90:
80:
62:
29:
20:
852:C-Class level-4 vital articles
800:
788:
710:
695:
692:
677:
674:
287:Thank you. (Now i'm happy:))
1:
469:14:00, 14 February 2015 (UTC)
455:18:58, 13 February 2015 (UTC)
412:17:15, 13 February 2015 (UTC)
394:16:36, 13 February 2015 (UTC)
353:12:02, 25 December 2013 (UTC)
329:05:21, 25 December 2013 (UTC)
303:20:14, 11 November 2008 (UTC)
279:20:03, 11 November 2008 (UTC)
263:19:58, 11 November 2008 (UTC)
226:17:55, 11 February 2008 (UTC)
206:13:32, 19 November 2006 (UTC)
117:and see a list of open tasks.
867:C-Class mathematics articles
563:20:58, 26 January 2021 (UTC)
540:20:46, 26 January 2021 (UTC)
242:Inconsistency in the article
231:Markov Diophantine Equations
181:Diophantus Tombstone Problem
615:{\displaystyle axy+bx+cy=d}
888:
520:08:52, 15 April 2018 (UTC)
504:04:29, 15 April 2018 (UTC)
142:
75:
57:
823:09:55, 29 May 2024 (UTC)
145:project's priority scale
106:WikiProject Mathematics
837:C-Class vital articles
807:
775:
743:
616:
382:
373:
312:Definition reads oddly
808:
806:{\displaystyle (x,y)}
776:
774:{\displaystyle ab+cd}
744:
617:
572:Maybe we should have
545:"Sums of three cubes"
375:The 1979 paper says:
36:level-4 vital article
785:
753:
626:
576:
129:mathematics articles
551:Sums of three cubes
211:Arithmetic Geometry
803:
771:
739:
737:
612:
98:Mathematics portal
45:content assessment
526:infinite equation
506:
490:comment added by
427:Smith normal form
293:comment added by
253:comment added by
159:
158:
155:
154:
151:
150:
879:
812:
810:
809:
804:
780:
778:
777:
772:
748:
746:
745:
740:
738:
621:
619:
618:
613:
339:
305:
265:
173:
172:
168:
131:
130:
127:
124:
121:
100:
95:
94:
84:
77:
76:
66:
59:
42:
33:
32:
25:
24:
16:
887:
886:
882:
881:
880:
878:
877:
876:
827:
826:
783:
782:
751:
750:
736:
735:
713:
671:
670:
660:
624:
623:
574:
573:
570:
547:
528:
479:
361:
314:
288:
248:
244:
233:
213:
200:
194:
188:
174:
170:
166:
164:
163:
128:
125:
122:
119:
118:
96:
89:
43:on Knowledge's
40:
30:
12:
11:
5:
885:
883:
875:
874:
869:
864:
859:
854:
849:
844:
839:
829:
828:
802:
799:
796:
793:
790:
770:
767:
764:
761:
758:
734:
731:
728:
725:
722:
719:
716:
714:
712:
709:
706:
703:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
672:
669:
666:
663:
661:
659:
656:
653:
650:
647:
644:
641:
638:
635:
632:
631:
611:
608:
605:
602:
599:
596:
593:
590:
587:
584:
581:
569:
566:
555:142.163.195.48
546:
543:
532:142.163.195.48
527:
524:
523:
522:
478:
475:
474:
473:
472:
471:
461:86.127.138.234
443:primary source
439:
438:
437:
430:
404:86.127.138.234
386:86.127.138.234
360:
357:
356:
355:
313:
310:
309:
308:
307:
306:
295:213.240.234.31
282:
281:
271:David Eppstein
255:213.240.234.31
243:
240:
238:
232:
229:
212:
209:
198:
192:
187:
184:
162:
160:
157:
156:
153:
152:
149:
148:
141:
135:
134:
132:
115:the discussion
102:
101:
85:
73:
72:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
884:
873:
870:
868:
865:
863:
860:
858:
855:
853:
850:
848:
845:
843:
840:
838:
835:
834:
832:
825:
824:
820:
816:
797:
794:
791:
781:to solve for
768:
765:
762:
759:
756:
732:
729:
726:
723:
720:
717:
715:
707:
704:
701:
698:
689:
686:
683:
680:
667:
664:
662:
657:
654:
651:
648:
645:
642:
639:
636:
633:
609:
606:
603:
600:
597:
594:
591:
588:
585:
582:
579:
565:
564:
560:
556:
552:
544:
542:
541:
537:
533:
525:
521:
517:
513:
509:
508:
507:
505:
501:
497:
493:
489:
484:
476:
470:
466:
462:
458:
457:
456:
452:
448:
444:
440:
435:
434:LLL algorithm
431:
428:
424:
423:
421:
416:
415:
414:
413:
409:
405:
401:
396:
395:
391:
387:
381:
376:
372:
367:
365:
358:
354:
350:
346:
342:
338:
334:
333:
332:
330:
326:
322:
321:74.192.47.171
317:
311:
304:
300:
296:
292:
286:
285:
284:
283:
280:
276:
272:
268:
267:
266:
264:
260:
256:
252:
241:
239:
236:
230:
228:
227:
223:
219:
210:
208:
207:
204:
197:
191:
185:
183:
182:
177:
169:
161:
146:
140:
137:
136:
133:
116:
112:
108:
107:
99:
93:
88:
86:
83:
79:
78:
74:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
571:
548:
529:
486:— Preceding
480:
420:undue weight
397:
383:
378:
374:
369:
362:
340:
318:
315:
245:
237:
234:
214:
203:Walter Abetz
201:
195:
189:
178:
175:
104:
51:WikiProjects
34:
815:Revol Ufiaw
359:To D.Larazd
289:—Preceding
249:—Preceding
120:Mathematics
111:mathematics
70:Mathematics
831:Categories
179:See here:
492:W3ricardo
39:is rated
512:D.Lazard
500:contribs
488:unsigned
447:D.Lazard
345:D.Lazard
291:unsigned
251:unsigned
218:Chenxlee
549:Should
41:C-class
165:": -->
47:scale.
341:Fixed
28:This
819:talk
559:talk
536:talk
516:talk
496:talk
465:talk
451:talk
432:The
408:talk
390:talk
349:talk
325:talk
299:talk
275:talk
259:talk
222:talk
167:edit
331:jt
139:???
833::
821:)
813:.
675:âźş
561:)
538:)
518:)
502:)
498:•
467:)
453:)
445:.
410:)
402:.
392:)
351:)
343:—
327:)
301:)
277:)
261:)
224:)
817:(
801:)
798:y
795:,
792:x
789:(
769:d
766:c
763:+
760:b
757:a
733:d
730:c
727:+
724:b
721:a
718:=
711:)
708:a
705:+
702:y
699:c
696:(
693:)
690:b
687:+
684:x
681:c
678:(
668:d
665:=
658:y
655:b
652:+
649:x
646:a
643:+
640:y
637:x
634:c
610:d
607:=
604:y
601:c
598:+
595:x
592:b
589:+
586:y
583:x
580:a
557:(
534:(
514:(
494:(
463:(
449:(
406:(
388:(
347:(
323:(
297:(
273:(
257:(
220:(
171:]
147:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.