For those thinking this doesn't hold, note that "wlog" means without loss of gen... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		karmakaze on Dec 15, 2024 \| parent \| context \| favorite \| on: A visual proof that a^2 – b^2 = (a + b)(a – b) For those thinking this doesn't hold, note that "wlog" means without loss of generality (having numerous examples in proofs).

lizzas on Dec 15, 2024 [–]

A good example of the shortening of proofs. Like "Observe that... {unproven thing}"

It is not necessarily bad but explains why every step isn't always proven. To avoid tedium and long papers.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact