hint
Use 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 ◽
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.
hint
Use 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 ◽
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?