Eine Kanada-vollkommene Zahl oder Kanada-perfekte Zahl (vom englischen Canada perfect number) ist eine natürliche Zahl , deren Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern im Dezimalsystem ist.

Mit anderen Worten:

Eine zusammengesetzte Zahl heißt Kanada-vollkommene Zahl genau dann, wenn gilt:

, wobei die Ziffern in der Dezimaldarstellung der Zahl sind.

Anlässlich des 125. Geburtstages von Kanada wurden diese Zahlen von J. Fabrykowski, B. Wolk and R. Padmanabhan (University of Manitoba) definiert, wobei 125 die kleinste von ihnen ist.

Diese Zahlen haben ihren Namen in Anlehnung an die vollkommenen Zahlen bekommen, bei denen die Summe ihrer nichttrivialen Teiler von allerdings beträgt und bei denen die Summe der Quadrate ihrer Ziffern keine Rolle spielt.

• ist eine Kanada-vollkommene Zahl. Sie hat nur zwei nichttriviale Teiler, nämlich und . Somit gilt:

• ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich und . Somit gilt:

• ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich und . Somit gilt:

• ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich und . Somit gilt:

• Es gibt keine Kanada-vollkommenen Zahlen, welche größer als sind.

Beweis:

• Hilfssatz 1: Die Summe der Quadrate der Ziffern einer natürlichen Zahl ist höchstens gleich dem 81-fachen ihrer Stellenzahl.

Beweis:

Sei eine -stellige Zahl. Es ist die Summe der Quadrate der Ziffern dieser Zahl maximal groß, wenn die Zahl ausschließlich aus ern besteht. Somit ist die maximale Summe der Quadrate der Ziffern . Also gilt:

Summe der Quadrate der Ziffern einer Zahl Anzahl der Stellen dieser Zahl

• Hilfssatz 2: Die Summe der nichttrivialen Teiler einer zusammengesetzten Zahl ist mindestens gleich ihrer Quadratwurzel .

Beweisidee:

Je mehr Primteiler eine Zahl hat, desto höher ist die Summe ihrer nichttrivialen Teiler. Die Summe der nichttrivialen Teiler einer Zahl mit nur zwei Primteiler ist zum Beispiel mindestens gleich dem Doppelten ihrer Quadratwurzel, es ist also (der Beweis wäre eine Extremwertaufgabe). Ist aber eine Zahl , so hat einen einzigen nichttrivialen Teiler, nämlich . Für alle anderen zusammengesetzten Zahlen mit mehr Primfaktoren ist die Summe ihrer nichttrivialen Teiler höher als .

Eine Zahl ist eine Kanada-vollkommene Zahl, wenn die Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern ist. Sei dieser Wert gleich . Man betrachte ein paar Beispiele:

• Ist die Zahl fünfstellig (also ), so ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens . Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens . Es ist also und Lösungen dieses Problems sind möglich.
• Ist die Zahl sechsstellig (also ), so ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens . Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens . Es ist also und Lösungen dieses Problems sind möglich.
• Ist die Zahl , so hat die Zahl 6 Stellen und somit ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens . Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens . Es ist also , womit keine Lösung mehr möglich ist.
• Wäre die Zahl siebenstellig (also ), so wäre die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens . Die Summe ihrer nichttrivialen Teiler wäre wegen Hilfssatz 2 mindestens . Es müsste also sein, was nicht mehr möglich ist. Bei noch höheren würde es demgemäß ebenfalls kein geeignetes Intervall für mehr geben.

Somit muss sein, damit die Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern ist.

• Es gibt genau vier Kanada-vollkommene Zahlen: 125, 581, 8549, 16999^[1]

Beweis:

Dadurch, dass man wegen obiger Eigenschaft weiß, dass es keine Kanada-vollkommenen Zahlen gibt, welche größer als sind, muss man nur alle Fälle mit untersuchen und somit nur endlich viele Möglichkeiten durchprobieren. Dazu reicht ein nicht besonders schneller Computer, der alle Varianten durchtestet. Man erhält genau diese vier Lösungen 125, 581, 8549 und 16999.

1. ↑ Folge A070308 in OEIS

• Jean-Marie De Koninck, Armel Mercier: 1001 Problems in Classical Number Theory. American Mathematical Society, 2007, S. 76–77, abgerufen am 25. November 2018.