Equalities 1
Let a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.
Syndicated from the fediverse. Read and engage on the original instance.
View original on sopuli.xyzLet a and b be rational numbers and suppose that (a-b)=4 and a*b=1 . Show that (a+b)^2 = 20.
3 replies
::: 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?