We’re rewarding the question askers & reputations are being recalculated! Read more.

Questions tagged [proof-golf]

Proof-golf is a competition to prove a particular theorem/statement using the fewest number of substitutions/steps given a set of axioms.

Filter by
Sorted by
Tagged with
122
votes
11answers
12k views

(-a) × (-a) = a × a

We all know that \$(-a) \times (-a) = a \times a\$ (hopefully), but can you prove it? Your task is to prove this fact using the ring axioms. What are the ring axioms? The ring axioms are a list of ...