this post was submitted on 15 Feb 2025
6 points (100.0% liked)

Daily Maths Challenges

214 readers
1 users here now

Share your cool maths problems.



Complete a challenge:


Post a challenge:


Feel free to contribute to a series by DMing the OP, or start your own challenge series.

founded 10 months ago
MODERATORS
6
Equalities 1 (hrmacbeth.github.io)
submitted 2 weeks ago* (last edited 2 weeks ago) by [email protected] to c/[email protected]
 

Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.

top 3 comments
sorted by: hot top controversial new old
[–] [email protected] 4 points 2 weeks ago

hintUse algebraic substitution and the binomial formulas

(a+b)^2 = a^2+2*ab+b^2
(a-b)^2 = a^2-2*ab+b^2

Solution

(a+b)^2 = a^2 + 2*ab + b^2 = (a-b)^2 +4*ab = 4^2+4*1 = 16+4 = 20 ◽

[–] [email protected] 1 points 1 week ago (1 children)

of course the website has something to do with lean

[–] [email protected] 2 points 1 week ago

yeah I found this website quite interesting even if I dont want to learn lean right now you can learn some cool proofs. Do you mind if I post other questions from that one here?