Download G Proof Assistant

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

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

Integer triangle wikipedia , lookup

Euclidean geometry wikipedia , lookup

Transcript
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______________________________