Fish Face
Never used twitter but I am still a twit
One time mathematician
Full time pedant
@glynwolf@tiggi.es @IceWolf@masto.brightfur.net but left associativity is itself a notational convention. It's not a fundamental property of division: you can't prove that the division operation has this property, you have to decide you're going to follow the convention, and could choose not to.
Furthermore, left associativity does not help you in a mixed expression like 12÷3×4. The author is using a nonstandard definition of left associativity and if you look it up on Wikipedia or in a textbook you will see it gives you that a÷b÷c = (a÷b)÷c, but doesn't say what to do when you have a multiplication instead of a second division.
In our schooling, left associativity of division is a consequence of our order of operations conventions which say directly to do multiplication and division in order from left to right. If you do this with a÷b÷c you can see you immediately get (a÷b)÷c!
Examples where this order is not chosen include:
- Reverse polish notation
- Calculators which evaluate strictly left to right (used to be the only way calculators worked)
- Strange programming languages like APL
- Dutch classrooms until they agreed to use the more common order (they used to do multiplication before division)
If left associativity were an inherent property of division, none of these would actually be capable of doing division, yet somehow they are.
@glynwolf@tiggi.es @IceWolf@masto.brightfur.net
a ÷ b ÷ c = a ÷ (b ÷ c) = a ÷ b x c
Can you justify the final equality?
I would write:
a ÷ b ÷ c = a ÷ (b ÷ c) = (a ÷ b) × c = (a × c) ÷ b
and if you like I'll justify those latter equalities using basic properties of arithmetical operations.
Having declared that division is right-associative, but not declared how we will handle expressions with mixed multiplication and division, we still have two choices of how to interpret a ÷ b × c: is it (a ÷ b) × c or a ÷ (b × c)? This is why I don't think you can justify your final equality without making a further notational convention.
If you adopt either of the conventions, "do division before multiplication" or "do mixed multiplication and division left-to-right" you will get your equality but no inconsistency. If you adopt either of the conventions "do multiplication before division" or "do mixed multiplication and division right-to-left" you will get the other equality, and again no inconsistency.
Note that, there IS an inconsistent option here: you cannot both have right-associative division AND do all divisions and multiplications from left to right, for the former necessitates that expressions consisting of multiple division operations be evaluated right-to-left.
What I should have said is that once you adopt the notation "numerator ÷ denominator" to express division, the rest follows as a logical consequence.
I still don't agree with this statement.
A different way of looking at this is that that notation tells us what to do with expressions involving two quantities only. You still need to adopt a notational convention on what to do with successive operations, unless you make it explicit with brackets.
I do think those examples are relevant, because for example, if any inconsistency flowed directly from adopting right-associativity for division written as "a ÷ b", there would be an inconsistency in APL, which use that notation (yes, with an obelus, not a slash) and right-associativity.