* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download G Proof Assistant
Duality (projective geometry) wikipedia , lookup
Technical drawing wikipedia , lookup
Perspective (graphical) wikipedia , lookup
Multilateration wikipedia , lookup
Reuleaux triangle wikipedia , lookup
History of trigonometry wikipedia , lookup
Line (geometry) wikipedia , lookup
Trigonometric functions wikipedia , lookup
Rational trigonometry wikipedia , lookup
Pythagorean theorem wikipedia , lookup
Euler angles wikipedia , lookup
ProofAssistant Title Summary Dates______________________________ Text Diagram SegmentAddition Postulate AngleAddition Postulate DefofRightAngle DefofMidpoint Defofanglebisector Defofcomplementary angles Defofsupplementary angles Defofcongruent segments/angles DefofPerpendicularLines Twolinesthatintersecttoformarightangle 1 ProofAssistant Title Summary Dates______________________________ Text Diagram 2 ProofAssistant Title Summary Verticalanglesarecongruent. Iftwolinesintersecttoformalinearpairof congruentangles,thenthelinesare ___________________________. Dates______________________________ Text Diagram If two sides of two adjacent acute angles are perpendicular, then the angles are__________________. If two lines are perpendicular, then they intersect to form four______________________. 3 ProofAssistant Title Summary Text Diagram If two parallel lines are cut by a transversal, then the pairs of corresponding angles are ______________. If two parallel lines are cut by a transversal, then the pairs of alternate interior angles are _____________. If two parallel lines are cut by a transversal, then the pairs of consecutive interior angles are _____________. If two parallel lines are cut by a transversal, then the pairs of alternate exterior angles are ____________. If a transversal is perpendicular to one of two parallel lines, then it is perpendicular to the other. If two lines are cut by a transversal so that corresponding angles are congruent, then the lines are parallel. If two lines are cut by a transversal so that alternate interior angles are congruent, then the lines are parallel. If two lines are cut by a transversal so that consecutive interior angles are supplementary, then the lines are parallel. If two lines are cut by a transversal so that alternate exterior angles are congruent, then the lines are parallel. Dates______________________________ 4 ProofAssistant Title Summary Text Diagram If two lines are parallel to the same line, then they are parallel to each other. In a plane, if two lines are perpendicular to the same line, then they are parallel to each other. The sum of the measures of the interior angles of a triangle is ____________ The measure of an exterior angle of a triangle is equal to the ___________ of the measures of the two _______________________________ The acute angles of a right triangle are _________________________. When two geometric figures are congruent, there is a correspondence between their angles and sides such that corresponding angles are congruent and corresponding sides are congruent. If two angles of one triangle are congruent to two angles of another triangle, then the third angles are also congruent. 5 Dates______________________________ ProofAssistant Title Summary Text Diagram If three sides of one triangle are congruent to three sides of a second triangle, then the two triangles are congruent. If two sides and the included angle of one triangle are congruent to two sides and the included angle of a second triangle, then the two triangles are congruent. If two angles and the included side of one triangle are congruent to two angles and the included side of a second triangle, then the two triangles are congruent. If two angles and a nonincluded side of one triangle are congruent to two angles and the corresponding nonincluded side of a second triangle, then the two triangles are congruent. If two sides of a triangle are congruent, then the angles opposite them are __________________________. If two angles of a triangle are congruent, then the sides opposite them are ______________________. If a triangle is equilateral, then it is equiangular. If a triangle is equiangular, then it is ______________. 6 Dates______________________________ ProofAssistant Title Summary Text Diagram If the hypotenuse and a leg of a right triangle are congruent to the hypotenuse and a leg of a second right triangle, then the two triangles are congruent. A segment, ray, line, or plane that is perpendicular to a segment at its midpoint is called a perpendicular bisector. A point is equidistant from two points if its distance from each point is the same. If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment. If a point is equidistant from the endpoints of a segment, then it is on the perpendicular bisector of the segment. If a point is on the bisector of an angle, then it is equidistant from the two sides of the angle. If a point is in the interior of an angle and is equidistant from the sides of the angle, then it lies on the bisector of the angle. 7 Dates______________________________ ProofAssistant Title Summary Text Diagram 8 Dates______________________________