956:
is in a finite set {315, 495, 525, 585, 630, 693, 735, 765, 855, 945, 1035, 1050, 1170, 1260, 1386, 1530, 1890, 1925, 1950, 1953, 2115, 2175, 2223, 2325, 2535, 2565, 2898, 2907, 3105, 3150, 3325, 3465, 3663, 3675, 4235, 5525, 5661, 6273, 8109, 17575, 39151}. If
394:
296:
1638:
1096:
134:
1239:
944:, or in the finite set {15, 21, 30, 33, 35, 39, 45, 51, 65, 85, 143, 154, 713}, in which case there are at most three solutions. Furthermore, there is at most one solution if the odd part of
652:
169:
1324:
834:
201:
784:
605:
579:
553:
527:
492:
726:
1429:
1409:
922:
902:
878:
858:
746:
696:
676:
445:
425:
1692:
452:
307:
965:, there is at most one solution except for x=2, in which case there are two known solutions. In fact, max(m,n)<4^x and y<2^(2^x).
655:
209:
1553:
1011:
1530:
1371:
53:
45:
1682:
1464:
990:
1126:
789:
1134:
1522:
977:
5, 11111 in base 2) and 8191 (111 in base 90, 1111111111111 in base 2) are the only two numbers that are
1687:
37:
610:
448:
142:
1285:
795:
1526:
1367:
174:
751:
584:
558:
532:
1651:
1536:
1501:
1483:
1442:
1377:
1335:
1270:
1252:
1112:
497:
462:
1665:
1497:
1456:
1347:
1266:
1661:
1540:
1514:
1505:
1493:
1452:
1381:
1363:
1343:
1274:
1262:
705:
1414:
1394:
1355:
907:
887:
863:
843:
731:
681:
661:
430:
410:
1468:
1447:
1390:
1007:
1676:
29:
962:
941:
837:
937:
17:
1257:
1130:
792:
and Shorey proved in 1980 that there are only finitely many possible solutions
1656:
1549:
25:
1339:
1488:
1117:
1282:
Davenport, H.; Lewis, D. J.; Schinzel, A. (1961). "Equations of the form
978:
973:
The
Goormaghtigh conjecture may be expressed as saying that 31 (111 in
880:
lying in a given finite set and that they may be effectively computed.
41:
33:
389:{\displaystyle {\frac {90^{3}-1}{90-1}}={\frac {2^{13}-1}{2-1}}=8191.}
1002:
Goormaghtigh, Rene. L’Intermédiaire des Mathématiciens 24 (1917), 88
974:
291:{\displaystyle {\frac {5^{3}-1}{5-1}}={\frac {2^{5}-1}{2-1}}=31}
1633:{\displaystyle {\tfrac {x^{3}-1}{x-1}}={\tfrac {y^{n}-1}{y-1}}}
1391:"On the number of solutions of Goormaghtigh equation for given
1091:{\displaystyle {\tfrac {x^{m}-1}{x-1}}={\tfrac {y^{n}-1}{y-1}}}
932:), equation has at most 15 solutions, and at most two unless
129:{\displaystyle {\frac {x^{m}-1}{x-1}}={\frac {y^{n}-1}{y-1}}}
447:, this equation has only finitely many solutions. But this
1596:
1558:
1054:
1016:
404:
1556:
1417:
1397:
1288:
1137:
1014:
910:
890:
866:
846:
798:
754:
734:
708:
684:
664:
613:
587:
561:
535:
500:
465:
433:
413:
310:
212:
177:
145:
56:
924:, this equation has at most one solution. For fixed
1632:
1423:
1403:
1318:
1233:
1090:
916:
896:
872:
852:
828:
778:
740:
720:
690:
670:
646:
599:
573:
547:
521:
486:
439:
419:
388:
290:
195:
163:
128:
1521:. Cambridge Tracts in Mathematics. Vol. 87.
1234:{\displaystyle a(x^{m}-1)/(x-1)=b(y^{n}-1)/(y-1)}
614:
456:
981:with at least 3 digits in two different bases.
952:has at most two distinct odd prime factors or
407:showed that, for each pair of fixed exponents
40:. The conjecture is that the only non-trivial
8:
786:other than the two solutions given above.
1655:
1603:
1595:
1565:
1557:
1555:
1487:
1446:
1416:
1396:
1287:
1256:
1211:
1196:
1163:
1148:
1136:
1116:
1061:
1053:
1023:
1015:
1013:
909:
889:
865:
845:
797:
753:
733:
707:
683:
663:
612:
586:
560:
534:
499:
464:
432:
412:
354:
347:
318:
311:
309:
256:
249:
220:
213:
211:
176:
144:
100:
93:
64:
57:
55:
881:
405:Davenport, Lewis & Schinzel (1961)
7:
699:
1693:Unsolved problems in number theory
1360:Unsolved Problems in Number Theory
1006:Bugeaud, Y.; Shorey, T.N. (2002).
14:
1519:Exponential Diophantine equations
1469:"On an equation of Goormaghtigh"
748:, this equation has no solution
46:exponential Diophantine equation
1313:
1307:
1298:
1292:
1228:
1216:
1208:
1189:
1180:
1168:
1160:
1141:
1105:Pacific Journal of Mathematics
823:
799:
773:
755:
641:
617:
457:Nesterenko & Shorey (1998)
1:
1550:"On the diophantine equation
1448:10.1016/S0019-3577(08)80015-8
1008:"On the diophantine equation
647:{\displaystyle \max(x,y,m,n)}
1389:He, Bo; Togbé, Alan (2008).
884:showed that, for each fixed
658:constant depending only on
453:Siegel's finiteness theorem
164:{\displaystyle x>y>1}
1709:
1523:Cambridge University Press
1258:10.7146/math.scand.a-11861
1657:10.1016/j.jnt.2004.12.002
1319:{\displaystyle f(x)=g(y)}
829:{\displaystyle (x,y,m,n)}
1467:; Shorey, T. N. (1998).
1245:Mathematica Scandinavica
991:Feit–Thompson conjecture
455:, which is ineffective.
196:{\displaystyle n,m>2}
1489:10.4064/aa-83-4-381-389
1129:; Shorey, T.N. (1980).
1118:10.2140/pjm.2002.207.61
969:Application to repunits
779:{\displaystyle (x,y,n)}
600:{\displaystyle s\geq 1}
574:{\displaystyle r\geq 1}
548:{\displaystyle d\geq 2}
22:Goormaghtigh conjecture
1634:
1548:Yuan, Pingzhi (2005).
1425:
1405:
1340:10.1093/qmath/12.1.304
1320:
1235:
1092:
918:
898:
874:
854:
836:to the equations with
830:
780:
742:
722:
692:
672:
656:effectively computable
648:
601:
575:
549:
523:
522:{\displaystyle n-1=ds}
488:
487:{\displaystyle m-1=dr}
441:
421:
390:
292:
197:
165:
130:
1683:Diophantine equations
1635:
1426:
1406:
1328:Quad. J. Math. Oxford
1321:
1236:
1093:
919:
899:
882:He & Togbé (2008)
875:
855:
831:
781:
743:
723:
693:
673:
649:
602:
576:
550:
524:
489:
442:
422:
391:
293:
198:
166:
131:
1554:
1525:. pp. 203–204.
1415:
1395:
1286:
1135:
1012:
948:is squareful unless
908:
888:
864:
844:
796:
752:
732:
706:
682:
662:
611:
585:
559:
533:
498:
463:
431:
411:
308:
210:
175:
143:
54:
1127:Balasubramanian, R.
721:{\displaystyle m=3}
1630:
1628:
1590:
1465:Nesterenko, Yu. V.
1421:
1401:
1316:
1231:
1088:
1086:
1048:
914:
894:
870:
850:
826:
776:
738:
718:
688:
668:
644:
597:
571:
545:
519:
484:
437:
417:
386:
288:
193:
161:
126:
1627:
1589:
1424:{\displaystyle y}
1404:{\displaystyle x}
1131:"On the equation
1085:
1047:
917:{\displaystyle y}
897:{\displaystyle x}
873:{\displaystyle y}
853:{\displaystyle x}
741:{\displaystyle n}
691:{\displaystyle s}
671:{\displaystyle r}
654:is bounded by an
440:{\displaystyle n}
420:{\displaystyle m}
378:
342:
280:
244:
124:
88:
44:solutions of the
38:René Goormaghtigh
1700:
1669:
1659:
1644:J. Number Theory
1639:
1637:
1636:
1631:
1629:
1626:
1615:
1608:
1607:
1597:
1591:
1588:
1577:
1570:
1569:
1559:
1544:
1509:
1491:
1476:Acta Arithmetica
1473:
1460:
1450:
1430:
1428:
1427:
1422:
1410:
1408:
1407:
1402:
1385:
1362:(3rd ed.).
1351:
1325:
1323:
1322:
1317:
1278:
1260:
1240:
1238:
1237:
1232:
1215:
1201:
1200:
1167:
1153:
1152:
1122:
1120:
1102:
1097:
1095:
1094:
1089:
1087:
1084:
1073:
1066:
1065:
1055:
1049:
1046:
1035:
1028:
1027:
1017:
923:
921:
920:
915:
903:
901:
900:
895:
879:
877:
876:
871:
859:
857:
856:
851:
835:
833:
832:
827:
785:
783:
782:
777:
747:
745:
744:
739:
727:
725:
724:
719:
702:showed that for
697:
695:
694:
689:
677:
675:
674:
669:
653:
651:
650:
645:
606:
604:
603:
598:
580:
578:
577:
572:
554:
552:
551:
546:
528:
526:
525:
520:
493:
491:
490:
485:
459:showed that, if
446:
444:
443:
438:
426:
424:
423:
418:
395:
393:
392:
387:
379:
377:
366:
359:
358:
348:
343:
341:
330:
323:
322:
312:
297:
295:
294:
289:
281:
279:
268:
261:
260:
250:
245:
243:
232:
225:
224:
214:
202:
200:
199:
194:
170:
168:
167:
162:
135:
133:
132:
127:
125:
123:
112:
105:
104:
94:
89:
87:
76:
69:
68:
58:
1708:
1707:
1703:
1702:
1701:
1699:
1698:
1697:
1673:
1672:
1616:
1599:
1598:
1578:
1561:
1560:
1552:
1551:
1547:
1533:
1512:
1471:
1463:
1413:
1412:
1393:
1392:
1388:
1374:
1366:. p. 242.
1364:Springer-Verlag
1356:Guy, Richard K.
1354:
1284:
1283:
1281:
1192:
1144:
1133:
1132:
1125:
1100:
1074:
1057:
1056:
1036:
1019:
1018:
1010:
1009:
1005:
999:
987:
971:
906:
905:
886:
885:
862:
861:
842:
841:
794:
793:
790:Balasubramanian
750:
749:
730:
729:
704:
703:
680:
679:
660:
659:
609:
608:
583:
582:
557:
556:
531:
530:
496:
495:
461:
460:
429:
428:
409:
408:
402:
400:Partial results
367:
350:
349:
331:
314:
313:
306:
305:
269:
252:
251:
233:
216:
215:
208:
207:
173:
172:
141:
140:
113:
96:
95:
77:
60:
59:
52:
51:
12:
11:
5:
1706:
1704:
1696:
1695:
1690:
1685:
1675:
1674:
1671:
1670:
1625:
1622:
1619:
1614:
1611:
1606:
1602:
1594:
1587:
1584:
1581:
1576:
1573:
1568:
1564:
1545:
1531:
1513:Shorey, T.N.;
1510:
1482:(4): 381–389.
1461:
1437:. New Series.
1420:
1400:
1386:
1372:
1352:
1315:
1312:
1309:
1306:
1303:
1300:
1297:
1294:
1291:
1279:
1230:
1227:
1224:
1221:
1218:
1214:
1210:
1207:
1204:
1199:
1195:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1170:
1166:
1162:
1159:
1156:
1151:
1147:
1143:
1140:
1123:
1083:
1080:
1077:
1072:
1069:
1064:
1060:
1052:
1045:
1042:
1039:
1034:
1031:
1026:
1022:
1003:
998:
995:
994:
993:
986:
983:
970:
967:
936:is either odd
913:
893:
869:
849:
825:
822:
819:
816:
813:
810:
807:
804:
801:
775:
772:
769:
766:
763:
760:
757:
737:
717:
714:
711:
687:
667:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
596:
593:
590:
570:
567:
564:
544:
541:
538:
518:
515:
512:
509:
506:
503:
483:
480:
477:
474:
471:
468:
436:
416:
401:
398:
397:
396:
385:
382:
376:
373:
370:
365:
362:
357:
353:
346:
340:
337:
334:
329:
326:
321:
317:
299:
298:
287:
284:
278:
275:
272:
267:
264:
259:
255:
248:
242:
239:
236:
231:
228:
223:
219:
192:
189:
186:
183:
180:
160:
157:
154:
151:
148:
137:
136:
122:
119:
116:
111:
108:
103:
99:
92:
86:
83:
80:
75:
72:
67:
63:
36:mathematician
32:named for the
13:
10:
9:
6:
4:
3:
2:
1705:
1694:
1691:
1689:
1686:
1684:
1681:
1680:
1678:
1667:
1663:
1658:
1653:
1649:
1645:
1641:
1623:
1620:
1617:
1612:
1609:
1604:
1600:
1592:
1585:
1582:
1579:
1574:
1571:
1566:
1562:
1546:
1542:
1538:
1534:
1532:0-521-26826-5
1528:
1524:
1520:
1516:
1511:
1507:
1503:
1499:
1495:
1490:
1485:
1481:
1477:
1470:
1466:
1462:
1458:
1454:
1449:
1444:
1440:
1436:
1432:
1418:
1398:
1387:
1383:
1379:
1375:
1373:0-387-20860-7
1369:
1365:
1361:
1357:
1353:
1349:
1345:
1341:
1337:
1333:
1329:
1310:
1304:
1301:
1295:
1289:
1280:
1276:
1272:
1268:
1264:
1259:
1254:
1250:
1246:
1242:
1225:
1222:
1219:
1212:
1205:
1202:
1197:
1193:
1186:
1183:
1177:
1174:
1171:
1164:
1157:
1154:
1149:
1145:
1138:
1128:
1124:
1119:
1114:
1110:
1106:
1099:
1081:
1078:
1075:
1070:
1067:
1062:
1058:
1050:
1043:
1040:
1037:
1032:
1029:
1024:
1020:
1004:
1001:
1000:
996:
992:
989:
988:
984:
982:
980:
976:
968:
966:
964:
960:
955:
951:
947:
943:
939:
935:
931:
927:
911:
891:
883:
867:
847:
839:
820:
817:
814:
811:
808:
805:
802:
791:
787:
770:
767:
764:
761:
758:
735:
715:
712:
709:
701:
685:
665:
657:
638:
635:
632:
629:
626:
623:
620:
594:
591:
588:
568:
565:
562:
542:
539:
536:
516:
513:
510:
507:
504:
501:
481:
478:
475:
472:
469:
466:
458:
454:
450:
434:
414:
406:
399:
383:
380:
374:
371:
368:
363:
360:
355:
351:
344:
338:
335:
332:
327:
324:
319:
315:
304:
303:
302:
285:
282:
276:
273:
270:
265:
262:
257:
253:
246:
240:
237:
234:
229:
226:
221:
217:
206:
205:
204:
190:
187:
184:
181:
178:
158:
155:
152:
149:
146:
120:
117:
114:
109:
106:
101:
97:
90:
84:
81:
78:
73:
70:
65:
61:
50:
49:
48:
47:
43:
39:
35:
31:
30:number theory
27:
23:
19:
1647:
1643:
1518:
1515:Tijdeman, R.
1479:
1475:
1438:
1434:
1359:
1331:
1327:
1248:
1244:
1111:(1): 61–75.
1108:
1104:
972:
963:power of two
958:
953:
949:
945:
942:power of two
933:
929:
925:
840:divisors of
788:
403:
300:
138:
21:
15:
1688:Conjectures
1435:Indag. Math
1334:: 304–312.
1251:: 177–182.
938:prime power
700:Yuan (2005)
451:depends on
139:satisfying
18:mathematics
1677:Categories
1541:0606.10011
1506:0896.11010
1382:1058.11001
1275:0434.10013
997:References
26:conjecture
1650:: 20–25.
1621:−
1610:−
1583:−
1572:−
1441:: 65–72.
1223:−
1203:−
1175:−
1155:−
1079:−
1068:−
1041:−
1030:−
592:≥
566:≥
540:≥
505:−
470:−
372:−
361:−
336:−
325:−
274:−
263:−
238:−
227:−
118:−
107:−
82:−
71:−
1517:(1986).
1358:(2004).
985:See also
979:repunits
940:times a
728:and odd
1666:2131139
1498:1610565
1480:LXXXIII
1457:2466394
1348:0137703
1267:0591599
607:, then
42:integer
34:Belgian
1664:
1539:
1529:
1504:
1496:
1455:
1380:
1370:
1346:
1273:
1265:
581:, and
20:, the
1472:(PDF)
1101:(PDF)
961:is a
838:prime
529:with
449:proof
384:8191.
24:is a
1527:ISBN
1411:and
1368:ISBN
975:base
928:(or
904:and
860:and
678:and
494:and
427:and
301:and
203:are
188:>
171:and
156:>
150:>
1652:doi
1648:112
1537:Zbl
1502:Zbl
1484:doi
1443:doi
1378:Zbl
1336:doi
1326:".
1271:Zbl
1253:doi
1113:doi
1109:207
615:max
28:in
16:In
1679::
1662:MR
1660:.
1646:.
1642:.
1535:.
1500:.
1494:MR
1492:.
1478:.
1474:.
1453:MR
1451:.
1439:19
1433:.
1376:.
1344:MR
1342:.
1330:.
1269:.
1263:MR
1261:.
1249:46
1247:.
1243:.
1107:.
1103:.
698:.
555:,
356:13
333:90
316:90
286:31
1668:.
1654::
1640:"
1624:1
1618:y
1613:1
1605:n
1601:y
1593:=
1586:1
1580:x
1575:1
1567:3
1563:x
1543:.
1508:.
1486::
1459:.
1445::
1431:"
1419:y
1399:x
1384:.
1350:.
1338::
1332:2
1314:)
1311:y
1308:(
1305:g
1302:=
1299:)
1296:x
1293:(
1290:f
1277:.
1255::
1241:"
1229:)
1226:1
1220:y
1217:(
1213:/
1209:)
1206:1
1198:n
1194:y
1190:(
1187:b
1184:=
1181:)
1178:1
1172:x
1169:(
1165:/
1161:)
1158:1
1150:m
1146:x
1142:(
1139:a
1121:.
1115::
1098:"
1082:1
1076:y
1071:1
1063:n
1059:y
1051:=
1044:1
1038:x
1033:1
1025:m
1021:x
959:x
954:x
950:x
946:x
934:x
930:y
926:x
912:y
892:x
868:y
848:x
824:)
821:n
818:,
815:m
812:,
809:y
806:,
803:x
800:(
774:)
771:n
768:,
765:y
762:,
759:x
756:(
736:n
716:3
713:=
710:m
686:s
666:r
642:)
639:n
636:,
633:m
630:,
627:y
624:,
621:x
618:(
595:1
589:s
569:1
563:r
543:2
537:d
517:s
514:d
511:=
508:1
502:n
482:r
479:d
476:=
473:1
467:m
435:n
415:m
381:=
375:1
369:2
364:1
352:2
345:=
339:1
328:1
320:3
283:=
277:1
271:2
266:1
258:5
254:2
247:=
241:1
235:5
230:1
222:3
218:5
191:2
185:m
182:,
179:n
159:1
153:y
147:x
121:1
115:y
110:1
102:n
98:y
91:=
85:1
79:x
74:1
66:m
62:x
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.