scratsearcher 🔍🔮📊🎲 to

Daily Maths Challenges@lemmy.worldEnglish · 7 days ago

Equalities 1

hrmacbeth.github.io

3

6

Equalities 1

hrmacbeth.github.io

scratsearcher 🔍🔮📊🎲 to

Daily Maths Challenges@lemmy.worldEnglish · 7 days ago

3

1. Proofs by calculation — The Mechanics of Proof, by Heather Macbeth

hrmacbeth.github.io

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

Chat

siriusmart@lemmy.worldM
link
fedilink
arrow-up
1·
5 days ago
of course the website has something to do with lean
- scratsearcher 🔍🔮📊🎲OP
  link
  fedilink
  English
  arrow-up
  1·
  3 days ago
  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?

Daily Maths Challenges@lemmy.world

dailymaths@lemmy.world

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !dailymaths@lemmy.world

Share your cool maths problems.

Complete a challenge:

Post your solution in comments, if it is exactly the same as OP’s solution, let us know.
Have fun.

Post a challenge:

Doesn’t have to be original, as long as it is not a duplicate.
Challenges not riddles, if the post is longer than 3 paragraphs, reconsider yourself.
Optionally include solution in comments, let it be clear this is not a homework help forums.
Tag [unsolved] if you don’t have a solution yet.
Please include images, if your question includes complex symbols, attach a render of the maths.

Feel free to contribute to a series by DMing the OP, or start your own challenge series.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
16 users / week
17 users / month
59 users / 6 months
5 local subscribers
213 subscribers
39 Posts
169 Comments
Modlog

mods:
siriusmart@lemmy.world