# Geometric proof for the half angle tangent

Using the fact that the angle bisector of the below triangle splits the opposite side in the same proportion as the adjacents sides, I need to give a geometric proof of the half-angle tangent (tan(beta/2) = sin(beta)/(1 + cos(beta))).

This is what I’ve done so far:

I tried to write the sides "a" and "c" in terms of b1 and b2 using the Pythagoras Theorem and the relations of sin and cos. After a lot of manipulation, I ended up with tan(Beta/2) = (sen(Beta)* b2ˆ2 * cos(Beta))/(b1 + b2). But this is certainly wrong.

Any hints on how to proceed?

Mathematics Asked by brazilian_student on November 12, 2021

Any fraction can as per a rule of fractions be algebraically also written to form an identity taking sum/difference of numerator and denominator separately with or without a common multiplier. Using this rule

$$frac{p}{q}=frac{r}{s}=frac{ap+br}{aq+bs}$$ $$tan beta/2=frac{b_1}{a}=frac{b_2}{c}=frac{b_1+b_2}{a+c}=frac{b}{a+c}=frac{b/c}{a/c+1}=frac{sinbeta}{cosbeta+1}.$$

Answered by Narasimham on November 12, 2021

Since $$dfrac{b_1}{a}=dfrac{b_2}{c}$$ and $$b_1+b_2=b$$, we have $$tan(beta/2)=frac{b_1}{a}=frac{b}{a+c}=frac{(b/c)}{(a/c)+1}=frac{sinbeta}{cosbeta+1}.$$

Answered by user10354138 on November 12, 2021

Hint

If $$frac{b_1}{a}=frac{b_2}{c}$$ then $$frac{b_1}{a}=frac{b_2}{c}=frac{b_1+b_2}{a+c}$$

Answered by N. S. on November 12, 2021

## Related Questions

### Is QR factorization continuous?

0  Asked on October 19, 2020 by ludvigh

### The cardinality of fibers of quasi-finite morphism is locally constant (The open-ness of proper locus)

0  Asked on October 19, 2020 by zom

### Interesting and unexpected applications of $pi$

30  Asked on October 19, 2020 by mct

### Show that $(G, +, 0)$ and $(H, +, 0_{2×2})$ are abelian groups.

2  Asked on October 18, 2020 by topologicalking

### Show that for any $n$, $sum_{k=0}^infty frac{1}{3^k}binom{n+k log(3)/log(2)}{k}=c 2^n$ for some constant $c$

2  Asked on October 15, 2020

### If $frac{a}{b}$ is irreducible, then the quotient of the product of any $2$ factors of $a$ and any $2$ factors of $b$ are irreducible.

3  Asked on October 15, 2020 by simplex1

### cell structure of $S^2times S^2$ with $S^2times {p}$ identified to a point

1  Asked on October 15, 2020 by user830531

### How does strong convexity behave under Minkowski sums?

1  Asked on October 14, 2020 by daron

### Miscellaneous Problem Chapter I ex.22 on G.H.Hardy’s book “A course of pure mathematics”

0  Asked on October 14, 2020 by saul-rojas

### Must a series converge after a finite number of ‘césaro mean’ applications if it does after infinitely many.

0  Asked on October 14, 2020 by oddly-asymmetric

### Why am I getting derivative of $y = 1/x$ function as $0$?

4  Asked on October 13, 2020 by dhruv-agarwal

### How to determine the span of two vectors: $(4,2)$ and $(1, 3)$

4  Asked on October 13, 2020 by doctor-reality

### Putnam 2018 – Exercise A.5 – proof check

0  Asked on October 11, 2020 by dfnu

### Difference of Consecutive Terms in a Recurrence Sequence

1  Asked on October 10, 2020 by thomasmart

### Proof verification: Baby Rudin Chapter 4 Exercise 8

1  Asked on October 10, 2020 by ricky_nelson

### Mixture Problem help

1  Asked on October 9, 2020 by gi2302

### Substituting large values of $n$ into Stirling’s formula, given the outcomes of other $n$ values

1  Asked on October 9, 2020 by subbota

### Kernel of $k[a,b]to k[r^3,r^4], ;;f(a,b)mapsto f(r^3,r^4)$

1  Asked on October 9, 2020 by michael-morrow

### How far can an $N$-fermion wavefunction be from the nearest Slater determinant?

2  Asked on October 8, 2020

### Can you place any variable in a function, and will it remain the same function?

1  Asked on October 8, 2020 by nx37b