Sue Liu, S5, Madras College sent in a good solution which shows that if $A, B$ and $C$ are angles in a triangle and $$\tan (A - B) + \tan (B - C) + \tan (C - A) = 0$$ then the triangle is isosceles. Can you prove a stronger result? We start with the expression $$\tan (A - B) + \tan (B - C) + \tan (C - A) = 0.$$ Write $X = A - C$ and $Y = B - C$, then the given expression becomes $$\tan (X - Y) + \tan Y + \tan -X = 0.$$ This gives $$\tan (X - Y) = \tan X - \tan Y$$ and we know the identity $$\tan (X - Y) = {{\tan X - \tan Y}\over {1 - \tan X \tan Y}}.$$ Hence either $$\tan X = \tan Y \quad (1)$$ or $$\tan X \tan Y = 0 \quad (2)$$ In case (1) we show that the angles $X$ and $Y$ are equal. $$|X - Y| = |A - B| < A + B < 180 ^\circ$$ and the tan function is periodic with period 180 degrees so $X = Y.$ This gives $A - C = B - C$ hence $A = B$, so the triangle is isosceles. In case (2), either $\tan X = 0$ or $\tan Y = 0$, hence $A = C$ or $B = C$ and in all the cases the triangle is isosceles.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9856424331665039, "perplexity": 72.2810035963737}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-49/segments/1416400378431.55/warc/CC-MAIN-20141119123258-00138-ip-10-235-23-156.ec2.internal.warc.gz"}