Find the length x such that the two distances in the triangle are the same
$begingroup$
I have been working on the following problem
Statement
Assume you have a right angle triangle $Delta ABC$ with cateti $a$, $b$ and hypotenuse $c = sqrt{a^2 + b^2}$. Find or construct a point $D$ on the hypothenuse such that the distance $|CD| = |DE|$, where $E$ is positioned on $AB$ in such a way that $DEparallel BC$ ($DE$ is parallel to $BC$).

Background
My background for wanting such a distance is that I want to create a semicircle from C onto the line $AB$. This can be made clearer in the image below

To be able to make sure the angles is right, I needed the red and blue line to be of same length. This lead to this problem
Solution
Using similar triangles one arrives at the three equations
$$
begin{align*}
frac{color{blue}{text{blue}}}{a - x} & = frac{b}{a} \
frac{color{red}{text{red}}}{x} & = frac{c}{a} \
color{red}{text{red}} & = color{blue}{text{blue}}
end{align*}
$$
Where one easily can solve for $color{blue}{text{blue}}$, $color{red}{text{red}}$, $x$.
Question
I feel my solution is quite barbaric and I feel that there is a better way to solve this problem. Is there another shorter, better, more intuitive solution. Or perhaps there exists a a way to construct the point $D$ in a simpler matter?
geometry triangles geometric-construction congruences-geometry
$endgroup$
add a comment |
$begingroup$
I have been working on the following problem
Statement
Assume you have a right angle triangle $Delta ABC$ with cateti $a$, $b$ and hypotenuse $c = sqrt{a^2 + b^2}$. Find or construct a point $D$ on the hypothenuse such that the distance $|CD| = |DE|$, where $E$ is positioned on $AB$ in such a way that $DEparallel BC$ ($DE$ is parallel to $BC$).

Background
My background for wanting such a distance is that I want to create a semicircle from C onto the line $AB$. This can be made clearer in the image below

To be able to make sure the angles is right, I needed the red and blue line to be of same length. This lead to this problem
Solution
Using similar triangles one arrives at the three equations
$$
begin{align*}
frac{color{blue}{text{blue}}}{a - x} & = frac{b}{a} \
frac{color{red}{text{red}}}{x} & = frac{c}{a} \
color{red}{text{red}} & = color{blue}{text{blue}}
end{align*}
$$
Where one easily can solve for $color{blue}{text{blue}}$, $color{red}{text{red}}$, $x$.
Question
I feel my solution is quite barbaric and I feel that there is a better way to solve this problem. Is there another shorter, better, more intuitive solution. Or perhaps there exists a a way to construct the point $D$ in a simpler matter?
geometry triangles geometric-construction congruences-geometry
$endgroup$
1
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
1
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago
add a comment |
$begingroup$
I have been working on the following problem
Statement
Assume you have a right angle triangle $Delta ABC$ with cateti $a$, $b$ and hypotenuse $c = sqrt{a^2 + b^2}$. Find or construct a point $D$ on the hypothenuse such that the distance $|CD| = |DE|$, where $E$ is positioned on $AB$ in such a way that $DEparallel BC$ ($DE$ is parallel to $BC$).

Background
My background for wanting such a distance is that I want to create a semicircle from C onto the line $AB$. This can be made clearer in the image below

To be able to make sure the angles is right, I needed the red and blue line to be of same length. This lead to this problem
Solution
Using similar triangles one arrives at the three equations
$$
begin{align*}
frac{color{blue}{text{blue}}}{a - x} & = frac{b}{a} \
frac{color{red}{text{red}}}{x} & = frac{c}{a} \
color{red}{text{red}} & = color{blue}{text{blue}}
end{align*}
$$
Where one easily can solve for $color{blue}{text{blue}}$, $color{red}{text{red}}$, $x$.
Question
I feel my solution is quite barbaric and I feel that there is a better way to solve this problem. Is there another shorter, better, more intuitive solution. Or perhaps there exists a a way to construct the point $D$ in a simpler matter?
geometry triangles geometric-construction congruences-geometry
$endgroup$
I have been working on the following problem
Statement
Assume you have a right angle triangle $Delta ABC$ with cateti $a$, $b$ and hypotenuse $c = sqrt{a^2 + b^2}$. Find or construct a point $D$ on the hypothenuse such that the distance $|CD| = |DE|$, where $E$ is positioned on $AB$ in such a way that $DEparallel BC$ ($DE$ is parallel to $BC$).

Background
My background for wanting such a distance is that I want to create a semicircle from C onto the line $AB$. This can be made clearer in the image below

To be able to make sure the angles is right, I needed the red and blue line to be of same length. This lead to this problem
Solution
Using similar triangles one arrives at the three equations
$$
begin{align*}
frac{color{blue}{text{blue}}}{a - x} & = frac{b}{a} \
frac{color{red}{text{red}}}{x} & = frac{c}{a} \
color{red}{text{red}} & = color{blue}{text{blue}}
end{align*}
$$
Where one easily can solve for $color{blue}{text{blue}}$, $color{red}{text{red}}$, $x$.
Question
I feel my solution is quite barbaric and I feel that there is a better way to solve this problem. Is there another shorter, better, more intuitive solution. Or perhaps there exists a a way to construct the point $D$ in a simpler matter?
geometry triangles geometric-construction congruences-geometry
geometry triangles geometric-construction congruences-geometry
edited 4 hours ago
N3buchadnezzar
asked 4 hours ago
N3buchadnezzarN3buchadnezzar
6,04233475
6,04233475
1
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
1
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago
add a comment |
1
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
1
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago
1
1
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
1
1
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$

Let the angle bisector of $angle ACB$ intersect side $overline{AB}$ at point $E$.
Let the measure of $angle ACB$ be $alpha$.
Then $m angle DCE = dfrac{alpha}{2}$.
Let the line perpendicular to side $overline{AB}$ at point $E$ intersect side
$overline{AC}$ at point $D$.
Since $overline{ED}$ is parallel to $overline{BC}$, then
$angle ADE cong angle ACB$
By the exterior angle theorem, $mangle DEC = dfrac{alpha}{2}$.
Hence $triangle EDC$ is isoceles.
So $CD = DE$.
$endgroup$
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
add a comment |
$begingroup$
The curve that traces out the points that are equidistant to $C$ and the line extension of $AB$ is a parabola with focus $C$ and directrix $AB$.
Choosing a convenient coordinate system (parallel to $AB$ with $B$ as the origin), I get the equation $y = frac{x^2}{2b} + frac{b}{2}$, which you want to intersect with the line $y = frac{b}{a}x + b$.
Solving, I get that the point $D$ has $(x,y)$ coordinates of $x = frac{b(b - c)}{a}$ and $y = frac{bc(c - b)}{a^2}$.
$endgroup$
add a comment |
$begingroup$
Let $$CD=DE=y$$ then we get $$frac{b}{c}=frac{y}{c-y}$$ so $$y=frac{bc}{b+c}$$
$endgroup$
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
add a comment |
$begingroup$
Not sure if this is less barbaric but using simple trig: $DE=(a-x)tan A$, $DC=frac{x}{cos A}$ so the equation to solve is $$(a-x)frac{b}{a}=frac{xsqrt{a^2+b^2}}{a}$$ or $$x=frac{ab}{sqrt{a^2+b^2}+b}$$
Just another idea to construct point $E$: since $triangle{DCE}$ is isosceles, it's easy to find $angle{ACE}=(90°-A)/2$
$endgroup$
add a comment |
Your Answer
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%2f3191278%2ffind-the-length-x-such-that-the-two-distances-in-the-triangle-are-the-same%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$

Let the angle bisector of $angle ACB$ intersect side $overline{AB}$ at point $E$.
Let the measure of $angle ACB$ be $alpha$.
Then $m angle DCE = dfrac{alpha}{2}$.
Let the line perpendicular to side $overline{AB}$ at point $E$ intersect side
$overline{AC}$ at point $D$.
Since $overline{ED}$ is parallel to $overline{BC}$, then
$angle ADE cong angle ACB$
By the exterior angle theorem, $mangle DEC = dfrac{alpha}{2}$.
Hence $triangle EDC$ is isoceles.
So $CD = DE$.
$endgroup$
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
add a comment |
$begingroup$

Let the angle bisector of $angle ACB$ intersect side $overline{AB}$ at point $E$.
Let the measure of $angle ACB$ be $alpha$.
Then $m angle DCE = dfrac{alpha}{2}$.
Let the line perpendicular to side $overline{AB}$ at point $E$ intersect side
$overline{AC}$ at point $D$.
Since $overline{ED}$ is parallel to $overline{BC}$, then
$angle ADE cong angle ACB$
By the exterior angle theorem, $mangle DEC = dfrac{alpha}{2}$.
Hence $triangle EDC$ is isoceles.
So $CD = DE$.
$endgroup$
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
add a comment |
$begingroup$

Let the angle bisector of $angle ACB$ intersect side $overline{AB}$ at point $E$.
Let the measure of $angle ACB$ be $alpha$.
Then $m angle DCE = dfrac{alpha}{2}$.
Let the line perpendicular to side $overline{AB}$ at point $E$ intersect side
$overline{AC}$ at point $D$.
Since $overline{ED}$ is parallel to $overline{BC}$, then
$angle ADE cong angle ACB$
By the exterior angle theorem, $mangle DEC = dfrac{alpha}{2}$.
Hence $triangle EDC$ is isoceles.
So $CD = DE$.
$endgroup$

Let the angle bisector of $angle ACB$ intersect side $overline{AB}$ at point $E$.
Let the measure of $angle ACB$ be $alpha$.
Then $m angle DCE = dfrac{alpha}{2}$.
Let the line perpendicular to side $overline{AB}$ at point $E$ intersect side
$overline{AC}$ at point $D$.
Since $overline{ED}$ is parallel to $overline{BC}$, then
$angle ADE cong angle ACB$
By the exterior angle theorem, $mangle DEC = dfrac{alpha}{2}$.
Hence $triangle EDC$ is isoceles.
So $CD = DE$.
answered 3 hours ago
steven gregorysteven gregory
18.5k32359
18.5k32359
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
add a comment |
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
$begingroup$
This is exactly what I was looking for =)
$endgroup$
– N3buchadnezzar
2 hours ago
add a comment |
$begingroup$
The curve that traces out the points that are equidistant to $C$ and the line extension of $AB$ is a parabola with focus $C$ and directrix $AB$.
Choosing a convenient coordinate system (parallel to $AB$ with $B$ as the origin), I get the equation $y = frac{x^2}{2b} + frac{b}{2}$, which you want to intersect with the line $y = frac{b}{a}x + b$.
Solving, I get that the point $D$ has $(x,y)$ coordinates of $x = frac{b(b - c)}{a}$ and $y = frac{bc(c - b)}{a^2}$.
$endgroup$
add a comment |
$begingroup$
The curve that traces out the points that are equidistant to $C$ and the line extension of $AB$ is a parabola with focus $C$ and directrix $AB$.
Choosing a convenient coordinate system (parallel to $AB$ with $B$ as the origin), I get the equation $y = frac{x^2}{2b} + frac{b}{2}$, which you want to intersect with the line $y = frac{b}{a}x + b$.
Solving, I get that the point $D$ has $(x,y)$ coordinates of $x = frac{b(b - c)}{a}$ and $y = frac{bc(c - b)}{a^2}$.
$endgroup$
add a comment |
$begingroup$
The curve that traces out the points that are equidistant to $C$ and the line extension of $AB$ is a parabola with focus $C$ and directrix $AB$.
Choosing a convenient coordinate system (parallel to $AB$ with $B$ as the origin), I get the equation $y = frac{x^2}{2b} + frac{b}{2}$, which you want to intersect with the line $y = frac{b}{a}x + b$.
Solving, I get that the point $D$ has $(x,y)$ coordinates of $x = frac{b(b - c)}{a}$ and $y = frac{bc(c - b)}{a^2}$.
$endgroup$
The curve that traces out the points that are equidistant to $C$ and the line extension of $AB$ is a parabola with focus $C$ and directrix $AB$.
Choosing a convenient coordinate system (parallel to $AB$ with $B$ as the origin), I get the equation $y = frac{x^2}{2b} + frac{b}{2}$, which you want to intersect with the line $y = frac{b}{a}x + b$.
Solving, I get that the point $D$ has $(x,y)$ coordinates of $x = frac{b(b - c)}{a}$ and $y = frac{bc(c - b)}{a^2}$.
answered 3 hours ago
Michael BiroMichael Biro
11.7k21831
11.7k21831
add a comment |
add a comment |
$begingroup$
Let $$CD=DE=y$$ then we get $$frac{b}{c}=frac{y}{c-y}$$ so $$y=frac{bc}{b+c}$$
$endgroup$
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
add a comment |
$begingroup$
Let $$CD=DE=y$$ then we get $$frac{b}{c}=frac{y}{c-y}$$ so $$y=frac{bc}{b+c}$$
$endgroup$
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
add a comment |
$begingroup$
Let $$CD=DE=y$$ then we get $$frac{b}{c}=frac{y}{c-y}$$ so $$y=frac{bc}{b+c}$$
$endgroup$
Let $$CD=DE=y$$ then we get $$frac{b}{c}=frac{y}{c-y}$$ so $$y=frac{bc}{b+c}$$
edited 3 hours ago
answered 3 hours ago
Dr. Sonnhard GraubnerDr. Sonnhard Graubner
79.1k42867
79.1k42867
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
add a comment |
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
$begingroup$
I don't think those are the correct proportions. You should get something like $frac{a}{b} = frac{sqrt{y^2 - (b-y)^2}}{b-y}$
$endgroup$
– Michael Biro
3 hours ago
add a comment |
$begingroup$
Not sure if this is less barbaric but using simple trig: $DE=(a-x)tan A$, $DC=frac{x}{cos A}$ so the equation to solve is $$(a-x)frac{b}{a}=frac{xsqrt{a^2+b^2}}{a}$$ or $$x=frac{ab}{sqrt{a^2+b^2}+b}$$
Just another idea to construct point $E$: since $triangle{DCE}$ is isosceles, it's easy to find $angle{ACE}=(90°-A)/2$
$endgroup$
add a comment |
$begingroup$
Not sure if this is less barbaric but using simple trig: $DE=(a-x)tan A$, $DC=frac{x}{cos A}$ so the equation to solve is $$(a-x)frac{b}{a}=frac{xsqrt{a^2+b^2}}{a}$$ or $$x=frac{ab}{sqrt{a^2+b^2}+b}$$
Just another idea to construct point $E$: since $triangle{DCE}$ is isosceles, it's easy to find $angle{ACE}=(90°-A)/2$
$endgroup$
add a comment |
$begingroup$
Not sure if this is less barbaric but using simple trig: $DE=(a-x)tan A$, $DC=frac{x}{cos A}$ so the equation to solve is $$(a-x)frac{b}{a}=frac{xsqrt{a^2+b^2}}{a}$$ or $$x=frac{ab}{sqrt{a^2+b^2}+b}$$
Just another idea to construct point $E$: since $triangle{DCE}$ is isosceles, it's easy to find $angle{ACE}=(90°-A)/2$
$endgroup$
Not sure if this is less barbaric but using simple trig: $DE=(a-x)tan A$, $DC=frac{x}{cos A}$ so the equation to solve is $$(a-x)frac{b}{a}=frac{xsqrt{a^2+b^2}}{a}$$ or $$x=frac{ab}{sqrt{a^2+b^2}+b}$$
Just another idea to construct point $E$: since $triangle{DCE}$ is isosceles, it's easy to find $angle{ACE}=(90°-A)/2$
edited 3 hours ago
answered 3 hours ago
VasyaVasya
4,5091618
4,5091618
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%2f3191278%2ffind-the-length-x-such-that-the-two-distances-in-the-triangle-are-the-same%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
1
$begingroup$
You still have not described what $F$ is either from the statement or from the graph.
$endgroup$
– Hw Chu
4 hours ago
$begingroup$
Right when I said $F$ i meant $E$. I will fix it in the problem statement =)
$endgroup$
– N3buchadnezzar
4 hours ago
$begingroup$
cateti is Italian for legs
$endgroup$
– J. W. Tanner
3 hours ago
1
$begingroup$
Your system of equations very quickly and easily simplifies to $x=ab/(b+c).$ That does not seem too ugly. But the half-angle method also works. In fact, your problem is a nice way to derive at least one of the half-angle formulas for the tangent function!
$endgroup$
– David K
28 mins ago