Nell'affermare di essere assolutamente d'accordo col fatto che non si possa dividere i membri di una EQUAZIONE per ZERO (e che non lo sarebbe!) devo tuttavia asserire che l'assurdo deve essere evidenziato ancora prima che si arrivi a tanto, e cioè: se impongo a = 1 e b = 1, allora non posso scrivere formule che utilizzino i simboli a e b come se potessero assumere ancora valori differenti. E neppure posso usare in una equazione o solo a o solo b come se il simbolo scelto potesse assumere valori diversi da 1.
Al più potrei utilizzare il valore 1 (uno) e scrivere:

[unparseable or potentially dangerous latex formula]
Essendo chiaro che non ha senso neppure in tale caso proporre la divisione per (1 - 1) di ogni membro dell' IDENTITA' sopra scritta in quanto la "semplificazione" avrebbe il solo scopo di lasciare inalterato il verificarsi dell'identità.