In the proof of Lemma 1 we mentioned that many incorrect | StudySoup
Discrete Mathematics and Its Applications | 7th Edition | ISBN: 9780073383095 | Authors: Kenneth Rosen

Table of Contents

A.1
Generating Permutations and Combinations
A.2
Solving Linear Recurrence Relations
A.3
Divide-and-Conquer Algorithms and Recurrence Relations

1
The Foundations: Logic and Proofs
1.SE
The Foundations: Logic and Proofs
1.1
Propositional Logic
1.2
Applications of Propositional Logic
1.3
Propositional Equivalences
1.4
Predicates and Quantifiers
1.5
Nested Quantifiers
1.6
Rules of Inference
1.7
Introduction to Proofs
1.8
Proof Methods and Strategy

2
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
2.SE
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
2.1
Sets
2.2
Set Operations
2.3
Functions
2.4
Sequences and Summations
2.5
Cardinality of Sets
2.6
Matrices

3
Algorithms
3.SE
Algorithms
3.1
Algorithms
3.2
The Growth of Functions
3.3
Complexity of Algorithms

4
Number Theory and Cryptography
4.SE
Number Theory and Cryptography
4.1
Divisibility and Modular Arithmetic
4.2
Integer Representations and Algorithms
4.3
Primes and Greatest Common Divisors
4.4
Solving Congruences
4.5
Applications of Congruences
4.6
Cryptography

5
Induction and Recursion
5.SE
Induction and Recursion
5.1
Mathematical Induction
5.2
Strong Induction and Well-Ordering
5.3
Recursive Definitions and Structural Induction
5.4
Recursive Algorithms
5.5
Program Correctness

6
Counting
6.SE
Counting
6.1
The Basics of Counting
6.2
The Pigeonhole Principle
6.3
Permutations and Combinations
6.4
Binomial Coefficients and Identities
6.5
Generalized Permutations and Combinations
6.6
Generating Permutations and Combinations

7
Discrete Probability
7.SE
Discrete Probability
7.1
An Introduction to Discrete Probability
7.2
Probability Theory
7.3
Bayes’ Theorem
7.4
Expected Value and Variance

8
Advanced Counting Techniques
8.SE
Advanced Counting Techniques
8.1
Applications of Recurrence Relations
8.2
Solving Linear Recurrence Relations
8.3
Divide-and-Conquer Algorithms and Recurrence Relations
8.4
Generating Functions
8.5
Inclusion–Exclusion
8.6
Applications of Inclusion–Exclusion

9
Relations
9.SE
Relations
9.1
Relations and Their Properties
9.2
n-ary Relations and Their Applications
9.3
Representing Relations
9.4
Closures of Relations
9.5
Equivalence Relations
9.6
Partial Orderings

10
Graphs
10.SE
Graphs
10.1
Graphs and Graph Models
10.2
Graph Terminology and Special Types of Graphs
10.3
Representing Graphs and Graph Isomorphism
10.4
Connectivity
10.5
Euler and Hamilton Paths
10.6
Shortest-Path Problems
10.7
Planar Graphs
10.8
Graph Coloring

11
Trees
11.SE
Trees
11.1
Introduction to Trees
11.2
Applications of Trees
11.3
Tree Traversal
11.4
Spanning Trees
11.5
Minimum Spanning Trees

12
Boolean Algebra
12.SE
Boolean Algebra
12.1
Boolean Functions
12.2
Representing Boolean Functions
12.3
Logic Gates
12.4
Minimization of Circuits

13
Modeling Computation
13.SE
Modeling Computation
13.1
Languages and Grammars
13.2
Finite-State Machines with Output
13.3
Finite-State Machines with No Output
13.4
Language Recognition
13.5
Turing Machines

Textbook Solutions for Discrete Mathematics and Its Applications

Chapter 5.2 Problem 21E

Question

In the proof of Lemma 1 we mentioned that many incorrect methods for finding a vertex \(p\) such that the line segment \(b p\) is an interior diagonal of \(P\) have been published. This exercise presents some of the incorrect ways \(p\) has been chosen in these proofs. Show, by considering one of the polygons drawn here, that for each of these choices of \(p\), the line segment \(b p\) is not necessarily an interior diagonal of \(P\).

a) \(p\) is the vertex of \(P\) such that the angle \(\angle a b p\) is smallest.

b) \(p\) is the vertex of \(P\) with the least \(x\)-coordinate (other than \(b\) ).

c) \(p\) is the vertex of \(P\) that is closest to \(b\).

.

Exercises 22 and 23 present examples that show inductive loading can be used to prove results in computational geometry.

Solution

Step 1 of 3)

The first step in solving 5.2 problem number 16 trying to solve the problem we have to refer to the textbook question: In the proof of Lemma 1 we mentioned that many incorrect methods for finding a vertex \(p\) such that the line segment \(b p\) is an interior diagonal of \(P\) have been published. This exercise presents some of the incorrect ways \(p\) has been chosen in these proofs. Show, by considering one of the polygons drawn here, that for each of these choices of \(p\), the line segment \(b p\) is not necessarily an interior diagonal of \(P\).a) \(p\) is the vertex of \(P\) such that the angle \(\angle a b p\) is smallest.b) \(p\) is the vertex of \(P\) with the least \(x\)-coordinate (other than \(b\) ).c) \(p\) is the vertex of \(P\) that is closest to \(b\)..Exercises 22 and 23 present examples that show inductive loading can be used to prove results in computational geometry.
From the textbook chapter Strong Induction and Well-Ordering you will find a few key concepts needed to solve this.

Step 2 of 7)

Visible to paid subscribers only

Step 3 of 7)

Visible to paid subscribers only

Subscribe to view the
full solution

Title Discrete Mathematics and Its Applications 7 
Author Kenneth Rosen
ISBN 9780073383095

In the proof of Lemma 1 we mentioned that many incorrect

Chapter 5.2 textbook questions

×

Login

Organize all study tools for free

Or continue with
×

Register

Sign up for access to all content on our site!

Or continue with

Or login if you already have an account

×

Reset password

If you have an active account we’ll send you an e-mail for password recovery

Or login if you have your password back