Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.
Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.
of course the website has something to do with lean
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?
@lemmy.world
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.
go to feed...
@lemmy.world
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.
go to feed...
hint
Use algebraic substitution and the binomial formulas
Solution
save