Inscribing Equilateral Triangle inside Square with a Coincident Vertex/Mistake

== Source Work ==
: 
:The Puzzles:
::Abul Wafa (): $38$
:::Solution
== Mistake ==
: gave five different solutions. Here are three of them. ...
:... Join $B$ to the midpoint, $M$, of $DC$. Draw an arc with centre $B$ and radius $BA$ to cut $BM$ at $N$. Let $DN$ cut $CB$ at $H$. Then $H$ is one of the vertices sought.
:
== Correction ==
The construction is incorrect.
$DH$ is shorter than $GH$.
Let $\Box ABCD$ be embedded in a Cartesian plane such that:
By Equation of Straight Line in Plane and some algebra, the equation for the straight line $MB$ is:
:$(1): \quad y = 2 \paren {a - x}$
By Equation of Circle in Cartesian Plane and some algebra, the equation for the circle with center at $B$ and radius $a$ is:
:$(2): \quad y^2 = 2 a x - x^2$
Hence their point of intersection $M$ is found by solving the simultaneous equations $(1)$ and $(2)$:
We are interested in the negative square root in this expression, as the positive square root corresponds to the point on $BM$ for negative $y$.
Thus we have:
Thus we can calculate the tangent of $\angle CDH$:
But from Tangent of 15 Degrees:
:$\tan 15 \degrees = 2 - \sqrt 3$
So:
:$\angle CDH \ne \tan 15 \degrees$
(in fact it is about $10.8 \degrees$).
Hence from Inscribing Equilateral Triangle inside Square with a Coincident Vertex: Lemma:
:$\triangle DGH$ is not an equilateral triangle.
It appears that this mistake originates with , in his .
This construction cannot be found in 's work , from which claims to have sourced it.
It also appears that it may not have been the case that actually gave five different solutions.
 seems to have got his material from 's , as stated above, but that work does not contain any such constructions for this result.
It is not clear where actually got the information about those $5$ constructions, but it certainly was not from .
's work, in section $8$ of chapter $3$, entitled Geometry with a Rusty Compass, features five problems from 's on pp. $107$ - $111$. They are:
: To construct at the endpoint $A$ of a segment $AB$ a perpendicular to that segment, without prolonging the segment beyond $A$.
: To divide a line segment into any number of equal parts.
: To bisect a given angle.
: To construct a square in a given circle.
: To construct in a given circle a regular pentagon with a compass opening equal to the radius of the circle.
At the end he adds:
:Abū al-Wafā's treatise contains a wealth of beautiful constructions for regular $n$gons, including exact constructions for $n = 3, 4, 5, 6, 8, 10$. It also gives a verging construction for $n = 9$ which goes back to Archimedes and the approximation for $n = 7$ that gives the side of a regular heptagon in a circle as equal to half the side of an inscribed equilateral triangle.
Some of these do appear in 's (numbers $43$, $44$ and $45$), but apparently he does not include $38$ or several others. Nor does it appear as an exercise to the chapter $3$, or in chapter $5$ on trigonometry, where Abū al-Wafā is also featured.
Presumably, Wells got the missing ones from somewhere, perhaps even directly from , but he does not say.
== Sources ==
* 
* : Abul Wafa (): $38$
Category:Mistakes/Curious and Interesting Puzzles