Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Duality (projective geometry) wikipedia , lookup
Line (geometry) wikipedia , lookup
Euler angles wikipedia , lookup
History of trigonometry wikipedia , lookup
Perceived visual angle wikipedia , lookup
Rational trigonometry wikipedia , lookup
Trigonometric functions wikipedia , lookup
Integer triangle wikipedia , lookup
Incircle and excircles of a triangle wikipedia , lookup
A Sample Proof for Geometry 3050. Walter Whiteley, November 2006. In the following statement, there is an issue of the ‘definition’ of a triangle. We will return to that after the proof. Watch for the gap. Theorem: The three angle bisectors of a triangle in the plane, or a small triangle in the sphere, meet in a point, the incenter of the triangle. Proof: The angle bisector of angle BAC is the mirror along which one can fold the plane so that side BA lies on side AC. For any point D, a perpendicular DE to edge AB will fold onto (reflect onto) a perpendicular DF to side AC (see below). B E D C F A Now, consider the special point P, at which the two angle bisectors to < BAC and <ACB intersect. B P C A Drop a perpendicular from P to AB, called PE. This will fold onto an equal length perpendicular PF to AC, using the bisector of BAC. This, in turn, will fold onto a perpendicular PG to BC. This gives the equality of the two perpendiculars PE and PG. B E P G C A F Now focus on the substructure PEBG. We will add an ‘auxiliary line’ - the angle bisector of EPG. QuickTime™ and a TIFF (LZW) decompressor are needed to see this picture. We can now apply ASA to the two triangles with the congruent sides PE and PG, and the corresponding angles congruent. The proof of ASA and the congruence generated, guarantees that the angle bisector of P goes through the original vertex B, and that this line also bisects the angle EBG (also called <ABC). We conclude that the three angle bisectors meet in a common point P, as required. Moreover, P has three equal perpendiculars to the three sides. As a result, if we draw a circle with center P and radius |PE|=|PF|=|PG|. A circle with this radius, will have the edges (perpendicular to the radii) as tangent to the circle. This circle is called the incircle of the triangle, and the point P is called the incenter. QED. Alternate completion after the construction of P, and PE and PG. Draw the edge EG. PEG is an isosceles triangle. By ITT and its corollary, the angle bisector of EPG is also the right bisector of EG. B E H G P Now continue to right bisector of EG on towards B. By ITT on PEG, we have equality of the angles PEG and PGE. This leaves the equal angles at BEG and BGE. This now gives the set up for the converse of ITT, which guarantees (as its corollary) that the right bisector of EG is also an angle bisector of angle EBG. We conclude that PB is the third angle bisector, as required. B E H G P Everything done so far, works whenever ITT, the Converse of ITT, or ASA apply. I suspect that your proofs of this on the sphere, require a small triangle – so this is the context I have used in the proof. There is one special case that does not quite fit three proof: the first two angle bisectors might not meet in a point – in the plane! (On the sphere these lines must meet!) However, in the plane, to be parallel, the angle bisectors would have to be bisector 180 degree angles – and no triangle has two interior angles of 180 degrees. Even a collinear triangle will have three angle bisectors meeting at the third interior vertex (and the incircle has radius 0)! When we go on to generalize this discussion to the exterior angles of the triangle (the excenter), essentially the same proof works – with the very small gap for the case of collinear plane triangles. This is the case where there can be parallel exterior angle bisectors! Whether we continue to ‘see’ the three angle bisectors meeting in a point depends on whether you ‘see’ three parallel lines meeting at infinity! P B A C