Beautiful.. I'll trick my friends with this..ahhahahahaha
Lol
–
Jun Arro Estrella
·
1 year, 4 months ago

Log in to reply

Given that the abstract says

We offer a survey of some lesser known or new trigonometric proofs of the Steiner-Lehmus theorem.

It is not surprising that the proofs are more convoluted.

I believe that your proof is pretty standard for this result.
–
Calvin Lin
Staff
·
1 year, 4 months ago

Log in to reply

@Calvin Lin
–
Can you link me any proof similar to mine ? By the way, I edited the link in the post to a much larger repository of Steiner Lehmus proofs.
–
Karthik Venkata
·
1 year, 4 months ago

@Abhinav Raichur
–
Thanks for pointing it out, it is indeed using the same area decomposition technique. Yet, it doesn't really exploit the direct expression for angle bisector length.
–
Karthik Venkata
·
1 year, 4 months ago

Log in to reply

It somehow reminds me of Cotangent Rule :P
–
Nihar Mahajan
·
1 year, 4 months ago

Log in to reply

@Nihar Mahajan
–
Hmmm not exactly. Cotagent rule relates \( \theta_{1} \) and \( \theta_{2} \) with \( \overline{BD} \) and \( \overline{CD} \).
–
Karthik Venkata
·
1 year, 4 months ago

## Comments

Sort by:

TopNewestBeautiful.. I'll trick my friends with this..ahhahahahaha Lol – Jun Arro Estrella · 1 year, 4 months ago

Log in to reply

Given that the abstract says

It is not surprising that the proofs are more convoluted.

I believe that your proof is pretty standard for this result. – Calvin Lin Staff · 1 year, 4 months ago

Log in to reply

– Karthik Venkata · 1 year, 4 months ago

Can you link me any proof similar to mine ? By the way, I edited the link in the post to a much larger repository of Steiner Lehmus proofs.Log in to reply

@Karthik Venkata Is your solution not similar to the

decomposition into ABE and ADCgiven in the PDF? .... .WELL DONE THOUGH :) – Abhinav Raichur · 1 year, 4 months agoLog in to reply

– Karthik Venkata · 1 year, 4 months ago

Thanks for pointing it out, it is indeed using the same area decomposition technique. Yet, it doesn't really exploit the direct expression for angle bisector length.Log in to reply

It somehow reminds me of Cotangent Rule :P – Nihar Mahajan · 1 year, 4 months ago

Log in to reply

– Karthik Venkata · 1 year, 4 months ago

Hmmm not exactly. Cotagent rule relates \( \theta_{1} \) and \( \theta_{2} \) with \( \overline{BD} \) and \( \overline{CD} \).Log in to reply

– Nihar Mahajan · 1 year, 4 months ago

Yes , thats why I said "somehow".Log in to reply