MHB Formal Proofs in Maths: Establishing Equivalence

Click For Summary
The discussion centers on establishing the equivalence of three mathematical statements related to inequalities. The statements include the basic inequality \(0 < 1\), the implication \(0 < A \Longrightarrow 0 < \frac{1}{A}\), and the condition \(AC < BC \wedge 0 < C \Longrightarrow A < B\). Participants express frustration over the lack of solutions provided in the referenced book, leading to the conclusion that this remains an unsolved challenge. The thread emphasizes the importance of formal proofs in mathematics for understanding these relationships. Overall, the discussion highlights a gap in resources for solving complex mathematical equivalences.
solakis1
Messages
407
Reaction score
0
From the book "FORMAL PROOFS IN MATHS "(Amazon.com),page 101 ,exercise19 ,Iread:

Establish the equivalence between:

$$0<1$$,.........$$0<A\Longrightarrow 0<\frac{1}{A}$$,............$$AC<BC\wedge 0<C\Longrightarrow A<B$$
 
Mathematics news on Phys.org
solakis said:
From the book "FORMAL PROOFS IN MATHS "(Amazon.com),page 101 ,exercise19 ,Iread:

Establish the equivalence between:

$$0<1$$,.........$$0<A\Longrightarrow 0<\frac{1}{A}$$,............$$AC<BC\wedge 0<C\Longrightarrow A<B$$

Please post the solution you have ready.
 
MarkFL said:
Please post the solution you have ready.

I am sorry but the book where i took that inequality does not give a solution, so let that be an unsolved challenge question
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K