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 9 months ago
MODERATORS
6
Equalities 1 (hrmacbeth.github.io)
submitted 6 days ago* (last edited 6 days ago) by [email protected] to c/dailymaths
 

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

you are viewing a single comment's thread
view the rest of the comments
[โ€“] siriusmart 1 points 4 days ago (1 children)

of course the website has something to do with lean

[โ€“] [email protected] 1 points 3 days 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?