Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If two bisector of a triangular is equal, then it is Isosceles triangular.

share|cite|improve this question
What do you men by bisector of a triangular? – Abhijit Mar 25 '13 at 5:51
"If two bisectors of a triangle have equal length, then the triangle is isosceles?"? – alex.jordan Mar 25 '13 at 7:21

This is a famous Steiner-Lehmus problem

enter image description here


*This proof here is not right, this is the common mistake people do * Lets say $O$ is the concurring point of the bisectors.

∴ $O$ will be the Incentre and OE,OD will be In-radii. Thus equal.

∴ $BO = OC$ ( Subtracting $OE,OD$ from $CE$ & $BD$ )

∴ $\angle DBC = \angle ECB$

∴ $\angle ABC = \angle ACB $

∴$AB = AC$

But here, $OE$ and $OD$ will not be inradii. They are not even part of the in-circle(Unless you prove it)


If $AB=AC$, what can we say about the relationship between $BD$ and $CE$.

Observe that $\angle ABC =\angle ACB \implies \angle DBC = \angle ECB$, Thus $BD=CE$


enter image description here

There's theorem which says if $\angle ABC > \angle ACB$, then angle bisector of $\angle ABC$ < angle bisector of $\angle ACB$.

Proof: Since $\angle ABC > \angle ACB$, $\angle ABD> \angle ACE$. Let X be a point on line segment $AD$ such that $\angle XBD=\angle ACE$.

Now, $BD$ and $CE$ meet at $O$(Incentre). Let $BX$ meet $CE$ at $L$.

By construction $\triangle XBD$ and $\triangle XCL$ are similar.

Therefore, $\dfrac{BD}{CL}=\dfrac{BX}{CX}$

In $\triangle XBC$, we have $\angle XBC= \dfrac{\angle B}{2}+\dfrac{\angle C}{2}>+\dfrac{\angle C}{2}+\dfrac{\angle C}{2}=\angle XCB$

And hence $XC>BX$.

Therefore, we have $1<\dfrac{BX}{XC}=\dfrac{BD}{CL}$ or $BE<CL$. Hence, $BE<CL<CF$

share|cite|improve this answer
OE and OD are not inradii, they are segments on the bisectors. – zyx Mar 25 '13 at 21:25

This is the Steiner-Lehmus problem.

The most straightforward proofs use algebra or trigonometry to get a formula for the length of the bisector as a function of the sides of the triangle. Geometric proofs are more complicated and require the use of inequalities. If there is no explicit use of inequalities, the proof must rely on some assumption about the position of points in the diagram (such as whether they are inside the triangle or not) and this has led to some false proofs in which the assumption is wrong.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.