{"id":235,"date":"2024-04-30T11:04:31","date_gmt":"2024-04-30T10:04:31","guid":{"rendered":"https:\/\/dharma-code.com\/wordpress\/?p=235"},"modified":"2024-05-02T03:40:05","modified_gmt":"2024-05-02T02:40:05","slug":"calculating-pythagorean-triples-and-rational-numbers-from-fibonacci-sequence-java","status":"publish","type":"post","link":"https:\/\/dharma-code.com\/wordpress\/index.php\/2024\/04\/30\/calculating-pythagorean-triples-and-rational-numbers-from-fibonacci-sequence-java\/","title":{"rendered":"Calculating Pythagorean Triples and Rational Numbers from the Fibonacci Sequence in Java"},"content":{"rendered":"\n
\n
View on GitHub<\/a><\/div>\n<\/div>\n\n\n\n

A while back I came across a fascinating video on YouTube<\/a> by Mathologer<\/a>, which described a little-known pair of discoveries that were made in 2007<\/a> and 2008<\/a> relating to a connection between the Fibonacci sequence and the Pythagorean triples. I have embedded the video at the end of this article, where you can learn all about the discovery.<\/p>\n\n\n\n

In this article I would like to give an overview of this relationship between the Pythagorean triples and the Fibonacci sequence. We will then implement an algorithm in Java 17 using Maven that will perform the calculation upon which the relationship is based, calling it the Pythagonacci<\/em> Box Tree<\/em> (what H. Lee Price in his 2008 article<\/a> refers to as the “New Pythagorean Tree”.)<\/p>\n\n\n\n

The Fibonacci Sequence<\/h2>\n\n\n\n

The Fibonacci Sequence is a series of numbers where each number is the sum of the two preceding ones. Mathematically, it is defined by the recurrence relation:<\/p>\n\n\n\n

F(n) = F(n – 1) + F(n – 2)<\/em><\/p>\n\n\n\n

Commonly it is represented with the following seed values:<\/p>\n\n\n\n

F(0)=0, F(1)=1<\/em><\/p>\n\n\n\n

However, for the purposes of this article we are going to offset the zero and begin with 1, 1.<\/p>\n\n\n\n

The first four numbers in our Fibonacci sequence are therefore 1, 1, 2, 3.<\/p>\n\n\n\n

Pythagorean Triples<\/h2>\n\n\n\n

Pythagorean Triples are sets of three positive integers a<\/em>, b<\/em>, and c<\/em>, such that:<\/p>\n\n\n\n

a<\/em>2<\/sup><\/code> + b<\/em>2<\/sup><\/code> = c<\/em>2<\/sup><\/code><\/p>\n\n\n\n

These number sets form the sides of right-angled triangles, with c<\/em> being the hypotenuse.<\/p>\n\n\n\n

The first Pythagorean triple has values a = 3, b = 4 and c = 5, since:<\/p>\n\n\n\n

32<\/sup><\/code> + 42<\/sup><\/code> = 52<\/sup><\/code><\/p>\n\n\n\n

The Relationship Between the Fibonacci Sequence and Pythagorean Triples<\/h2>\n\n\n\n

Starting with the set of the first four numbers in the Fibonacci sequence, { 1, 1, 2, 3 }<\/code>, we curve them clockwise into a 2 x 2 matrix, we shall call this a box, <\/em>as follows:<\/p>\n\n\n\n

1<\/strong> <\/td> 1<\/strong> <\/td><\/tr>
3<\/strong> <\/td> 2<\/strong> <\/td><\/tr><\/tbody><\/table>
Pythagonacci <\/em>root box (0) values<\/figcaption><\/figure>\n\n\n\n

The structure of a box can therefore be defined as follows (we will call this the box definition<\/strong>)<\/em>:<\/p>\n\n\n\n

V-U<\/em><\/strong><\/td> U<\/em><\/strong> <\/td><\/tr>
V+U<\/em><\/strong><\/td> V<\/em><\/strong> <\/td><\/tr><\/tbody><\/table>
Pythagonacci<\/em> box definition<\/figcaption><\/figure>\n\n\n\n

We then denote each of these values as a separate variable as follows:<\/p>\n\n\n\n

a<\/em><\/strong> <\/td> b<\/em><\/strong> <\/td><\/tr>
d<\/em><\/strong> <\/td> c<\/em><\/strong> <\/td><\/tr><\/tbody><\/table>
Pythagonacci <\/em>box variables<\/figcaption><\/figure>\n\n\n\n

We can then apply three functions to these variables to produce the first Pythagorean triple:<\/p>\n\n\n\n

F1 <\/em>+ F2 <\/em>= F3<\/em><\/code><\/p>\n\n\n\n

F1 <\/em>= (a<\/em> x d<\/em>)2<\/sup><\/code><\/p>\n\n\n\n

F2<\/em> = (2 <\/em>x b<\/em> x c<\/em>)2<\/sup><\/code><\/p>\n\n\n\n

F3 <\/em>= (a<\/em> <\/em>x <\/em><\/code>c <\/em>+ b<\/em> <\/em>x <\/em><\/code>d<\/em>)2<\/sup><\/code><\/p>\n\n\n\n

(1 <\/em>x <\/em><\/code>3)2<\/sup> + (2 <\/em>x<\/code> (1 <\/em>x <\/em><\/code>2))2<\/sup><\/code> = ((1 <\/em>x <\/em><\/code>2)+(1 <\/em>x <\/em><\/code>3))2<\/sup><\/code><\/code><\/p>\n\n\n\n

32<\/sup><\/code> + 42<\/sup><\/code> = 52<\/sup><\/code><\/p>\n\n\n\n

In the YouTube video (see below) you may notice that the order of variables a<\/em>, b<\/em>, c<\/em> and d<\/em> is slightly different. I have chosen to use a clockwise arrangement because it maps to the Fibonacci sequence.<\/p>\n\n\n\n

We then construct three empty boxes and apply three different transformations to the original box to produce the seed blueprints for three child<\/em> <\/strong>boxes: X<\/strong><\/em>, Y<\/em> <\/strong>and Z<\/strong><\/em>, the original being the parent<\/strong><\/em>. Each of the three transformations begins by selecting two values from the parent and locating them in the children as indicated by the positions of the variables shown here:<\/p>\n\n\n\n

– <\/td> b<\/em><\/strong> <\/td><\/tr>
d<\/em><\/strong> <\/td> – <\/td><\/tr><\/tbody><\/table>
Seed blueprint: Child box X<\/em><\/figcaption><\/figure>\n\n\n\n
– <\/td> – <\/td><\/tr>
d<\/em><\/strong><\/td>c<\/em><\/strong><\/td><\/tr><\/tbody><\/table>
Seed blueprint: Child box Y<\/em><\/figcaption><\/figure>\n\n\n\n
a<\/em><\/strong> <\/td> – <\/td><\/tr>
– <\/td> c<\/em><\/strong> <\/td><\/tr><\/tbody><\/table>
Seed blueprint: Child box Z<\/em><\/figcaption><\/figure>\n\n\n\n

It will help with the layout in the article if we visualise these three child boxes joined side-by-side. I have also added some colour to make it clearer what happens in the subsequent step.<\/p>\n\n\n\n

– <\/td> b <\/em><\/strong><\/td> – <\/td> – <\/td> a <\/em><\/strong><\/td> – <\/td><\/tr>
d<\/mark> <\/em><\/strong><\/td> – <\/td> d<\/mark> <\/em><\/strong><\/td> c<\/mark> <\/em><\/strong><\/td> – <\/td> c<\/mark> <\/em><\/strong><\/td><\/tr><\/tbody><\/table>
Seed blueprint step 1: Child boxes X<\/em>, Y<\/em> and Z<\/em><\/figcaption><\/figure>\n\n\n\n

The next step involves a transform on each of the child boxes where the values from the bottom row are moved up into the empty cells in the top row, as follows:<\/p>\n\n\n\n

d<\/mark><\/em> <\/strong><\/td> b <\/em><\/strong><\/td> d<\/mark><\/em> <\/strong><\/td> c<\/mark><\/em><\/strong> <\/td> a <\/em><\/strong><\/td> c<\/mark><\/em> <\/strong><\/td><\/tr>
– <\/td> – <\/td> – <\/td> – <\/td> – <\/td> – <\/td><\/tr><\/tbody><\/table>
Seed blueprint step 2: Child boxes X<\/em>, Y<\/em> and Z<\/em> shifted up<\/figcaption><\/figure>\n\n\n\n

By reference to the box definition<\/strong><\/em> from above, we can then populate the empty cells in the bottom row thus:<\/p>\n\n\n\n

d<\/em><\/strong><\/td>b<\/em><\/strong><\/td>d<\/em><\/strong><\/td>c<\/em><\/strong><\/td>a<\/em><\/strong><\/td>c<\/em><\/strong><\/td><\/tr>
d+b+b<\/em><\/strong><\/td>d+b<\/em><\/strong><\/td>d+c+c<\/em><\/strong><\/td>d+c<\/em><\/strong><\/td>a+c+c<\/em><\/strong><\/td>a+c<\/em><\/strong><\/td><\/tr><\/tbody><\/table>
Seed blueprint step 3: Child boxes X<\/em>, Y<\/em> and Z<\/em> population via box definition<\/em><\/figcaption><\/figure>\n\n\n\n

Substituting the values for a<\/em>, b<\/em>, c<\/em> and d<\/em> from the parent box, we get the following:<\/p>\n\n\n\n

3<\/strong> <\/td> 1<\/strong> <\/td> 3<\/strong> <\/td> <\/em>2<\/strong> <\/td> 1<\/strong> <\/td> 2<\/strong> <\/td><\/tr>
5<\/strong> <\/td> 4<\/strong> <\/td> 7<\/strong> <\/td> 5<\/strong> <\/td> 5<\/strong> <\/td> 3<\/strong> <\/td><\/tr><\/tbody><\/table>
Child boxes X<\/em>, Y<\/em> and Z<\/em><\/figcaption><\/figure>\n\n\n\n

Next, we assign the values in each of the child boxes to their own equivalent a<\/em><\/strong>, b<\/em><\/strong>, c<\/em><\/strong>, and d<\/em><\/strong>:<\/p>\n\n\n\n

ax<\/sup><\/strong> <\/em><\/td> bx<\/sup> <\/strong><\/em><\/td> ay<\/sup><\/strong><\/em> <\/td> by<\/sup> <\/strong><\/em><\/td> az<\/sup><\/strong><\/em> <\/td> bz<\/sup> <\/strong><\/em><\/td><\/tr>
dx<\/sup><\/em> <\/strong><\/td> cx<\/sup><\/em> <\/strong><\/td> dy<\/sup><\/em><\/strong> <\/td> cy<\/sup><\/em><\/strong> <\/td> dz<\/sup><\/em><\/strong> <\/td> cz<\/sup><\/em><\/strong> <\/td><\/tr><\/tbody><\/table>
Child boxes X<\/em>, Y<\/em> and Z<\/em><\/figcaption><\/figure>\n\n\n\n

Finally, for each of the child boxes, when we apply the functions F1<\/em><\/strong>, F2 <\/em><\/strong>and F3 <\/em><\/strong>discussed above to the variables a<\/em><\/strong>, b<\/em><\/strong>, c <\/em><\/strong>and d<\/em><\/strong>, we ALWAYS <\/em><\/strong>get Pythagorean triples!<\/p>\n\n\n\n

(a<\/em> x d<\/em>)2<\/sup> + (2 <\/em>x <\/em><\/code>b<\/em> <\/em>x <\/em><\/code>c<\/em>)2<\/sup> = (a<\/em> <\/em>x <\/em><\/code>c <\/em>+ b<\/em> <\/em>x <\/em><\/code>d<\/em>)2<\/sup><\/code><\/p>\n\n\n\n

X: (3 <\/em>x <\/em>5)2<\/sup> + (2 <\/em>x <\/em>1 <\/em>x <\/em>4)2<\/sup> = (3 <\/em>x <\/em>4 + 1 <\/em>x <\/em>5)2<\/sup> => 152<\/sup> + 82<\/sup> = 172<\/sup><\/strong><\/code><\/p>\n\n\n\n

Y: (3 x 7)2<\/sup> + (2 x 2 x 5)2<\/sup> = (3 x 5 + 2 x 7)2<\/sup> => 212<\/sup> + 202<\/sup> = 292<\/sup><\/strong><\/code><\/p>\n\n\n\n

Z: (1 x 5)2<\/sup> + (2 x 2 x 3)2<\/sup> = (1 x 3 + 2 x 5)2<\/sup> => 52<\/sup> + 122<\/sup> = 132<\/sup><\/strong><\/code><\/p>\n\n\n\n

Each child box can then be transformed respectively to generate three children of its own, and each child will always produce a NEW Pythagorean triple. Continuing indefinitely in this way constructs a Pythagonacci Box Tree<\/em>, in which every single primitive <\/em>Pythagorean triple will be produced EXACTLY ONCE.<\/strong><\/p>\n\n\n\n

The Relationship Between the Fibonacci Sequence and the Rational Numbers<\/h2>\n\n\n\n

As if that were not enough, there is another interesting outcome of the above algorithm that identifies a fundamental relationship between the Fibonacci sequence and the rational numbers.<\/p>\n\n\n\n

If we consider each column of the boxes in turn and take the top row value as numerator and the bottom row values as denominator, then we arrive at rational numbers in the form a<\/em>\/d<\/em> and b<\/em>\/c<\/em>. It has been proven that if we apply this process to every box indefinitely, we will get every single rational number between zero and one EXACTLY ONCE!<\/strong><\/p>\n\n\n\n

Java Implementation<\/h2>\n\n\n\n

I thought that these results were incredible – that this one algorithm could produce all of the Pythagorean triples AND all of the rational numbers between zero and one, and that it all arises from the simplicity of the Fibonacci sequence. It led me to want to write an implementation of the algorithm in Java, and this is where we shall now turn.<\/p>\n\n\n\n

Class: PythagonacciBox<\/h2>\n\n\n\n

The main class in our Java implementation is going to be called PythagonacciBox<\/code>. It will need to contain the four values for the box itself. Since we will be using recursion to generate each subsequent row of child boxes, to avoid stack overflows we will also need to give it an altitude<\/code> that decreases with each subsequent generation and stops recursing when it gets below zero. We will also give it an id<\/code> that will help us to locate the box in the overall structure when we come to log its values.<\/p>\n\n\n\n

public class PythagonacciBox {\n\t\n    private final Integer altitude;\n\t\n    private final Long[] values;\n\t\n    private final String id;\n\t\n    \/**\n     * Constructor for root box.\n     *\/\n    public PythagonacciBox(Integer altitude, Long[] values) {\n        this(altitude, values, null, \"0\");\n    }\n\n    public PythagonacciBox(Integer altitude, Long[] values,\n            PythagonacciBox parent, String relativeId) {\n        \/\/ Descend towards the bottom of the tree by one step:\n        this.altitude = altitude - 1;\n        if (values.length != 4) {\n            throw new IllegalArgumentException(\"values must be length 4\");\n        }\n        this.values = values;\n        this.id = parent != null ? parent.getId() + relativeId : relativeId;\n    }\n\n    public String getId() {\n        return id;\n    }\n}<\/code><\/pre>\n\n\n\n
I’ve included a sanity check to ensure the values are the correct length. Notice that we have two constructors: One for the “root” box, and another for general use. The root box doesn’t have a parent, so it is a special case.<\/p>\n\n\n\n
The id<\/code> is going to represent a box’s address in the box tree. The root box will have an id of “0”. Child boxes will be denoted using X, Y or Z, appended to the parent box’s id. For example, if a box has an id of “0XYYXZ” it means that the box is located by going from the root box “0” to its child “0X”, to its child “0XY”, to its child “0XYY”, to its child “0XYYX” and finally to its child “0XYYXZ”.<\/p>\n\n\n\n
We will use constants to represent the indices of the variable positions a<\/em>, b<\/em>, c <\/em>and d<\/em> within the array of values:<\/p>\n\n\n\n
    private static final int IX_A = 0;\n    private static final int IX_B = 1;\n    private static final int IX_C = 2;\n    private static final int IX_D = 3;<\/code><\/pre>\n\n\n\n
We will then need three methods: one for the square-root of each of the functions F1<\/em>, F2 <\/em>and F3<\/em>, so that we can print the Pythagorean triples in the format A<\/em>2<\/sup> + B<\/em>2<\/sup> = C<\/em>2<\/sup>.<\/p>\n\n\n\n
    public long getPythagoreanTripleSideA() {\n        return values[IX_A] * values[IX_D];\n    }\n\n    public long getPythagoreanTripleSideB() {\n        return 2 * values[IX_B] * values[IX_C];\n    }\n\n    public long getPythagoreanTripleHypotenuse() {\n        return values[IX_A] * values[IX_C] + values[IX_B] * values[IX_D];\n    }<\/code><\/pre>\n\n\n\n
Then we need to add a function that will print the Pythagorean triples, and another that will check that the box actually represents a Pythagorean triple. If it doesn’t, we will have it throw an exception.<\/p>\n\n\n\n
    public String getPythagoreanTripleString() {\n        return String.format(\"%d^2 + %d^2 ?= %d^2\",\n                getPythagoreanTripleSideA(),\n                getPythagoreanTripleSideB(),\n                getPythagoreanTripleHypotenuse());\n    }\n\t\n    public boolean validateIsPythagoreanTriple() {\n        long a = getPythagoreanTripleSideA();\n        long b = getPythagoreanTripleSideB();\n        long c = getPythagoreanTripleHypotenuse();\n        boolean isValid = a * a + b * b == c * c;\n        if (!isValid) {\n            throw new IllegalStateException(id + \" is invalid!\\n\" + this);\n        }\n        return true;\n    }<\/code><\/pre>\n\n\n\n
To perform the initialisation of the boxes with the Fibonacci sequence from the first two values, we will include the following static function:<\/p>\n\n\n\n
    private static Long[] fibonacci2x2(long a, long b) {\n        long c = a + b;\n        Long[] newValues = new Long[4];\n        newValues[IX_A] = a;\n        newValues[IX_B] = b;\n        newValues[IX_C] = c;\n        newValues[IX_D] = c + b;\n        return newValues;\n    }<\/code><\/pre>\n\n\n\n
We will override toString()<\/code> to print the id, the Pythagorean triple and the values for the box:<\/p>\n\n\n\n
    @Override\n    public String toString() {\n        return String.format(\"%s: %s\\n%d\\t%d\\n%d\\t%d\",\n                id, getPythagoreanTripleString(),\n                values[IX_A], values[IX_B],\n                values[IX_D], values[IX_C]);\n    }<\/code><\/pre>\n\n\n\n
Record: PythagonacciBoxTriplet<\/h2>\n\n\n\n
To represent the child boxes of a PythagonacciBox<\/code> we will be using a wrapper that combines three PythagonacciBox<\/code><\/code> objects into one. For this we will create a new record<\/code> (a Java 14+ feature) called PythagonacciBoxTriplet<\/code> <\/strong>(Note: we will be adding PythagonacciBox<\/code>.toStringRecursive()<\/code> and PythagonacciBox<\/code>.validateIsPythagoreanTripleRecursive()<\/code> later, so ignore any compilation errors for now):<\/p>\n\n\n\n
public record PythagonacciBoxTriplet(PythagonacciBox x,\n        PythagonacciBox y, PythagonacciBox z) {\n\n    @Override\n    public String toString() {\n        return x.toString() + y.toString() + z.toString();\n    }\n\n    public String toStringRecursive() {\n        return x.toStringRecursive() +\n                y.toStringRecursive() +\n                z.toStringRecursive();\n    }\n\n    public boolean validateIsPythagoreanTripleRecursive() {\n        return x.validateIsPythagoreanTripleRecursive() &&\n                y.validateIsPythagoreanTripleRecursive() &&\n                z.validateIsPythagoreanTripleRecursive();\n    }\n}<\/code><\/pre>\n\n\n\n
Now, returning to our PythagonacciBox<\/code> class, we can add a reference to the children. We will also add the code that will create the children, which we will implement using a lazy-loading pattern within the getter:<\/p>\n\n\n\n
public class PythagonacciBox {\n\n    \/\/ ...\n\n    private PythagonacciBoxTriplet children;\n\n    \/\/ ...\n\n    public PythagonacciBoxTriplet getChildren() {\n        if (children == null) {\n            \/\/ Calculate children:\n            \/\/ X: Take values b and d, move d to the top row,\n            \/\/ then Fibonacci clockwise.\n            \/\/ .  b -> d  b -> d     b\n            \/\/ d  . -> .  . -> d+b+b d+b\n            PythagonacciBox x = new PythagonacciBox(altitude,\n                    fibonacci2x2(values[IX_D], values[IX_B]), this, \"X\");\n\n            \/\/ Y: Take values d and c, move them to the top row,\n            \/\/ then Fibonacci clockwise.\n            \/\/ .  . -> d  c -> d     c\n            \/\/ d  c -> .  . -> d+c+c d+c\n            PythagonacciBox y = new PythagonacciBox(altitude,\n                    fibonacci2x2(values[IX_D], values[IX_C]), this, \"Y\");\n\n            \/\/ Z: Take values a and c, move c to the top row,\n            \/\/ then Fibonacci clockwise.\n            \/\/ a  . -> a  c -> a     c\n            \/\/ .  c -> .  . -> a+c+c a+c\n            PythagonacciBox z = new PythagonacciBox(altitude,\n                    fibonacci2x2(values[IX_A], values[IX_C]), this, \"Z\");\n\n            this.children = new PythagonacciBoxTriplet(x, y, z);\n        }\n        return children;\n    }<\/code><\/pre>\n\n\n\n
Finally, we will add PythagonacciBox.toStringRecursive()<\/code> and PythagonacciBox.validateIsPythagoreanTripleRecursive()<\/code> as referenced earlier in the PythagonacciBoxTriplet<\/code>. A call to either of these methods will initiate a chain of events that will recursively populate all of the children until we reach the bottom of the tree, or in the case of the validation method, we hit a non-Pythagorean triple, which will result in an exception. For this reason, we will also add a test for whether we have reached the bottom of the tree to stop recursion. Note that although the methods are not directly recursive in themselves, the co-dependency between the equivalent methods in PythagonacciBox<\/code><\/code> and PythagonacciBoxTriplet<\/code><\/code> makes them mutually recursive<\/em>:<\/p>\n\n\n\n
public class PythagonacciBox {\n\n    \/\/ ...\n\n    private boolean isEndRecursion() {\n        return altitude < 0;\n    }\n\n    public String toStringRecursive() {\n        return toString() + (isEndRecursion() ?\n                \"\" : getChildren().toStringRecursive());\n    }\n\n    \/\/ ...\n\n    public boolean validateIsPythagoreanTripleRecursive() {\n        return validateIsPythagoreanTriple() &&\n                (isEndRecursion() ||\n                        getChildren().validateIsPythagoreanTripleRecursive());\n    }\n\n}<\/code><\/pre>\n\n\n\n
Class: PythagonacciBoxFactory<\/h2>\n\n\n\n
We now have all that we need to execute a PythagonacciBox<\/code> tree to arbitrary depth, given sufficient system resources. We could do this directly, but it would be cleaner to use a factory class that can also encapsulate things such as an array of default values for the root box and a default “maximum depth” to use as the initial altitude. We will call it maximum <\/em>depth because if we call the validating method and if the starting values give rise to non-Pythagorean triples somewhere before the altitude reaches zero, an exception will be thrown, so we don’t guarantee that the maximum depth will be reached.<\/p>\n\n\n\n
The factory class will also provide simplified method calls for variations of constructor parameters.<\/p>\n\n\n\n
public class PythagonacciBoxFactory {\n\n    private static final Long[] DEFAULT_ROOT_BOX_VALUES =\n            new Long[]{1L, 1L, 2L, 3L};\n\n    private static final Integer DEFAULT_MAX_DEPTH = 5;\n\n    private final Integer maxDepth;\n    private final Long[] rootBoxValues;\n\n    private PythagonacciBoxFactory(Integer maxDepth, Long[] rootBoxValues) {\n        this.maxDepth = maxDepth != null ? maxDepth : DEFAULT_MAX_DEPTH;\n        this.rootBoxValues = rootBoxValues!= null ?\n                rootBoxValues: DEFAULT_ROOT_BOX_VALUES;\n    }\n\n    private PythagonacciBox createRootBox() {\n        return new PythagonacciBox(maxDepth, rootBoxValues);\n    }\n\n    public static PythagonacciBox create() {\n        return new PythagonacciBoxFactory(DEFAULT_MAX_DEPTH,\n                DEFAULT_ROOT_BOX_VALUES).createRootBox();\n    }\n\n    public static PythagonacciBox create(Integer maxDepth) {\n        return new PythagonacciBoxFactory(maxDepth, DEFAULT_ROOT_BOX_VALUES)\n                .createRootBox();\n    }\n\n    public static PythagonacciBox create(Long[] rootBoxValues) {\n        return new PythagonacciBoxFactory(DEFAULT_MAX_DEPTH, rootBoxValues)\n                .createRootBox();\n    }\n\n    public static PythagonacciBox create(Integer maxDepth, Long[] values) {\n        return new PythagonacciBoxFactory(maxDepth, values).createRootBox();\n    }\n}<\/code><\/pre>\n\n\n\n
Tests<\/h2>\n\n\n\n
If writing this project from scratch, we would begin adding tests early on, to benefit from the principles of test driven development<\/em>. However, to simplify this article the test class has been left until the end. We will use JUnit 5. To our pom.xml we add the following:<\/p>\n\n\n\n
    <dependencies>\n\n        <dependency>\n            <groupId>org.junit.jupiter<\/groupId>\n            <artifactId>junit-jupiter-engine<\/artifactId>\n            <version>5.10.2<\/version>\n            <scope>test<\/scope>\n        <\/dependency>\n\n    <\/dependencies><\/code><\/pre>\n\n\n\n
We shall add tests that run the boxes to varying depths and perform validation on valid and invalid configurations. Here is our test class:<\/p>\n\n\n\n
import org.junit.jupiter.api.Test;\n\nimport static org.junit.jupiter.api.Assertions.assertThrows;\nimport static org.junit.jupiter.api.Assertions.assertTrue;\n\npublic class PythagonacciBoxTest {\n\n    @Test\n    public void testDepth0() {\n        PythagonacciBox box = PythagonacciBoxFactory.create(0);\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testDepth1() {\n        PythagonacciBox box = PythagonacciBoxFactory.create(1);\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testDepth2() {\n        PythagonacciBox box = PythagonacciBoxFactory.create(2);\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testDepth3() {\n        PythagonacciBox box = PythagonacciBoxFactory.create(3);\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testDepth4() {\n        PythagonacciBox box = PythagonacciBoxFactory.create(4);\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testDepthDefault() {\n        PythagonacciBox box = PythagonacciBoxFactory.create();\n        System.out.println(box.toStringRecursive());\n    }\n\n    @Test\n    public void testValidateIsPythagoreanTripleRecursive() {\n        PythagonacciBox box = PythagonacciBoxFactory.create();\n        assertTrue(box.validateIsPythagoreanTripleRecursive());\n    }\n\n    @Test\n    public void testValidateIsPythagoreanTripleRecursiveStartWithDoubleDefault() {\n        \/\/ If you double the initial input from the default 1, 1, 2, 3,\n        \/\/ you also get Pythagorean triples.\n        PythagonacciBox box = PythagonacciBoxFactory\n                .create(new Long[]{2L, 2L, 4L, 6L});\n        assertTrue(box.validateIsPythagoreanTripleRecursive());\n    }\n\n    @Test\n    public void testValidateIsPythagoreanTripleRecursiveStartWithArbitraryFiboLikeSequence() {\n        \/\/ Start with an arbitrary sequence that satisfies V-U, U, V, V+U.\n        \/\/ This also gives you pythagorean triples.\n        PythagonacciBox box = PythagonacciBoxFactory\n                .create(new Long[]{29L, 29L, 58L, 87L});\n        assertTrue(box.validateIsPythagoreanTripleRecursive());\n    }\n\n    @Test\n    public void testValidateIsPythagoreanTripleRecursiveStartWithFirst4Primes() {\n        \/\/ It only generates pythagorean triples if the starting sequence\n        \/\/ is \"Fibonacci-like\".\n        PythagonacciBox box = PythagonacciBoxFactory\n                .create(new Long[]{2L, 3L, 5L, 7L});\n        assertThrows(IllegalStateException.class,\n                box::validateIsPythagoreanTripleRecursive);\n    }\n\n}<\/code><\/pre>\n\n\n\n
Some of the tests print their results to the console. Here is the output from testDepth1()<\/code> for example, which reproduces the example introduced at the beginning of this article:<\/p>\n\n\n\n
0: 3^2 + 4^2 ?= 5^2
1 1
3 2
0X: 15^2 + 8^2 ?= 17^2
3 1
5 4
0Y: 21^2 + 20^2 ?= 29^2
3 2
7 5
0Z: 5^2 + 12^2 ?= 13^2
1 2
5 3<\/p>\n\n\n\n
You should now be able to go away and experiment with different starting values yourself. It was interesting to see that it seems to produce Pythagorean triples for any “Fibonacci-like” sequence, not just that which begins 1, 1, 2, 3. This shows us that it is the algorithm that is important, not merely the starting conditions (which almost sounds philosophical!)<\/p>\n\n\n\n
YouTube Video<\/h2>\n\n\n\n
Below you can view the Mathologer YouTube video that gave me the idea for this post. Please take a moment to give the video a thumbs up:<\/p>\n\n\n\n
\n