I'd have to disagree - it is perfectly fine to show a visual proof and simply state that we can reduce b>a to a>b and this proof therefore covers both, optionally with a little "I don't believe you, show me the math" pop out.
The visual proof is the neat part that people literally can't think of unless you show it to them, after which things might suddenly click for them. The algebraic proof is boring AF and doesn't make for a good maths hook ;)
The visual proof is the neat part that people literally can't think of unless you show it to them, after which things might suddenly click for them. The algebraic proof is boring AF and doesn't make for a good maths hook ;)