Verificatore di identità trigonometriche
Inserisci i due membri di un'identità candidata come espressioni in x. Il verificatore valuta entrambi su una serie di punti di prova in (0, 2π); se concordano ovunque entro la tolleranza l'identità viene segnalata come verificata, altrimenti viene mostrato un controesempio.
Domande frequenti
Un'identità verificata è davvero una dimostrazione?
No — l'accordo su molti punti di prova è una forte evidenza empirica ma non una dimostrazione formale. Una dimostrazione puramente simbolica richiede di manipolare i due membri con identità note, un compito separato e molto più difficile.
Perché campionamento e non manipolazione simbolica?
La semplificazione simbolica delle identità trigonometriche è genuinamente difficile e non univoca; il campionamento numerico individua quasi ogni errore reale in modo rapido e affidabile, e fornisce un controesempio concreto quando l'identità fallisce.
Quali punti di campione sono usati?
Circa una dozzina di valori distribuiti in (0, 2π), evitando le singolarità più ovvie. La tolleranza è relativa, quindi il test si adatta all'ordine di grandezza delle espressioni.