dailymaths·Daily Maths Challengesbyscratsearcher 🔍🔮📊🎲 Equalities 1Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.https://hrmacbeth.github.io/math2001/01_Proofs_by_Calculation.html#proving-equalitiesOpen linkView original on sopuli.xyz7Comments3
scratsearcher 🔍🔮📊🎲 sopuli.xyz::: spoiler 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 ::: ::: spoiler Solution (a+b)^2 = a^2 + 2*ab + b^2 = (a-b)^2 +4*ab = 4^2+4*1 = 16+4 = 20 ◽ :::4
scratsearcher 🔍🔮📊🎲 replysopuli.xyzyeah 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?2
::: spoiler hint Use algebraic substitution and the binomial formulas
:::
::: spoiler Solution
:::
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?