# Proof of ASP

Hi guys! Today I discovered my own proof for the Angle sum property of a triangle. (Or so I think)

The proof goes like this.

1) Take a triangle ABC. Draw an angle bisector AD to the side BC.

2) Let Angle BAD=Angle DAC=$a^{\circ}$ , Angle ABC=$b^{\circ}$ and Angle ACB = $c^{\circ}$

3) Angle ADC= $a^ {\circ}+b^{\circ}$ [External angle=Sum of both interior angles]

4) Similarly, Angle ADB = $a^ {\circ}+c^{\circ}$

5) $2a^{\circ}+b^{\circ}+c^{\circ}={180}^{\circ}$ [Angles on a straight line]

6) Angle A+Angle B + Angle C =${180}^{\circ}$

Thus proved.

Note by Mehul Arora
5 years, 2 months ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$

Sort by:

I would argue that you can't actually "prove" this because the angle sum property is basically the same as the parallel postulate which is independent of the first four postulates. You can even have geometries where the angle sum property does not hold.

- 5 years, 2 months ago

So can we say, That this is valid for the "Commonly used" Geometry? :P

- 5 years, 2 months ago

It is the characteristic axiom of Euclidean geometry. Other geometries that do not have this are called non-Euclidean geometries.

- 5 years, 2 months ago

Well, I had derived this as a solution to a textbook problem when I was of your age. By the way, good work.

- 5 years, 2 months ago

Thank you! :D

- 5 years, 2 months ago

In step 3, isn't the fact that the external angle is the sum of the other two interior angles actually equivalent to the angle sum property for a triangle? You're saying $180^{\circ}-\angle ACD=a^{\circ}+b^{\circ}$ since they are the internal angles of a triangle, after all.

Can you alter your proof so that none of the steps assume that the sum of the internal angles of a triangle is $180^{\circ}$?

- 5 years, 2 months ago

U used Exterior Angle Property which is proved by ASP. Hence this is wrong. :)

- 5 years, 2 months ago

I assumed we know Exterior angle property :P

- 5 years, 2 months ago

Assuming something in a proof is wrong.

- 5 years, 2 months ago

I'm just joking :P

- 5 years, 2 months ago

Hey come on Hangouts.

- 5 years, 2 months ago

Okay :)

- 5 years, 2 months ago