Aruseq: Chętnie poznam, czy jest szybsza metoda.
Jeśli nie byłyby to kolejne wyrazy, ale tworzyłyby one ciąg arytmetyczny, to różnice między
nimi byłyby pewnymi całkowitymi wielokrotnościami różnicy, tzn.
dla pewnych k,l∊Z
Wyliczając i przyrównując r dostajemy równość
| √7/10−√7/20 | | √30−√7/20 | |
| = |
| |
| k | | l | |
Stąd
| k | | √7/10−√7/20 | |
| = |
| |
| l | | √30−√7/20 | |
Lewa strona jest wymierna, wystarczy uzasadnić, że prawa nie jest