On the application of analysis to the discovery of local theorems and porisms