Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in...
Transcript of Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in...
![Page 1: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/1.jpg)
Albime triangles
Jaap Top
JBI-RuG & DIAMANT
November 20th, 2014
(Utrecht Staff Colloquium Mathematics)
1
![Page 2: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/2.jpg)
???
2
![Page 3: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/3.jpg)
F. van der Blij (Utrecht, 1982)3
![Page 4: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/4.jpg)
Van der Blij retired in 1988.
December 16th, 2003 he presented the closing lecture of the
annual mathematics teacher’s day in Groningen.
February 4th, 2005 he continued the subject during the NWD
(Dutch Mathematics Days) in Noordwijkerhout:
4
![Page 5: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/5.jpg)
5
![Page 6: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/6.jpg)
Definition [studied by Th.J. Kletter & F. van der Blij ≈ 2003]
Triangle ABC is called albime if the lengths |AB|, |BC|, |AC| areintegers and moreover the altitude from C, a bisector at A, andthe median at B are concurrent.
Theorem There exist infinitely many pairwise dissimilar albimetriangles.
6
![Page 7: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/7.jpg)
From 1966 – 1982 Theo Kletter was principal (“rector”) of the
Mendel Highschool (Mendelcollege) in Haarlem. Before that, he
taught mathematics at the same school.
Van der Blij states that the motivation to consider the problem
was of a didactical nature...
We will present some of the history of albime triangles.
7
![Page 8: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/8.jpg)
February 1937, American Mathematical Monthly:
New York high school teacher David L. MacKay (1887–1961)
8
![Page 9: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/9.jpg)
Monthly, November 1937:
9
![Page 10: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/10.jpg)
Lemma’s used by Kitchens (later an astronomer):
(a) [Giovanni Ceva, 1678]
In triangle ABC the lines AD,BE,CF are concurrent precisely
when
|AF ||FB|
·|BD||DC|
·|CE||EA|
= 1.
10
![Page 11: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/11.jpg)
Ceva’s theorem tastes like results from Euclid, although it is
from 1678(!)
Jan Hogendijk showed 20 years ago that Ceva’s theorem was in
fact proven in the 11th century by Al-Mu’taman ibn Hud, King
of Saragossa, in his Kitab al-Istikmal.
11
![Page 12: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/12.jpg)
Second Lemma used by Kitchens: [Euclid, Elements VI Propo-sition 3]
AD is internal bisector in triangle ABC, precisely when
|AB||AC|
=|BD||CD|
.
12
![Page 13: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/13.jpg)
The problem with rational side length appears soon afterwards.
The Monthly, March 1939:
“Commensurable” here means that the quotient of the lengths
should be rational, in other words, after scaling all sides have
integral length.
13
![Page 14: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/14.jpg)
A ‘solution’ appears in the Monthly in March 1940:
In fact this shows a, b, c > 0 occur as side lengths of an albime
triangle ⇔ they satisfy the equation given above.
14
![Page 15: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/15.jpg)
It remains to classify the solutions in positive integers.
Trigg continues:
(?!)15
![Page 16: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/16.jpg)
However, Van der Blij, in Nieuwe Wiskrant (2004):
16
![Page 17: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/17.jpg)
Van der Blij, Dutch Mathematics Days 2005 . . . . . .
. . . . . . versus Trigg, the Monthly, 1940:
17
![Page 18: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/18.jpg)
Charles Wilderman Trigg (1898–1989)
USNR = United States Naval (now Navy) Reserve.
18
![Page 19: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/19.jpg)
19
![Page 20: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/20.jpg)
Trigg’s argument is in fact false.
Van der Blij wrote to me (letter dated Febr. 21st, 2005):
20
![Page 21: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/21.jpg)
His “short syllabus” (2 pages) contains:
(1.) Fix segment BC, then vertex A follows a curve called the
Conchoid of Nicomedes, and the point where the three concur-
rent lines meet follows a Cissoid of Diocles.
(2.) A derivation of Trigg’s formula
(b+ c)a2 = b3 + b2c− bc2 + c3
based on Ceva’s theorem and a theorem of the Scottish mathe-
matician Matthew Stewart (1717–1785).
21
![Page 22: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/22.jpg)
(3.) Scaling b+c = 2 reduces Trigg’s formula to a2 = c3−4c+4,
equation of an cubic curve with rational point A := (c, a) = (2,2).
Using the group law on such a curve one obtains
−4A = (1,1), 7A = (10/9,26/27), −10A = (88/49,554/343),
and 13A = (206/961,52894/29791).
These give albime triangles with (rescaled) sides (BC,AC,AB) =
(1,1,1), (13,12,15), (277,35,308), (26447,26598,3193).
(the ‘next’ one is 15A, used for the announcement of his talk).
(4.) A “deeper result” is that this method yields infinitely many
examples.
22
![Page 23: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/23.jpg)
Theorem Albime triangles are in 1−1 correspondence with pairs(x, y) of positive rational numbers satisfying 0 < x < 2 and y2 =x3 − 4x+ 4.
So the problem is to find all rational points with x-coordinatebetween 0 and 2.
23
![Page 24: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/24.jpg)
Using magma:
Z:=Integers(); E:=EllipticCurve([-4,4]);
P:=E![2,2]; Albs:=@ @; upb:=30;
for n in [1..upb]
do Q:=n*P; c:=Q[1];
if c gt 0 and c lt 2
then a:=Abs(Q[2]); d:=Denominator(a);
a:=Z!(d*a); b:=Z!(d*(2-c)); c:=Z!(d*c);
g:=Gcd(Gcd(a,b),c);
Albs:=Albs join [a/g,b/g,c/g];
end if;
end for; Albs;
24
![Page 25: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/25.jpg)
25
![Page 26: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/26.jpg)
The group E(R) of real points on the elliptic curve
E : y2 = x3−4x+4 is a compact, connected topological group of
real dimension 1, so ∼= R/Z. And Z ·(2,2) is an infinite subgroup,
hence it is dense in E(R).
So infinitely many (c, a) ∈ Z · (2,2) ⊂ E(Q) exist with 0 < c < 2.
This explains van der Blij’s “deeper result”.
Not difficult: E(Q) = Z · (2,2).
26
![Page 27: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/27.jpg)
Explicitly, according to Abel-Jacobi:
T := z ∈ C∗ ; |z| = 1 ⊂ C∗ the circle group.
α := −3√
54+6√
333 − 4
3√54+6
√33≈ −2,382975767906 · · ·
the real root of x3 − 4x+ 4 = 0.
Ω := 2∫ ∞α
dx√x3 − 4x+ 4
.
27
![Page 28: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/28.jpg)
Theorem Ψ := e2πiϕ where
ϕ : (x, y) 7→ ϕ(x, y) :=
1Ω
∫ ∞x
dt√t3 − 4t+ 4
if y ≥ 0;
1− 1Ω
∫ ∞x
dt√t3 − 4t+ 4
if y ≤ 0.
defines an isomorphism of topological groups E(R) ∼= T.
Completely elementary proof: see Education & Communication
master’s thesis of H.B. Bakker, Groningen, 2012.
28
![Page 29: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/29.jpg)
Ψ−→
200Ω
∫ 2
0
dt√t3 − 4t+ 4
= 100Ω
∫ ∞0
dt√t3 − 4t+ 4
≈ 36.1208% of the
points in E(Q) = Z · (2,2) yield albime triangles.
Proof: consequence of H. Weyl’s equidistribution theorem (1909).
29
![Page 30: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/30.jpg)
10 years ago I explained this to van der Blij. His reaction (letter
dated May 7th, 2004):
. . . He continues with the announcement that he promised to
lecture about “Kletter-triangles” during the NWD in February
2005.
30
![Page 31: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/31.jpg)
Back to the 40’s and to Trigg.
Various properties of albime triangles appear in (National) Math-
ematics Magazine in 1940, in 1943, and in 1949.
Example: 1949, by the French mathematician Victor Thebault
(1882–1960): such a triangle is characterized by
sin(C) = ± tan(A) · cos(B)
(the sign depending on interior/exterior bisector).
31
![Page 32: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/32.jpg)
32
![Page 33: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/33.jpg)
Mathematics Magazine, 1971:
33
![Page 34: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/34.jpg)
In 1972 Mathematics Magazine publishes two solutions:
One by Charles Trigg (identical to his 1940 ‘solution’ (!) ), one
by Leon Bankoff.
And:
34
![Page 35: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/35.jpg)
Leon Bankoff (1908–1997) was a dentist in Beverly Hills for over
60 years.
35
![Page 36: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/36.jpg)
In 2011 Princeton University Press published a book containing
a chapter on Bankoff:
36
![Page 37: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/37.jpg)
Bankoff’s reasoning (1972):
. . . . . .
. . . . . .
(?!)37
![Page 38: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/38.jpg)
38
![Page 39: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/39.jpg)
Problem 238 is in Chapter 9: Complex Numbers.
So: integral sides and some angle has size a rational number (in
degrees), then this angle is 60 or 90 or 120.
Bankoff uses this without the condition “commensu-rable with a right angle” !
39
![Page 40: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/40.jpg)
Solution to Problem 238:
Given is an angle of πr radians, r ∈ Q.
(1) Integral sides plus law of cosines yield 2 cos(πr) ∈ Q.
(2) r rational implies Z[eπri] is free of finite rank over Z.
(3) As a consequence, so is Z[2 cos(πr)].
(1) and (3) imply that 2 cos(πr) ∈ Z, and the result follows.
40
![Page 41: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/41.jpg)
To date, Mathematics Magazine did not publish an erratum.
However, April 1991, in the Monthly:
41
![Page 42: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/42.jpg)
A letter to the editor of the magazine “Popular Mechanics”,
January 1960, by the same John P. Hoyt (1907–2002):
42
![Page 43: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/43.jpg)
The Problem Session of the Monthly never published a solutionto E3434. But, in 1995:
43
![Page 44: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/44.jpg)
Richard Guy, born in 1916.
Picture from May 2014, when Guy ascended the 802 stairs ofthe Calgary Tower twice in a row. . .
44
![Page 45: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/45.jpg)
From Guy’s Monthly paper, 1995:
Jim Mauldon (1920–2002): mathematician at Amherst College.
I do not know his solution.
45
![Page 46: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/46.jpg)
Guy does not explicitly present a solution to Hoyt’s problem,
although he explains (correctly, but mostly without proof) all
necessary ingredients.
This is 9 years before Van der Blij’s lectures on the subject.
Guy does not mention any older work on the subject, except
Hoyt’s Problem E3434.
Van der Blij was probably unaware of Guy’s paper, and of the
older work.
46
![Page 47: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/47.jpg)
Picture from Guy’s Monthly paper, 1995:
47
![Page 48: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/48.jpg)
Recent developments:
between his two lectures (2003, 2005), Van der Blij helped high
school student Tjitske Starkenburg with her “profielwerkstuk”
on the same topic.
48
![Page 49: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/49.jpg)
Tjitske is now a PhD student at the Kapteyn Astronomical In-
stitute, Groningen.
Her high school paper led to various awards:
University of Groningen Jan Kommandeur Prize 2005;
Third prize at the International Conference for Young Scientists
2005.
49
![Page 50: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/50.jpg)
In 2007 I discussed the solution during a mastermath course on
elliptic curves.
A student from that course, high school math teacher Marjanne
de Nijs, then used the problem in class (grade 10).
50
![Page 51: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/51.jpg)
Guy asserts in 1995:
In 2012 Erika Bakker (now a high school teacher) gave a com-pletely elementary proof of this.
51
![Page 52: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/52.jpg)
Van der Blij wrote to me (March 2005):
N.A. means ‘Nieuw Archief’; he suggested a joint paper. The
‘setup for a setup’ of such a paper I did not receive (but of course
the indicated time “after March 8th” is not over yet. . .)
52
![Page 53: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/53.jpg)
After 2012 and jointly with Jasbir Chahal (BYU, Provo) I wrote
a text, intended to be a supplement to Guy’s Monthly paper.
Report 1:
53
![Page 54: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/54.jpg)
Report 2:
. . . . . . . . . . . .
Report 3:
54
![Page 55: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/55.jpg)
Conclusion (Editorial Board, the Monthly):
October 2014:
Expositiones Mathematicae accepted our expository part;
Rocky Mountain Journal of Mathematics accepted the new part
(“twists”).
55
![Page 56: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/56.jpg)
Jasbir Chahal (November 2013)56
![Page 57: Albime triangles Jaap Top - University of Groningentop/lectures/Utrechtalbime.pdf · fact proven in the 11th century by Al-Mu’taman ibn H ud, King of Saragossa, in his Kitab al-Istikm](https://reader033.fdocuments.net/reader033/viewer/2022050108/5f4694445906c64e0c5c8660/html5/thumbnails/57.jpg)
The original wish by Van der Blij remains: a Dutch text on
“Kletter-triangles” in Nieuw Archief. . .
57