# Kanada-vollkommene Zahl

Eine Kanada-vollkommene Zahl oder Kanada-perfekte Zahl (vom englischen Canada perfect number) ist eine natürliche Zahl $n\in \mathbb {N}$, deren Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern im Dezimalsystem ist.
Mit anderen Worten:
    Eine zusammengesetzte Zahl $n\in \mathbb {N}$ heißt Kanada-vollkommene Zahl genau dann, wenn gilt:
       $\sum _{1\leq i\leq c(n)}\ell _{i}^{2}=\sum _{{d|n} \atop {1<d<n}}d$, wobei $\ell _{1},\ell _{2},\ldots \ell _{c(n)}$ die Ziffern in der Dezimaldarstellung der Zahl $n$ 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 $n$ allerdings $n-1$ beträgt und bei denen die Summe der Quadrate ihrer Ziffern keine Rolle spielt.

## Beispiele

* $125$ ist eine Kanada-vollkommene Zahl. Sie hat nur zwei nichttriviale Teiler, nämlich $5$ und $25$. Somit gilt:
       $5+25=1^{2}+2^{2}+5^{2}=30$
* $581$ ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich $7$ und $83$. Somit gilt:
       $7+83=5^{2}+8^{2}+1^{2}=90$
* $8549$ ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich $83$ und $103$. Somit gilt:
       $83+103=8^{2}+5^{2}+4^{2}+9^{2}=186$
* $16999$ ist eine Kanada-vollkommene Zahl. Sie hat ebenfalls nur zwei nichttriviale Teiler, nämlich $89$ und $191$. Somit gilt:
       $89+191=1^{2}+6^{2}+9^{2}+9^{2}+9^{2}=280$

## Eigenschaften

* Es gibt keine Kanada-vollkommenen Zahlen, welche größer als $236196$ sind.
       Beweis:
      * Hilfssatz 1: Die Summe der Quadrate der Ziffern einer natürlichen Zahl $n\in \mathbb {N}$ ist höchstens gleich dem 81-fachen ihrer Stellenzahl.
             Beweis:
                Sei $n\in \mathbb {N}$ eine $k$-stellige Zahl. Es ist die Summe der Quadrate der Ziffern dieser Zahl $n$ maximal groß, wenn die Zahl ausschließlich aus $9$ern besteht. Somit ist die maximale Summe der Quadrate der Ziffern $k\cdot 9^{2}$. Also gilt:
                   Summe der Quadrate der Ziffern einer Zahl $\leq k\cdot 9^{2}=81k=81\cdot$ Anzahl der Stellen dieser Zahl $\Box$
      * Hilfssatz 2: Die Summe der nichttrivialen Teiler einer zusammengesetzten Zahl $n\in \mathbb {N}$ ist mindestens gleich ihrer Quadratwurzel ${\sqrt {n}}$.
             Beweisidee:
                Je mehr Primteiler eine Zahl $n\in \mathbb {N}$ hat, desto höher ist die Summe ihrer nichttrivialen Teiler. Die Summe der nichttrivialen Teiler einer Zahl $n=p\cdot q$ mit nur zwei Primteiler $p,q\in \mathbb {P}$ ist zum Beispiel mindestens gleich dem Doppelten ihrer Quadratwurzel, es ist also $p+q\geq 2{\sqrt {n}}$ (der Beweis wäre eine Extremwertaufgabe). Ist aber eine Zahl $n=p^{2}$, so hat $n$ einen einzigen nichttrivialen Teiler, nämlich $p={\sqrt {n}}$. Für alle anderen zusammengesetzten Zahlen $n$ mit mehr Primfaktoren ist die Summe ihrer nichttrivialen Teiler höher als ${\sqrt {n}}$. $\Box$
          Eine Zahl $n\in \mathbb {N}$ ist eine Kanada-vollkommene Zahl, wenn die Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern ist. Sei dieser Wert gleich $s$. Man betrachte ein paar Beispiele:
         * Ist die Zahl $n$ fünfstellig (also $10^{4}<n<10^{5}$), so ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens $s\leq 5\cdot 9^{2}=5\cdot 81=405$. Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens $s\geq {\sqrt {n}}>{\sqrt {10^{4}}}=100$. Es ist also $100<s\leq 405$ und Lösungen dieses Problems sind möglich.
         * Ist die Zahl $n$ sechsstellig (also $10^{5}<n<10^{6}$), so ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens $s\leq 6\cdot 9^{2}=6\cdot 81=486$. Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens $s\geq {\sqrt {n}}>{\sqrt {10^{5}}}\approx 316{,}2$. Es ist also $316{,}2<s\leq 486$ und Lösungen dieses Problems sind möglich.
         * Ist die Zahl $n>236196$, so hat die Zahl 6 Stellen und somit ist die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens $s\leq 6\cdot 9^{2}=6\cdot 81=486$. Die Summe ihrer nichttrivialen Teiler ist wegen Hilfssatz 2 mindestens $s>{\sqrt {236196}}=486$. Es ist also $486<s\leq 486$, womit keine Lösung mehr möglich ist.
         * Wäre die Zahl $n$ siebenstellig (also $10^{6}<n<10^{7}$), so wäre die Summe der Quadrate ihrer Ziffern wegen Hilfssatz 1 höchstens $s\leq 7\cdot 9^{2}=6\cdot 81=567$. Die Summe ihrer nichttrivialen Teiler wäre wegen Hilfssatz 2 mindestens $s\geq {\sqrt {n}}>{\sqrt {10^{6}}}=1000$. Es müsste also $1000<s\leq 567$ sein, was nicht mehr möglich ist. Bei noch höheren $n$ würde es demgemäß ebenfalls kein geeignetes Intervall für $s$ mehr geben.
          Somit muss $n<236196$ sein, damit die Summe der nichttrivialen Teiler gleich der Summe der Quadrate ihrer Ziffern ist. $\Box$
* Es gibt genau vier Kanada-vollkommene Zahlen: 125, 581, 8549, 16999
       Beweis:
          Dadurch, dass man wegen obiger Eigenschaft weiß, dass es keine Kanada-vollkommenen Zahlen gibt, welche größer als $236196$ sind, muss man nur alle Fälle mit $n\leq 236196$ 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. $\Box$