Die Infinitesimal-Lupe
In der Nonstandard-Analysis wird mit hyperreellen Zahlen gerechnet (anstelle von Grenzwerten).
Der Differentialquotient dy/dx ist dabei tatsächlich ein Quotient von Differenzialen dy und dx.
Zur Veranschaulichung wird das 'Prinzip der infiniten Vergrößerung' angewendet und als Bild eine (statische) 'Unendlichkeitsbrille' genutzt.
Dazu gibt es jetzt (2019) eine dynamische Visualisierung mit GeoGebra: Die Infinitesimal-Lupe.