Post History
#4: Post edited
- EXCLUDE Trial and Error. If $a = b = c = 0$, then obviously both sides are equal. My child is 14 y.o. We prefer pretty [proofs by picture](https://mathoverflow.net/q/8846) ([but beware](https://math.stackexchange.com/q/743067)), AND intuition! Recondite algebra is not required.
But how do I systematically deduce the premises in general for $\overline{\overline{a, b}, c}$- - = AND
- [$eq \overline{a, \overline{b, c}}$](https://math.stackexchange.com/a/2892589)?
- EXCLUDE Trial and Error. If $a = b = c = 0$, then obviously both sides are equal. My child is 14 y.o. We prefer pretty [proofs by picture](https://mathoverflow.net/q/8846) ([but beware](https://math.stackexchange.com/q/743067)), AND intuition! Recondite algebra is not required.
- But how do I systematically deduce when $\overline{\overline{a, b}, c} = \frac{a}{4}+ \frac{b}{4} + \frac{c}{2}$
- - = AND
- - $
- eq$
- [$\overline{a, \overline{b, c}} = \frac{a}{2} + \frac{b}{4} + \frac{c}{4}$](https://math.stackexchange.com/a/2892589)?
#2: Post edited
EXCLUDE Trial and Error. If $a = b = c = 0$, then obviously both sides are equal. My child is 14 y.o. We prefer pretty [proofs by picture](https://matheducators.stackexchange.com/q/570), AND intuition! Recondite algebra is not required.- But how do I systematically deduce the premises in general for $\overline{\overline{a, b}, c}$
- - = AND
- - [$\neq \overline{a, \overline{b, c}}$](https://math.stackexchange.com/a/2892589)?
- EXCLUDE Trial and Error. If $a = b = c = 0$, then obviously both sides are equal. My child is 14 y.o. We prefer pretty [proofs by picture](https://mathoverflow.net/q/8846) ([but beware](https://math.stackexchange.com/q/743067)), AND intuition! Recondite algebra is not required.
- But how do I systematically deduce the premises in general for $\overline{\overline{a, b}, c}$
- - = AND
- - [$\neq \overline{a, \overline{b, c}}$](https://math.stackexchange.com/a/2892589)?
#1: Initial revision
Without trial and error, average(average(a,b),c) vs. average(a,average(b,c)).
EXCLUDE Trial and Error. If $a = b = c = 0$, then obviously both sides are equal. My child is 14 y.o. We prefer pretty [proofs by picture](https://matheducators.stackexchange.com/q/570), AND intuition! Recondite algebra is not required. But how do I systematically deduce the premises in general for $\overline{\overline{a, b}, c}$ - = AND - [$\neq \overline{a, \overline{b, c}}$](https://math.stackexchange.com/a/2892589)?