Crumb
c/dailymaths · by glowing_hans@sopuli.xyz · 1y

Equalities 1

https://hrmacbeth.github.io/math2001/01_Proofs_by_Calculation.html#proving-equalities

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

7 points · 3 comments · view on lemmy.world

3 Comments

glowing_hans@sopuli.xyz · 4 pts · 1y

::: 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 ◽

:::

siriusmart@lemmy.world · 1 pts · 1y (1 reply)

of course the website has something to do with lean

glowing_hans@sopuli.xyz · 2 pts · 1y

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?