Download Quadrilaterals Theorems Ptolemy`s Theorem

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

Simplex wikipedia , lookup

Multilateration wikipedia , lookup

Steinitz's theorem wikipedia , lookup

Euler angles wikipedia , lookup

Tessellation wikipedia , lookup

Analytic geometry wikipedia , lookup

Noether's theorem wikipedia , lookup

Problem of Apollonius wikipedia , lookup

Shapley–Folkman lemma wikipedia , lookup

Riemannian connection on a surface wikipedia , lookup

Line (geometry) wikipedia , lookup

Brouwer fixed-point theorem wikipedia , lookup

Rational trigonometry wikipedia , lookup

Triangle wikipedia , lookup

History of geometry wikipedia , lookup

Trigonometric functions wikipedia , lookup

Euclidean geometry wikipedia , lookup

Pythagorean theorem wikipedia , lookup

Integer triangle wikipedia , lookup

Incircle and excircles of a triangle wikipedia , lookup

Tangent lines to circles wikipedia , lookup

Area of a circle wikipedia , lookup

History of trigonometry wikipedia , lookup

Transcript
10/21/2011
Quadrilaterals
MA 341 – Topics in Geometry
Lecture 22
Theorems
1. A convex quadrilateral is cyclic if and
only if the four perpendicular bisectors
of the sides are concurrent.
2. A convex quadrilateral is cyclic if and
only
l if opposite
it angles
l are
supplementary.
21-Oct-2011
MA 341 001
2
Ptolemy’s Theorem
Let a, b, c, and d be the
lengths of consecutive
sides of a cyclic
quadrilateral and let x
and y be the lengths of
the diagonals. Then
ac + bd = xy.
Also,
b
y
a
x
c
d
x ad + bc
=
y ab + cd
21-Oct-2011
MA 341 001
3
1
10/21/2011
Ptolemy’s Theorem
This leads to the
following:
b
(ac + bd)(ad +bc)
x=
ab + cd
y
a
x
c
and
y=
(ac + bd)(ab + cd)
ad + bc
21-Oct-2011
d
MA 341 001
4
Angles of a cyclic quadrilateral
If A is the angle between
a and d
cos(A) =
a2 + d2 -b2 - c2
2(ad
( +bc))
sin(A) = 2
tan
(s - a)(s -b)(s - c)(s - d)
ad +bc
A
(s - a)(s - d)
=
2
(s -b)(s - c)
21-Oct-2011
MA 341 001
5
Angles of a cyclic quadrilateral
The angle, θ, between the diagonals
tan

2
=
(s -b)(s - d)
(s - a)(s - c)
The circumradius is
R=
1 (ab + cd)(ac + bd)(ad + bc)
4
(s - a)(s -b)(s - c)(s - d)
(Parameshvara’s formula)
21-Oct-2011
MA 341 001
6
2
10/21/2011
Incenters of the triangles
The incenters of 4
triangles form a
rectangle
Sides parallel to
lines through
midarc points
21-Oct-2011
MA 341 001
7
Incenters of the triangles
The incenters and
excenters of 4
triangles form a
4 x 4 grid
21-Oct-2011
MA 341 001
8
Incenters of the triangles
Consider
quadrilaterals
formed by
centroids 9-point
centroids,
9 point
circle centers and
orthocenters of
the 4 triangles
21-Oct-2011
MA 341 001
9
3
10/21/2011
Incenters of the triangles
All are similar to
ABCD.
H2H1H4H3 is
i
congruent to ABCD.
21-Oct-2011
MA 341 001
10
Tangential Quadrilaterals
A convex
quadrilateral whose
sides all lie tangent
to inscribed circle
– the incircle
21-Oct-2011
MA 341 001
11
Tangential Quadrilaterals
Is a rectangle a tangential quadrilateral?
Is a square a tangential quadrilateral?
Is a parallelogram a tangential
quadrilateral?
21-Oct-2011
MA 341 001
12
4
10/21/2011
Tangential Quadrilaterals
Is a rhombus a tangential quadrilateral?
Is a kite a tangential quadrilateral?
21-Oct-2011
MA 341 001
13
Tangential Quadrilaterals
In triangle incenter
= intersection of
angle bisectors
What about
quadrilaterals?
21-Oct-2011
MA 341 001
14
Tangential Quadrilaterals
I is equidistant from AD,
AB and BC
B
∆API  ∆AMI  PI  MI
N
C
M
∆MIB  ∆NIB  NI  MI
D
P
A
21-Oct-2011
MA 341 001
15
5
10/21/2011
Tangential Quadrilaterals
I is equidistant from AD,
AB, BC and CD
∆API  ∆AMI  PI  MI
B
C
M
∆MIB  ∆NIB  NI  MI
etc
Thus, there is an inscribed
A
circle!
21-Oct-2011
N
D
P
MA 341 001
16
Tangential Quadrilaterals
If there is an
inscribed circle,
then center is
equidistant from
sides.
21-Oct-2011
MA 341 001
17
Tangential Quadrilaterals
Then, BI, CI, DI,
and AI are angle
bisectors.
21-Oct-2011
MA 341 001
18
6
10/21/2011
Theorem
A quadrilateral is
tangential if and
only if
a + c = b + d.
d
N
M
O
P
21-Oct-2011
MA 341 001
19
Proof
BM=BN
CN=CO
DO=DP
M
AP=AM
a + c = AM+MB+CO+OD
= AP+BN+CN+DP
=b+d
21-Oct-2011
N
O
P
MA 341 001
20
Proof
Assume a + c = b + d.
B
B’
Construct circle tangent
t AB
to
AB, AD
AD, CD
CD.
b
Construct CB’ tangent to
circle
WLOG AB’<AB
a
A
d
D
c
C
21-Oct-2011
MA 341 001
21
7
10/21/2011
Proof
B
AB’CD tangential 
AB’ + c = d + B’C
a +c=d+b
Subtraction
a - AB’ = b – B’C
BB’ + B’C = b
 B = B’
 ABCD tangential
B’
a
A
d
b
D
c
C
21-Oct-2011
MA 341 001
22
Result
If ABCD tangential quadrilateral then
a +c =b +d =
21-Oct-2011
a +b + c +d
=s
2
MA 341 001
23
Area
For inradius r and
semiperimeter s
N
K = rs
M
O
P
21-Oct-2011
MA 341 001
24
8
10/21/2011
Area
Trigonometric formula
p
K = rs
 B +D 
K = abcd sin 

 2 
K=
q
1 2 2
p q - (ac -bd)2
2
21-Oct-2011
MA 341 001
25
Further Results
1. If a line cuts a tangential quadrilateral
into two polygons with equal areas and
equal perimeters, the line passes
through the incenter
2. If M and N are midpoints of diagonals
and incenter = I, then M, I, and N are
collinear
21-Oct-2011
MA 341 001
26
Further Results
3. If incircle is tangent to AB, BC, CD, DA
at X, Y, Z, W respectively, then lines
XY, WZ and AC are concurrent
4 If I is incenter then
4.
IAIC + IBID = ABBC CDDA
5. Incenter I of ABCD coincides with
centroid of ABCD if and only if
IAIC = IBID
21-Oct-2011
MA 341 001
27
9
10/21/2011
Further Results
Look at the incircles of the triangles of a
tangential quadrilateral.
21-Oct-2011
MA 341 001
28
Further Results
21-Oct-2011
MA 341 001
29
10