SlideShare a Scribd company logo
1 of 15
Describing Mathematical
System
Proof:
Prove Me True
Directions: Prove that if π‘Ž = 𝑏, and 𝑐 = 𝑑, then π‘Ž + 𝑐 = 𝑏 + 𝑑.
Complete the table below by filling in the statements or
reasons. Answer the questions that follow.
Statement Reason
1.π‘Ž = 𝑏 ____________________
2.__________ Add both sides by 𝑐
3.𝑐 = 𝑑 ____________________
4.__________ Add both sides by d
5. π‘Ž + 𝑐 = 𝑏 + 𝑑
Geometry has a big contribution in our society. It
is the beginning of numerous easy and complicated
designs of buildings, infrastructures, houses,
churches, and many others. This implies that we
apply to the modern world what Euclidian theories
in Geometry have been given.
Euclid of Alexandria (lived c. 300 BCE) was known
as the β€œFather of Geometry”. He systematized
ancient Greek and Near Eastern mathematics and
geometry.
The mathematical system known as
Euclidian Geometry attributed to Euclid,
was described in his textbook the
β€œElements” as a structure formed from
one or more sets of
undefined objects, various concepts
which may or may not be defined, and a
set of axioms relating these objects and
concepts.
Undefined terms are terms that do not
require a definition but can be described.
These terms are used as a base to define
other terms, hence, these are the building
blocks of other mathematical terms, such as
definitions, axioms, and theorems. Examples
of undefined terms are point, line and
plane.
Defined Terms are the terms of
mathematical system that can be defined
using undefined terms. Examples of
defined terms are angle, line segment,
and circle. Term or phrase which makes
use of the undefined terms and
previously defined terms and common
words.
Axioms and Postulates are the statements
assumed to be true and no need for further
proof. Consider the statements:
ο‚· The sun sets in the west.
ο‚· The Philippines is found in Asia.
ο‚· There are 7 days in a week.
Do these statements need proof before we
accept them to be true?
Let π‘Ž, 𝑏, and 𝑐 denote any real numbers, and in symbol: ( π‘Ž, 𝑏, π‘Žπ‘›π‘‘ 𝑐 ∈ 𝑅)
Axioms Description
Commutative Axiom π‘Ž + 𝑏 = 𝑏 + π‘Ž or π‘Ž βˆ™ 𝑏 = 𝑏 βˆ™ π‘Ž
Associative Axiom π‘Ž + (𝑏 + 𝑐) = (π‘Ž + 𝑏) + 𝑐 or
π‘Ž βˆ™ (𝑏 βˆ™ 𝑐) = (π‘Ž βˆ™ 𝑏) βˆ™ 𝑐
Distributive Axiom π‘Ž Β· (𝑏 + 𝑐) = (π‘Ž Β· 𝑏) + (π‘Ž Β· 𝑐)
Reflexive Axiom π‘Ž = π‘Ž
Symmetric Axiom If π‘Ž = 𝑏, then 𝑏 = π‘Ž
Transitive Axiom If π‘Ž < 𝑏, and 𝑏 < 𝑐, then π‘Ž < 𝑐
Addition Axiom If π‘Ž = 𝑏, then π‘Ž + 𝑐 = 𝑏 + 𝑐
Multiplication Axiom If π‘Ž = 𝑏, then π‘Ž Β· 𝑐 = 𝑏 Β· 𝑐
Existence of Additive Inverse π‘Ž + (βˆ’ π‘Ž) = (βˆ’ π‘Ž) + π‘Ž = 0
Existence of Multiplicative
Inverse
π‘Ž Β· π‘Ž -1= π‘Ž -1 Β· π‘Ž = 1 for π‘Ž β‰  0
Existence of Additive Identity For any real number π‘Ž, π‘Ž + 0 = 0 + π‘Ž = π‘Ž
Existence of Multiplicative
Identity
For any real number π‘Ž, π‘Ž Β· 1 = 1 Β· π‘Ž = π‘Ž
Trichotomy Axiom π‘Ž < 𝑏 or π‘Ž = 𝑏 or 𝑏 < π‘Ž
Theorems are statements accepted after they are proven
true deductively. The axiomatic structure of a
mathematical system follows a sequence, starting with a
set of undefined terms which are bases to define terms,
then axioms that are clearly stated, and from these a
theorem is derived through reasoning. Theorems are
derived from the set of axioms in an axiomatic
mathematical system. Below is the flow on how to arrive
to the theorems.
Undefined terms and Defined terms β†’ Axioms β†’ Theorems
Given: βˆ’4 = π‘š Prove: π‘š = βˆ’4.
Proof:
Statement Reason
1. βˆ’4 = π‘š 1. Given
2. βˆ’4 + 4 = π‘š + 4 2. Addition axiom
3. 0 = π‘š + 4 3. From statement 2 existence of
additive inverse
4. 0 – π‘š = π‘š + 4 βˆ’ π‘š 4. Addition axiom (add -m to both
sides)
5. – π‘š = 0 + 4 5. Existence of additive inverse and
additive identity
6. – π‘š = 4 6. Existence of additive identity
7. (βˆ’1)(βˆ’π‘š) = 4(βˆ’1) 7. Multiply both sides by -1
8. π‘š = βˆ’4 8. Multiplication axiom
Directions: Prove each statement by supplying reasons in the two-column form below.
Write your answer on a separate sheet of paper.
1. Given: πŸ•π’ƒ – πŸπŸ“ = πŸπ’ƒ
Prove: 𝒃 = πŸ“.
Statement Reason
1. 7𝑏 – 25 = 2𝑏
2. 7𝑏 – 2𝑏 – 25 = 2𝑏 – 2𝑏
3. 5𝑏 – 25 = 0
4. 5𝑏 – 25 + 25 = 0 + 25
5. 5𝑏 = 25
6. 𝑏 = 5
1. Given
2.
3.
4.
5.
6.
1. When I buy 2 pieces of shirt for π‘ƒβ„Žπ‘ 250, 1 piece of pants
for π‘ƒβ„Žπ‘ 500 and a pair of shoes for π‘ƒβ„Žπ‘ 1000, how much
money will I need to pay to the cashier? I have in my mind
that I may add first the amount for shirt and pants, then
the total will be added to the amount for the pair of shoes
or add first the amount for shoes and pants then the sum
will be added to the amount of shirt. The result is just the
same.
1. This illustrates associative axiom.
2. Justin and Allan wanted to buy a gift for their
mother during her birthday. Justin has π‘ƒβ„Žπ‘ 150
savings and Allan has π‘ƒβ„Žπ‘ 80. If they double the
amount, it would already be enough for the gift they
planned to buy. How much money would they need to
have altogether for them to be able to buy a gift for
their mother?
2(150 + 80) = 2(150) + 2(80) = 300 + 160 = 460
Distributive Axiom.
Directions: Find the value of π‘₯ and show a proof in a step by step process using
two – column form.
Given: πŸ“π’™ – 𝟏𝟎 = πŸ‘π’™ – 𝟐
Proof:
Statement Reason
1. 1.
2. 2.
3. 3.
4. 4.
5. 5.
6. 6.
ASSIGNMENT!
1. What is Axiomatic System?
2. What are the importance of an
axiomatic system in geometry?

More Related Content

What's hot

Multiplying & dividing rational algebraic expressions
Multiplying & dividing rational algebraic expressionsMultiplying & dividing rational algebraic expressions
Multiplying & dividing rational algebraic expressions
myla gambalan
Β 
4 2 rules of radicals
4 2 rules of radicals4 2 rules of radicals
4 2 rules of radicals
math123b
Β 
Lesson 4 division of a line segment
Lesson 4   division of a line segmentLesson 4   division of a line segment
Lesson 4 division of a line segment
Jean Leano
Β 
Linear inequalities in two variables
Linear inequalities in two variablesLinear inequalities in two variables
Linear inequalities in two variables
christianjustine
Β 
Adding and subtracting polynomials
Adding and subtracting polynomialsAdding and subtracting polynomials
Adding and subtracting polynomials
holmsted
Β 

What's hot (20)

Multiplying & dividing rational algebraic expressions
Multiplying & dividing rational algebraic expressionsMultiplying & dividing rational algebraic expressions
Multiplying & dividing rational algebraic expressions
Β 
nature of the roots and discriminant
nature of the roots and discriminantnature of the roots and discriminant
nature of the roots and discriminant
Β 
Rectangular Coordinate System PPT
Rectangular Coordinate System PPTRectangular Coordinate System PPT
Rectangular Coordinate System PPT
Β 
Polynomials Mathematics Grade 7
Polynomials Mathematics Grade 7Polynomials Mathematics Grade 7
Polynomials Mathematics Grade 7
Β 
Mathematical System.pptx
Mathematical System.pptxMathematical System.pptx
Mathematical System.pptx
Β 
COT2 Lesson Plan Grade 8
COT2  Lesson Plan Grade 8COT2  Lesson Plan Grade 8
COT2 Lesson Plan Grade 8
Β 
Equations of a Line
Equations of a LineEquations of a Line
Equations of a Line
Β 
4 2 rules of radicals
4 2 rules of radicals4 2 rules of radicals
4 2 rules of radicals
Β 
Lesson 4 division of a line segment
Lesson 4   division of a line segmentLesson 4   division of a line segment
Lesson 4 division of a line segment
Β 
Solving Equations Involving Radical Expressions
Solving Equations Involving Radical ExpressionsSolving Equations Involving Radical Expressions
Solving Equations Involving Radical Expressions
Β 
Linear inequalities in two variables
Linear inequalities in two variablesLinear inequalities in two variables
Linear inequalities in two variables
Β 
Adding and subtracting polynomials
Adding and subtracting polynomialsAdding and subtracting polynomials
Adding and subtracting polynomials
Β 
Equation of a circle
Equation of a circleEquation of a circle
Equation of a circle
Β 
trapezoid and its properties
trapezoid and its propertiestrapezoid and its properties
trapezoid and its properties
Β 
Rectangular Coordinate System
Rectangular Coordinate SystemRectangular Coordinate System
Rectangular Coordinate System
Β 
Subsets of A Line
Subsets of A LineSubsets of A Line
Subsets of A Line
Β 
Applying Triangle Congruence to Construct Perpendicular Lines and.pptx
Applying Triangle Congruence to Construct Perpendicular Lines and.pptxApplying Triangle Congruence to Construct Perpendicular Lines and.pptx
Applying Triangle Congruence to Construct Perpendicular Lines and.pptx
Β 
Math 8 linear inequalities
Math 8   linear inequalitiesMath 8   linear inequalities
Math 8 linear inequalities
Β 
8.1 Law of Sines
8.1 Law of Sines8.1 Law of Sines
8.1 Law of Sines
Β 
Quadratic functions
Quadratic functionsQuadratic functions
Quadratic functions
Β 

Similar to Describing Mathematical System for Grade 8.pptx

geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdfgeometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
JosephSPalileoJr
Β 
Geometric sequences and geometric means
Geometric sequences and geometric meansGeometric sequences and geometric means
Geometric sequences and geometric means
Denmar Marasigan
Β 
February 11, 2015,
February 11, 2015,February 11, 2015,
February 11, 2015,
khyps13
Β 
Linear equation in 2 variable class 10
Linear equation in 2 variable class 10Linear equation in 2 variable class 10
Linear equation in 2 variable class 10
AadhiSXA
Β 

Similar to Describing Mathematical System for Grade 8.pptx (20)

Systems of equations and matricies
Systems of equations and matriciesSystems of equations and matricies
Systems of equations and matricies
Β 
Applications.pptx
Applications.pptxApplications.pptx
Applications.pptx
Β 
Lecture3
Lecture3Lecture3
Lecture3
Β 
geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdfgeometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
geometricsequencesandgeometricmeans-150222031045-conversion-gate01.pdf
Β 
MCA_UNIT-1_Computer Oriented Numerical Statistical Methods
MCA_UNIT-1_Computer Oriented Numerical Statistical MethodsMCA_UNIT-1_Computer Oriented Numerical Statistical Methods
MCA_UNIT-1_Computer Oriented Numerical Statistical Methods
Β 
Geometric sequences and geometric means
Geometric sequences and geometric meansGeometric sequences and geometric means
Geometric sequences and geometric means
Β 
Number Theory (part 1)
Number Theory (part 1)Number Theory (part 1)
Number Theory (part 1)
Β 
(8) Lesson 3.8
(8) Lesson 3.8(8) Lesson 3.8
(8) Lesson 3.8
Β 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdf
Β 
February 11, 2015,
February 11, 2015,February 11, 2015,
February 11, 2015,
Β 
Abhinav
AbhinavAbhinav
Abhinav
Β 
Introduction to polynomials
Introduction to polynomialsIntroduction to polynomials
Introduction to polynomials
Β 
Linear equation in 2 variable class 10
Linear equation in 2 variable class 10Linear equation in 2 variable class 10
Linear equation in 2 variable class 10
Β 
Missing Rule of Powers
Missing Rule of PowersMissing Rule of Powers
Missing Rule of Powers
Β 
CC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdfCC107 - Chapter 1 The real Number System.pdf
CC107 - Chapter 1 The real Number System.pdf
Β 
Paso 5-Realizar transferencia del conocimiento.
Paso 5-Realizar transferencia del conocimiento.Paso 5-Realizar transferencia del conocimiento.
Paso 5-Realizar transferencia del conocimiento.
Β 
A
AA
A
Β 
.
..
.
Β 
Vedic Mathematics ppt
Vedic Mathematics pptVedic Mathematics ppt
Vedic Mathematics ppt
Β 
Abstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxAbstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptx
Β 

More from JowenaRamirezAbellar

More from JowenaRamirezAbellar (17)

Derive the formula for finding the number of permutations of n objects taken ...
Derive the formula for finding the number of permutations of n objects taken ...Derive the formula for finding the number of permutations of n objects taken ...
Derive the formula for finding the number of permutations of n objects taken ...
Β 
MEASUREMENT MATHEMATICS 7 (SECOND QUARTER) .pptx
MEASUREMENT MATHEMATICS 7 (SECOND QUARTER) .pptxMEASUREMENT MATHEMATICS 7 (SECOND QUARTER) .pptx
MEASUREMENT MATHEMATICS 7 (SECOND QUARTER) .pptx
Β 
ORGANIZING DATA mathematics 7(4th quarter).pptx
ORGANIZING DATA mathematics 7(4th quarter).pptxORGANIZING DATA mathematics 7(4th quarter).pptx
ORGANIZING DATA mathematics 7(4th quarter).pptx
Β 
Decile for Ungrouped Data mathematics 10.pptx
Decile for Ungrouped Data mathematics 10.pptxDecile for Ungrouped Data mathematics 10.pptx
Decile for Ungrouped Data mathematics 10.pptx
Β 
PRESENTATION OF DATA (HISTOGRAM) mathematics 7.pptx
PRESENTATION OF DATA (HISTOGRAM) mathematics 7.pptxPRESENTATION OF DATA (HISTOGRAM) mathematics 7.pptx
PRESENTATION OF DATA (HISTOGRAM) mathematics 7.pptx
Β 
Measures of Position MATHEMATICS 10.pptx
Measures of Position MATHEMATICS 10.pptxMeasures of Position MATHEMATICS 10.pptx
Measures of Position MATHEMATICS 10.pptx
Β 
Statistical and Non-Statistical Question.pptx
Statistical and Non-Statistical Question.pptxStatistical and Non-Statistical Question.pptx
Statistical and Non-Statistical Question.pptx
Β 
Pair of Angles (Supplementary Angles).pptx
Pair of Angles (Supplementary Angles).pptxPair of Angles (Supplementary Angles).pptx
Pair of Angles (Supplementary Angles).pptx
Β 
Angles Formed by Parallel Lines Cut by a Transversal.pptx
Angles Formed by Parallel Lines Cut by a Transversal.pptxAngles Formed by Parallel Lines Cut by a Transversal.pptx
Angles Formed by Parallel Lines Cut by a Transversal.pptx
Β 
Linear pair and adjacent angles Grade 7.pptx
Linear pair and adjacent angles Grade 7.pptxLinear pair and adjacent angles Grade 7.pptx
Linear pair and adjacent angles Grade 7.pptx
Β 
FUNDAMENTAL THEOREM OF PROPORTIONALITY.pptx
FUNDAMENTAL THEOREM OF PROPORTIONALITY.pptxFUNDAMENTAL THEOREM OF PROPORTIONALITY.pptx
FUNDAMENTAL THEOREM OF PROPORTIONALITY.pptx
Β 
DISTINGUISHABLE PERMUTATION AND CIRCULAR PERMUTATION.pptx
DISTINGUISHABLE PERMUTATION AND CIRCULAR PERMUTATION.pptxDISTINGUISHABLE PERMUTATION AND CIRCULAR PERMUTATION.pptx
DISTINGUISHABLE PERMUTATION AND CIRCULAR PERMUTATION.pptx
Β 
ASA CONGRUENCE POSTULATE for Grade 8.pptx
ASA CONGRUENCE POSTULATE for Grade 8.pptxASA CONGRUENCE POSTULATE for Grade 8.pptx
ASA CONGRUENCE POSTULATE for Grade 8.pptx
Β 
Proves theorems on the different kinds of parallelogram.pptx
Proves theorems on the different kinds of parallelogram.pptxProves theorems on the different kinds of parallelogram.pptx
Proves theorems on the different kinds of parallelogram.pptx
Β 
Conditions that make a Quadrilateral a Parallelogram.pptx
Conditions that make a Quadrilateral a Parallelogram.pptxConditions that make a Quadrilateral a Parallelogram.pptx
Conditions that make a Quadrilateral a Parallelogram.pptx
Β 
Classifying Different Kinds of Angles.pptx
Classifying Different Kinds of Angles.pptxClassifying Different Kinds of Angles.pptx
Classifying Different Kinds of Angles.pptx
Β 
Subsets of a line for Mathematics 7.pptx
Subsets of a line for Mathematics 7.pptxSubsets of a line for Mathematics 7.pptx
Subsets of a line for Mathematics 7.pptx
Β 

Recently uploaded

Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
Β 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
Β 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
AnaAcapella
Β 

Recently uploaded (20)

Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...
Β 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
Β 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
Β 
Dyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptxDyslexia AI Workshop for Slideshare.pptx
Dyslexia AI Workshop for Slideshare.pptx
Β 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Β 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
Β 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
Β 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
Β 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
Β 
Spatium Project Simulation student brief
Spatium Project Simulation student briefSpatium Project Simulation student brief
Spatium Project Simulation student brief
Β 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
Β 
Asian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptxAsian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptx
Β 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
Β 
Magic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptxMagic bus Group work1and 2 (Team 3).pptx
Magic bus Group work1and 2 (Team 3).pptx
Β 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
Β 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701
Β 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptx
Β 
Spellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please PractiseSpellings Wk 3 English CAPS CARES Please Practise
Spellings Wk 3 English CAPS CARES Please Practise
Β 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Β 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
Β 

Describing Mathematical System for Grade 8.pptx

  • 2. Proof: Prove Me True Directions: Prove that if π‘Ž = 𝑏, and 𝑐 = 𝑑, then π‘Ž + 𝑐 = 𝑏 + 𝑑. Complete the table below by filling in the statements or reasons. Answer the questions that follow. Statement Reason 1.π‘Ž = 𝑏 ____________________ 2.__________ Add both sides by 𝑐 3.𝑐 = 𝑑 ____________________ 4.__________ Add both sides by d 5. π‘Ž + 𝑐 = 𝑏 + 𝑑
  • 3. Geometry has a big contribution in our society. It is the beginning of numerous easy and complicated designs of buildings, infrastructures, houses, churches, and many others. This implies that we apply to the modern world what Euclidian theories in Geometry have been given. Euclid of Alexandria (lived c. 300 BCE) was known as the β€œFather of Geometry”. He systematized ancient Greek and Near Eastern mathematics and geometry.
  • 4. The mathematical system known as Euclidian Geometry attributed to Euclid, was described in his textbook the β€œElements” as a structure formed from one or more sets of undefined objects, various concepts which may or may not be defined, and a set of axioms relating these objects and concepts.
  • 5. Undefined terms are terms that do not require a definition but can be described. These terms are used as a base to define other terms, hence, these are the building blocks of other mathematical terms, such as definitions, axioms, and theorems. Examples of undefined terms are point, line and plane.
  • 6. Defined Terms are the terms of mathematical system that can be defined using undefined terms. Examples of defined terms are angle, line segment, and circle. Term or phrase which makes use of the undefined terms and previously defined terms and common words.
  • 7. Axioms and Postulates are the statements assumed to be true and no need for further proof. Consider the statements: ο‚· The sun sets in the west. ο‚· The Philippines is found in Asia. ο‚· There are 7 days in a week. Do these statements need proof before we accept them to be true?
  • 8. Let π‘Ž, 𝑏, and 𝑐 denote any real numbers, and in symbol: ( π‘Ž, 𝑏, π‘Žπ‘›π‘‘ 𝑐 ∈ 𝑅) Axioms Description Commutative Axiom π‘Ž + 𝑏 = 𝑏 + π‘Ž or π‘Ž βˆ™ 𝑏 = 𝑏 βˆ™ π‘Ž Associative Axiom π‘Ž + (𝑏 + 𝑐) = (π‘Ž + 𝑏) + 𝑐 or π‘Ž βˆ™ (𝑏 βˆ™ 𝑐) = (π‘Ž βˆ™ 𝑏) βˆ™ 𝑐 Distributive Axiom π‘Ž Β· (𝑏 + 𝑐) = (π‘Ž Β· 𝑏) + (π‘Ž Β· 𝑐) Reflexive Axiom π‘Ž = π‘Ž Symmetric Axiom If π‘Ž = 𝑏, then 𝑏 = π‘Ž Transitive Axiom If π‘Ž < 𝑏, and 𝑏 < 𝑐, then π‘Ž < 𝑐 Addition Axiom If π‘Ž = 𝑏, then π‘Ž + 𝑐 = 𝑏 + 𝑐 Multiplication Axiom If π‘Ž = 𝑏, then π‘Ž Β· 𝑐 = 𝑏 Β· 𝑐 Existence of Additive Inverse π‘Ž + (βˆ’ π‘Ž) = (βˆ’ π‘Ž) + π‘Ž = 0 Existence of Multiplicative Inverse π‘Ž Β· π‘Ž -1= π‘Ž -1 Β· π‘Ž = 1 for π‘Ž β‰  0 Existence of Additive Identity For any real number π‘Ž, π‘Ž + 0 = 0 + π‘Ž = π‘Ž Existence of Multiplicative Identity For any real number π‘Ž, π‘Ž Β· 1 = 1 Β· π‘Ž = π‘Ž Trichotomy Axiom π‘Ž < 𝑏 or π‘Ž = 𝑏 or 𝑏 < π‘Ž
  • 9. Theorems are statements accepted after they are proven true deductively. The axiomatic structure of a mathematical system follows a sequence, starting with a set of undefined terms which are bases to define terms, then axioms that are clearly stated, and from these a theorem is derived through reasoning. Theorems are derived from the set of axioms in an axiomatic mathematical system. Below is the flow on how to arrive to the theorems. Undefined terms and Defined terms β†’ Axioms β†’ Theorems
  • 10. Given: βˆ’4 = π‘š Prove: π‘š = βˆ’4. Proof: Statement Reason 1. βˆ’4 = π‘š 1. Given 2. βˆ’4 + 4 = π‘š + 4 2. Addition axiom 3. 0 = π‘š + 4 3. From statement 2 existence of additive inverse 4. 0 – π‘š = π‘š + 4 βˆ’ π‘š 4. Addition axiom (add -m to both sides) 5. – π‘š = 0 + 4 5. Existence of additive inverse and additive identity 6. – π‘š = 4 6. Existence of additive identity 7. (βˆ’1)(βˆ’π‘š) = 4(βˆ’1) 7. Multiply both sides by -1 8. π‘š = βˆ’4 8. Multiplication axiom
  • 11. Directions: Prove each statement by supplying reasons in the two-column form below. Write your answer on a separate sheet of paper. 1. Given: πŸ•π’ƒ – πŸπŸ“ = πŸπ’ƒ Prove: 𝒃 = πŸ“. Statement Reason 1. 7𝑏 – 25 = 2𝑏 2. 7𝑏 – 2𝑏 – 25 = 2𝑏 – 2𝑏 3. 5𝑏 – 25 = 0 4. 5𝑏 – 25 + 25 = 0 + 25 5. 5𝑏 = 25 6. 𝑏 = 5 1. Given 2. 3. 4. 5. 6.
  • 12. 1. When I buy 2 pieces of shirt for π‘ƒβ„Žπ‘ 250, 1 piece of pants for π‘ƒβ„Žπ‘ 500 and a pair of shoes for π‘ƒβ„Žπ‘ 1000, how much money will I need to pay to the cashier? I have in my mind that I may add first the amount for shirt and pants, then the total will be added to the amount for the pair of shoes or add first the amount for shoes and pants then the sum will be added to the amount of shirt. The result is just the same. 1. This illustrates associative axiom.
  • 13. 2. Justin and Allan wanted to buy a gift for their mother during her birthday. Justin has π‘ƒβ„Žπ‘ 150 savings and Allan has π‘ƒβ„Žπ‘ 80. If they double the amount, it would already be enough for the gift they planned to buy. How much money would they need to have altogether for them to be able to buy a gift for their mother? 2(150 + 80) = 2(150) + 2(80) = 300 + 160 = 460 Distributive Axiom.
  • 14. Directions: Find the value of π‘₯ and show a proof in a step by step process using two – column form. Given: πŸ“π’™ – 𝟏𝟎 = πŸ‘π’™ – 𝟐 Proof: Statement Reason 1. 1. 2. 2. 3. 3. 4. 4. 5. 5. 6. 6.
  • 15. ASSIGNMENT! 1. What is Axiomatic System? 2. What are the importance of an axiomatic system in geometry?

Editor's Notes

  1. what is love? Then, follows the rules until 5 students can answer. Let them understand that Love is similar to those undefined terms in mathematics. Love is undefined, we can’t really define love. Have you encountered terms that are not clear or undefined? Why do you think it is necessary to define terms? Why do we need to be precise and concise in what we say or write? Are there times that you believe on statements even without proof? Are there times that you need to prove to someone that your statement is true?
  2. These are observed facts and are already accepted as true even without proof. These are examples of axioms. Furthermore, postulates are assumptions specific to Geometry while axioms are generally statements used throughout mathematics. Postulates or axioms are statements that may be used to justify the statements in a proof. The axioms often used in Algebra and Geometry are the Axioms for Real Numbers which are found at the table below.