[sub-project] Perfect cuboid

Fehler und Wünsche zum Projekt yoyo@home
Bugs and wishes for the project yoyo@home
Nachricht
Autor
x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

[sub-project] Perfect cuboid

#1 Ungelesener Beitrag von x3mEn » 21.03.2011 19:48

Perfect Cuboid
Bild
A perfect cuboid is a cuboid having integer side lengths, integer face diagonals
Bild(1)
Bild(2)
Bild(3)
and an integer space diagonal
Bild(4)
The problem of finding such a cuboid is also called the brick problem, diagonals problem, perfect box problem, perfect cuboid problem, or rational cuboid problem.
No perfect cuboids are known despite an exhaustive search for all "odd sides" up to 100 billion (10^11) (Weisstein, Eric W., "Perfect Cuboid" from MathWorld).
Solving the perfect cuboid problem is equivalent to solving the Diophantine equations
BildBildBild(5)
BildBildBild(6)
BildBildBild(7)
BildBildBild(8)
A solution with integer space diagonal and two out of three face diagonals is Bild, Bild and Bild giving Bild, Bild, Bild and Bild , which was known to Euler. A solution giving integer space and face diagonals with only a single nonintegral polyhedron edge is Bild, Bild and Bild, giving Bild, Bild, Bild and Bild .

via mathworld.wolfram.com

Benutzeravatar
MReed
Task-Killer
Task-Killer
Beiträge: 726
Registriert: 10.02.2010 22:26
Wohnort: Berlin

Re: [sub-project] Perfect cuboid

#2 Ungelesener Beitrag von MReed » 21.03.2011 19:57

Despite me being just a user here:

What would be the scientific gain of finding one (assuming there is one)?
MfG
MReed

Bild

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#3 Ungelesener Beitrag von x3mEn » 21.03.2011 19:59

Hello, guys!
I opened this topic to share with you my original idea how we would continue a searching of perfect cuboid far away from 10^11 integers space.
Our goal is to check all space diagonals up to 2^63 (9'223'372'036'854'775'808)

If you are interested to participate, join us!
We need mathematicians, C/C++ programmers and CUDA/OpenCL programmers in the future.

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#4 Ungelesener Beitrag von x3mEn » 21.03.2011 20:08

If perfect cuboid exists, space diagonal of minimal cuboid (cuboid of minimal size) is the product of primes 4k+1. The proof of this lemma below.

Benutzeravatar
yoyo
Vereinsvorstand
Vereinsvorstand
Beiträge: 8043
Registriert: 17.12.2002 14:09
Wohnort: Berlin
Kontaktdaten:

Re: [sub-project] Perfect cuboid

#5 Ungelesener Beitrag von yoyo » 21.03.2011 20:11

For me it sounds interesting because it is one of unsolved problems in number theory, logic, and cryptography.
http://unsolvedproblems.org/index_files ... Cuboid.htm
yoyo
HILF mit im Rechenkraft-WiKi, dies gibts zu tun.
Wiki - FAQ - Verein - Chat

Bild Bild

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#6 Ungelesener Beitrag von x3mEn » 21.03.2011 20:13

Theorem 1.
Any odd number that can be represented as the sum of two squares has the form 4k+1

Proof:
Between two integers whose sum of squares is odd, one number is necessarily even and the other is odd.
The square of even number is divisible by 4 completely and the square of odd number of the division by 4 gives a remainder 1:
(2k+1)² = 4k² + 4k + 1 = 4(k² + k) + 1.

So, if some odd integer n can be represented in the form of sum of two squares: n = x^2 + y^2,
then n mod 4 = 1 or, the same, n = 4m + 1:
let x = 2k+1, y = 2l,
n = (2k+1)² + (2l)² = 4(k² + k + l²) + 1 = 4m + 1,
where m = k² + k + l²

For the same reason odd number the form 4k+3 can not be represented as the sum of two squares.
Zuletzt geändert von x3mEn am 24.03.2011 15:08, insgesamt 7-mal geändert.

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#7 Ungelesener Beitrag von x3mEn » 21.03.2011 20:25

Theorem 2.
Any prime number p form 4k+1 can be represented as a sum of squares of two integers.

The proof consists of two lemmas:
Lemma 2.
For any prime p form 4k +1 there exists an integer m, that m²+1 is multiple p
Lemma 3.
Any prime divisors p of number m²+1, where m - integer, can be represented as a sum of squares of two integers.

Proof of these lemmas can be found here (pdf, 600K, russian).
Zuletzt geändert von x3mEn am 24.03.2011 15:09, insgesamt 1-mal geändert.

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#8 Ungelesener Beitrag von x3mEn » 21.03.2011 20:30

From Theorems 1 and 2 implies that the prime number p>2 can not be represented as a sum of two squares if it has a view of 4k+3, and can be presented, if p= 4k+1

Criterion Girard.
Natural number can be represented as a sum of squares of two integers if and only if in its decomposition into simple factors any simple factor of type 4k+3 is in even powers.
Zuletzt geändert von x3mEn am 25.03.2011 17:15, insgesamt 1-mal geändert.

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#9 Ungelesener Beitrag von x3mEn » 21.03.2011 20:33

The general formula to represent the product of the sum of two squares as the sum of two squares as follows:
(a² + b²) (x² + y²) = a² * x² + a² * y² + b² * x² + b² * y²,
add and subtract 2axby:
(a² + b²) (x² + y²) = a² * x² + 2axby + b² * y² + a² * y² - 2axby + b² * x² = (ax + by)² + (bx - ay)²
so
(a² + b²) (x² + y²) = (ax + by)² + (bx - ay)² (1)
Zuletzt geändert von x3mEn am 24.03.2011 15:11, insgesamt 1-mal geändert.

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#10 Ungelesener Beitrag von x3mEn » 21.03.2011 21:05

If in the formula (1) a and b set to 1, we obtain:
(x + y)² + (x - y)² = 2 (x² + y²)
so if n = x² + y² can be represented as a sum of squares, thus 2n is represented as a sum of squares too.

On the other hand, if even 2n is represented as a sum of squares, and then n can be represented as a sum of squares too.
Zuletzt geändert von x3mEn am 24.03.2011 15:12, insgesamt 3-mal geändert.

Benutzeravatar
rebirther
PDA-Benutzer
PDA-Benutzer
Beiträge: 56
Registriert: 31.12.2006 20:20
Kontaktdaten:

Re: [sub-project] Perfect cuboid

#11 Ungelesener Beitrag von rebirther » 21.03.2011 21:07

If this link is correct, you can find sourcecode here

x3mEn
Prozessor-Polier
Prozessor-Polier
Beiträge: 102
Registriert: 20.03.2011 22:23

Re: [sub-project] Perfect cuboid

#12 Ungelesener Beitrag von x3mEn » 21.03.2011 21:34

rebirther hat geschrieben:If this link is correct, you can find sourcecode here
I already saw this material.
Initially, all odd numbers out to 21 billion were tried on a Pentium 4 computer. Subsequently, a Skulltrail computer was used to extend the search out to 1 trillion. (1.0E+12).
Thus, if the odd side is 1.0E+12, the even side can be as large as 5.0E+23. This has more digits than the precision that exists on Intel processors.
My goal is to check all space diagonals up to 2^63 ? 9.2E+18
And my idea differs.
If you is attentive up to the end, will understand that my algorithm is better

Antworten

Zurück zu „Fehler, Wünsche / Bugs, Wishes“