Compass and straightedge construction of a square of an arbitrary line segment
$begingroup$
If I have some arbitrary length line $AB$ and a unit length line $CD$, how can I construct a line whose length is equal to the square of the length of line $AB$ using a compass and a straightedge?
geometry geometric-construction
$endgroup$
add a comment |
$begingroup$
If I have some arbitrary length line $AB$ and a unit length line $CD$, how can I construct a line whose length is equal to the square of the length of line $AB$ using a compass and a straightedge?
geometry geometric-construction
$endgroup$
3
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52
add a comment |
$begingroup$
If I have some arbitrary length line $AB$ and a unit length line $CD$, how can I construct a line whose length is equal to the square of the length of line $AB$ using a compass and a straightedge?
geometry geometric-construction
$endgroup$
If I have some arbitrary length line $AB$ and a unit length line $CD$, how can I construct a line whose length is equal to the square of the length of line $AB$ using a compass and a straightedge?
geometry geometric-construction
geometry geometric-construction
asked Jun 24 '18 at 11:37


JanekmuricJanekmuric
92211
92211
3
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52
add a comment |
3
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52
3
3
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
It is assumed that the simple way to erect a normal at the end of a line segment by Ruler & Compass is already known.
Construct or place the line segments $CD,AP$ as perpendicular straight lines making points $D,A$ to coincide.
Join $CP$ and construct its perpendicular line $PB$ cutting extended line $CD$ at $B$.
Construct a circle $PCQB$ with $CB$ as diameter, mark the the center point of $CB$ as $O,$ center of circle for reference.
By constant product of line segments in a Circle $$ CDcdot AB = AP^2.$$ From this theorem we obtain the straight line segment required as $AB$
since
$$AP=AQ=c, ,CD=1,,$$
and so it follows
$$ AB=c^2.$$
$endgroup$
add a comment |
$begingroup$
Here's the more general construction for the product of two given lengths. On the sides of an angle of vertex $O$ construct points $A$ and $B$ such that $OA$ and $OB$ are the segments you want to multiply. On side $OB$ construct point $U$ such that $OU=1$. Let then $C$ be the intersection of side $OA$ with the line through $B$, parallel to $AU$. The similarity of triangles $OUA$ and $OBC$ gives then
$$
OA:OU=OC:OB,
quadtext{that is:}quad
OC=OAcdot OB.
$$
$endgroup$
add a comment |
$begingroup$
Here's yet another construction, in the spirit of Narasimham's answer but with the generality of Aretino's, in that it allows you to construct a segment whose length is the product of any two segments:
Suppose you have two segments of length $a$ and $b$, and a unit-length segment. Choose any point $P$ and draw segments $AP$, $BP$, and $CP$ so that $A,P,B$ are collinear with $P$ between $A$ and $B$, and such that $|AP|=a$, $|BP|=b$, and $|CP|=1$. (See figure.)
Now, construct the circumcircle of triangle $ABC$. This can be done by constructing the perpendicular bisectors of any two of the triangle's sides; they meet at the circumcenter. (See figure.)
Now extend $CP$ until it reaches the other side of the circle at point $D$. Then $CPcdot DP = AP cdot BP$ implies that $DP = ab$. (See figure.)
Narasimham's answer is just a special case of this in which $a=b$ and in which the initial segments $AB$ and $PC$ are constructed to be perpendicular, neither of which is really necessary to make the argument work.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2830253%2fcompass-and-straightedge-construction-of-a-square-of-an-arbitrary-line-segment%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It is assumed that the simple way to erect a normal at the end of a line segment by Ruler & Compass is already known.
Construct or place the line segments $CD,AP$ as perpendicular straight lines making points $D,A$ to coincide.
Join $CP$ and construct its perpendicular line $PB$ cutting extended line $CD$ at $B$.
Construct a circle $PCQB$ with $CB$ as diameter, mark the the center point of $CB$ as $O,$ center of circle for reference.
By constant product of line segments in a Circle $$ CDcdot AB = AP^2.$$ From this theorem we obtain the straight line segment required as $AB$
since
$$AP=AQ=c, ,CD=1,,$$
and so it follows
$$ AB=c^2.$$
$endgroup$
add a comment |
$begingroup$
It is assumed that the simple way to erect a normal at the end of a line segment by Ruler & Compass is already known.
Construct or place the line segments $CD,AP$ as perpendicular straight lines making points $D,A$ to coincide.
Join $CP$ and construct its perpendicular line $PB$ cutting extended line $CD$ at $B$.
Construct a circle $PCQB$ with $CB$ as diameter, mark the the center point of $CB$ as $O,$ center of circle for reference.
By constant product of line segments in a Circle $$ CDcdot AB = AP^2.$$ From this theorem we obtain the straight line segment required as $AB$
since
$$AP=AQ=c, ,CD=1,,$$
and so it follows
$$ AB=c^2.$$
$endgroup$
add a comment |
$begingroup$
It is assumed that the simple way to erect a normal at the end of a line segment by Ruler & Compass is already known.
Construct or place the line segments $CD,AP$ as perpendicular straight lines making points $D,A$ to coincide.
Join $CP$ and construct its perpendicular line $PB$ cutting extended line $CD$ at $B$.
Construct a circle $PCQB$ with $CB$ as diameter, mark the the center point of $CB$ as $O,$ center of circle for reference.
By constant product of line segments in a Circle $$ CDcdot AB = AP^2.$$ From this theorem we obtain the straight line segment required as $AB$
since
$$AP=AQ=c, ,CD=1,,$$
and so it follows
$$ AB=c^2.$$
$endgroup$
It is assumed that the simple way to erect a normal at the end of a line segment by Ruler & Compass is already known.
Construct or place the line segments $CD,AP$ as perpendicular straight lines making points $D,A$ to coincide.
Join $CP$ and construct its perpendicular line $PB$ cutting extended line $CD$ at $B$.
Construct a circle $PCQB$ with $CB$ as diameter, mark the the center point of $CB$ as $O,$ center of circle for reference.
By constant product of line segments in a Circle $$ CDcdot AB = AP^2.$$ From this theorem we obtain the straight line segment required as $AB$
since
$$AP=AQ=c, ,CD=1,,$$
and so it follows
$$ AB=c^2.$$
edited Jan 15 at 9:29
answered Jun 24 '18 at 20:22


NarasimhamNarasimham
20.8k52158
20.8k52158
add a comment |
add a comment |
$begingroup$
Here's the more general construction for the product of two given lengths. On the sides of an angle of vertex $O$ construct points $A$ and $B$ such that $OA$ and $OB$ are the segments you want to multiply. On side $OB$ construct point $U$ such that $OU=1$. Let then $C$ be the intersection of side $OA$ with the line through $B$, parallel to $AU$. The similarity of triangles $OUA$ and $OBC$ gives then
$$
OA:OU=OC:OB,
quadtext{that is:}quad
OC=OAcdot OB.
$$
$endgroup$
add a comment |
$begingroup$
Here's the more general construction for the product of two given lengths. On the sides of an angle of vertex $O$ construct points $A$ and $B$ such that $OA$ and $OB$ are the segments you want to multiply. On side $OB$ construct point $U$ such that $OU=1$. Let then $C$ be the intersection of side $OA$ with the line through $B$, parallel to $AU$. The similarity of triangles $OUA$ and $OBC$ gives then
$$
OA:OU=OC:OB,
quadtext{that is:}quad
OC=OAcdot OB.
$$
$endgroup$
add a comment |
$begingroup$
Here's the more general construction for the product of two given lengths. On the sides of an angle of vertex $O$ construct points $A$ and $B$ such that $OA$ and $OB$ are the segments you want to multiply. On side $OB$ construct point $U$ such that $OU=1$. Let then $C$ be the intersection of side $OA$ with the line through $B$, parallel to $AU$. The similarity of triangles $OUA$ and $OBC$ gives then
$$
OA:OU=OC:OB,
quadtext{that is:}quad
OC=OAcdot OB.
$$
$endgroup$
Here's the more general construction for the product of two given lengths. On the sides of an angle of vertex $O$ construct points $A$ and $B$ such that $OA$ and $OB$ are the segments you want to multiply. On side $OB$ construct point $U$ such that $OU=1$. Let then $C$ be the intersection of side $OA$ with the line through $B$, parallel to $AU$. The similarity of triangles $OUA$ and $OBC$ gives then
$$
OA:OU=OC:OB,
quadtext{that is:}quad
OC=OAcdot OB.
$$
answered Jun 24 '18 at 21:01


AretinoAretino
23.7k21443
23.7k21443
add a comment |
add a comment |
$begingroup$
Here's yet another construction, in the spirit of Narasimham's answer but with the generality of Aretino's, in that it allows you to construct a segment whose length is the product of any two segments:
Suppose you have two segments of length $a$ and $b$, and a unit-length segment. Choose any point $P$ and draw segments $AP$, $BP$, and $CP$ so that $A,P,B$ are collinear with $P$ between $A$ and $B$, and such that $|AP|=a$, $|BP|=b$, and $|CP|=1$. (See figure.)
Now, construct the circumcircle of triangle $ABC$. This can be done by constructing the perpendicular bisectors of any two of the triangle's sides; they meet at the circumcenter. (See figure.)
Now extend $CP$ until it reaches the other side of the circle at point $D$. Then $CPcdot DP = AP cdot BP$ implies that $DP = ab$. (See figure.)
Narasimham's answer is just a special case of this in which $a=b$ and in which the initial segments $AB$ and $PC$ are constructed to be perpendicular, neither of which is really necessary to make the argument work.
$endgroup$
add a comment |
$begingroup$
Here's yet another construction, in the spirit of Narasimham's answer but with the generality of Aretino's, in that it allows you to construct a segment whose length is the product of any two segments:
Suppose you have two segments of length $a$ and $b$, and a unit-length segment. Choose any point $P$ and draw segments $AP$, $BP$, and $CP$ so that $A,P,B$ are collinear with $P$ between $A$ and $B$, and such that $|AP|=a$, $|BP|=b$, and $|CP|=1$. (See figure.)
Now, construct the circumcircle of triangle $ABC$. This can be done by constructing the perpendicular bisectors of any two of the triangle's sides; they meet at the circumcenter. (See figure.)
Now extend $CP$ until it reaches the other side of the circle at point $D$. Then $CPcdot DP = AP cdot BP$ implies that $DP = ab$. (See figure.)
Narasimham's answer is just a special case of this in which $a=b$ and in which the initial segments $AB$ and $PC$ are constructed to be perpendicular, neither of which is really necessary to make the argument work.
$endgroup$
add a comment |
$begingroup$
Here's yet another construction, in the spirit of Narasimham's answer but with the generality of Aretino's, in that it allows you to construct a segment whose length is the product of any two segments:
Suppose you have two segments of length $a$ and $b$, and a unit-length segment. Choose any point $P$ and draw segments $AP$, $BP$, and $CP$ so that $A,P,B$ are collinear with $P$ between $A$ and $B$, and such that $|AP|=a$, $|BP|=b$, and $|CP|=1$. (See figure.)
Now, construct the circumcircle of triangle $ABC$. This can be done by constructing the perpendicular bisectors of any two of the triangle's sides; they meet at the circumcenter. (See figure.)
Now extend $CP$ until it reaches the other side of the circle at point $D$. Then $CPcdot DP = AP cdot BP$ implies that $DP = ab$. (See figure.)
Narasimham's answer is just a special case of this in which $a=b$ and in which the initial segments $AB$ and $PC$ are constructed to be perpendicular, neither of which is really necessary to make the argument work.
$endgroup$
Here's yet another construction, in the spirit of Narasimham's answer but with the generality of Aretino's, in that it allows you to construct a segment whose length is the product of any two segments:
Suppose you have two segments of length $a$ and $b$, and a unit-length segment. Choose any point $P$ and draw segments $AP$, $BP$, and $CP$ so that $A,P,B$ are collinear with $P$ between $A$ and $B$, and such that $|AP|=a$, $|BP|=b$, and $|CP|=1$. (See figure.)
Now, construct the circumcircle of triangle $ABC$. This can be done by constructing the perpendicular bisectors of any two of the triangle's sides; they meet at the circumcenter. (See figure.)
Now extend $CP$ until it reaches the other side of the circle at point $D$. Then $CPcdot DP = AP cdot BP$ implies that $DP = ab$. (See figure.)
Narasimham's answer is just a special case of this in which $a=b$ and in which the initial segments $AB$ and $PC$ are constructed to be perpendicular, neither of which is really necessary to make the argument work.
answered Jun 24 '18 at 21:23


mweissmweiss
17.6k23370
17.6k23370
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2830253%2fcompass-and-straightedge-construction-of-a-square-of-an-arbitrary-line-segment%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
$begingroup$
Hint: $frac{a}{1}=frac{x}{a}$. Also, as a matter of terminology, $AB$ and $CD$ are line segments.
$endgroup$
– Lozenges
Jun 24 '18 at 11:52