Unfathiant

Prawf gweledol o gyfathiant Pythagoraidd. Ar gyfer unrhyw ongl θ, mae'r pwynt (cos(θ),sin(θ)) yn gorwedd ar y cylch, sy'n bodloni yr hafaliad x²+y²=1. Felly, cos²(θ)+sin²(θ)=1.

Mewn mathemateg unfathiant (Saesneg: identity) yw perthynas yr hafaledd A = B, fel bod A a B yn cynnwys rhai newidynnau a lle mae A a B yn rhoi'r un gwerthoedd a'i gilydd, ni waeth be fo'r gwerthoedd (rhifau, fel arfer) a gaiff eu cyfnewid am newidynnau. Mewn geiriau eraill, mae A = B yn unfathiant os yw A a B yn diffinio yr un ffwythiannau. Golyga hyn fod yr 'unfathiant' yn 'hafaledd' (equality) rhwng ffwythiannau a ddiffiniwyd yn wahanol. Er enghraifft, mae (a + b)²  =  a² + 2ab + b² a Nodyn:Nowrap yn unfathiannau.

Caiff unfathiannau eu dynodi gan y symbol Nodyn:Math (bariau triphlyg ), yn hytrach na Nodyn:Math, sef yr hafaliad.

Unfathiant trigonometrig

Mae'r unfathiannau hyn yn ymwenud ag un neu ragor o ffwythiannau onglau. Sylwer nad oes gan y rhain ddim oll i wneud ag 'unfathiant y triongl', sy'n ymwenud ag onglau ac ochrau'r triongl. Mae unfathiannau trigonometrig yn ddefnyddiol pan fo angen symlhau mynegiannau perthnasol. Un o'r prif gymwysiadau yw integrynnau'r ffwythiannau an-nhrigonometrig.

Er enghraifft: ${\sin }^2\theta +{\cos }^2\theta =1,$ sy'n wir am bob gwerth cymhlyg o $\theta$ (gan mai'r rhifau cymhlyg $ℂ$ yw parth sin a cos), sef y gwrthwyneb i

$\cos \theta =1,$

sy'n wir am rai gwerthoedd yn unig o $\theta$, ond nid y cyfan e.e. mae'r hafaliad olaf hwn yn wir pan fo $\theta =0,$ ac yn anghywir pan fo $\theta =2$.

Unfathiant esbonyddol

Mae'r unfathiannau canlynol yn gywir am yr holl esbonyddion cyfanrifol (integer exponents), cyn belled a bod y sail yn ansero:

$\begin{array}{cc}{b}^{m+n}& =b^m\cdot b^n\\ (b^m{)}^n& =b^{m\cdot n}\\ (b\cdot c{)}^n& =b^n\cdot c^n\end{array}$

Nid yw'r esbonydd yn gymudol. Mae hyn yn groes i adio a lluosi. Er enghraifft, Nodyn:Nowrap a Nodyn:Nowrap, ond Nodyn:Nowrap, tra bod Nodyn:Nowrap.

Nid yw'r esbonydd ychwaith yn gysylltiadol; ond mae adio a lluosi. Er enghraifft, Nodyn:Nowrap a Nodyn:Nowrap, ond mae 2³ i 4 yn 8⁴ neu'n 4,096, tra bod 2 i'r 3⁴ yn 2⁸¹ neu'n 2,417,851,639,229,258,349,412,352. Heb gromfachau i addasu trefn y cyfrifiad, y drefn yw (top-i-lawr, nid gwaelod-i-fyny:

$b^{p^q}=b^{(p^q)}\ne (b^p{)}^q=b^{(p\cdot q)}=b^{p\cdot q}.$