Hogy hívják ezt az azonosságot?

Amit írtál azt szerintem sehogy.

Az |a|*|b| >= |a*b| lehet Cauchy–Schwarz-egyenlőtlenség.

[link]

|a|*|b| mindenképpen = |a*b| -vel, ha "a" és "b" valós szám.

Bár nem ismerem, és még nem is hallottam róla, szerintem valamit elírtatok.

A '>=' megengedi, hogy egyenlőek legyenek, ezzel nem cáfoltál semmit. Másrészt igazán megnézhetnéd a linket, ha még nem hallottál a Cauchy–Schwarz-egyenlőtlenségről.

(Persze kell, hogy az a és b egy skalárszorzatos vektortér két eleme legyen, és nem árt megjegyezni, hogy a bal oldalon a * sima valós szorzás, a jobb oldalon pedig a skaláris szorzás – Wikipédián a kettő tényleg másként van jelölve. Egyenlőség csak akkor áll, ha a és b lineárisan függők, speciálisan ha a és b valósak, akkor mindig, ebben igazad van.)