Corolario

Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia obvia que no necesita demostración.

Siempre se refiere a una inferencia escueta e inmediata, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema y teorema, siendo el lema una proposición breve.[1]​

A modo de definición

Una proposición si es consecuencia de un teorema se denomina corolario.[2]​

Ampliación de la etimología

El vocablo latina corollarium deriva de: a) corōlla (pétalos de las flores), que es diminutivo de corōna: porque a los actores, en calidad de gratificación adicional, se les entregaba una coronita. En Roma, así mismo a los espectadores y a los invitados a los banquetes se les otorgaba un corollarium; b) -arium, sufijo abundancial (por las flores de la corona).

Ejemplos

El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos

le sigue el corolario:

La longitud de un cateto es menor que la de la hipotenusa;

De a2 = b2 +c2 resulta b2 = a2 - c2.

Véase también

Referencias

  1. ↑ Moise Dows: Geometría moderna
  2. ↑ G. M. Bruño Arimética razonada Imprenta F. Franco, Madrid 1059

Obra consultable en alemán

  • Albrecht Beutelspacher: Das ist o.B.d.A. trivial. Vieweg, Braunschweig 1999, ISBN 3-528-46442-9.

Enlaces externos

Read other articles:

Kevin Muscat

Kevin Muscat Muscat tahun 2013Informasi pribadiNama lengkap Kevin Vincent Muscat[1]Tanggal lahir 7 Agustus 1973 (umur 50)[1]Tempat lahir Crawley, InggrisTinggi 1,80 m (5 ft 11 in)[1]Posisi bermain BekInformasi klubKlub saat ini Melbourne Victory (manajer)Karier junior1989–1990 Sunshine George Cross1990–1991 AISKarier senior*Tahun Tim Tampil (Gol)1989–1990 Sunshine George Cross 9 (0)1991–1992 Heidelberg United 18 (0)1992–1996 South Melbour...

 

 

Carles Arianto Lumban Gaol

Ini adalah nama Batak Toba, marganya adalah Lumban Gaol. Carles Arianto Lumban Gaol Danbrigif-3 Marinir Informasi pribadiLahir27 September 1977 (umur 46)Nainggolan, Kabupaten Samosir, Sumatera UtaraAlma materAkademi Angkatan Laut (1999)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan LautMasa dinas1999–sekarangPangkat KolonelNRP14445/PSatuanKorps Marinir (Taifib)Sunting kotak info • L • B Kolonel (Mar) Carles Arianto Lumban Gaol, (lahir 27 September 1977) ...

 

 

Universitas Pusat Medis Barat Daya Texas

Gedung fase 1 dan 2 yang asli tahun 1993. Karya arsitek Edward Larrabee Barnes dan John MY Lee Kampus utara dan barat, lokasi yang diperluas baru-baru ini Rumah Sakit Parkland Memorial Universitas Pusat Medis Barat Daya Texas atau University of Texas Southwestern Medical Center (disingkat UT Southwestern atau UTSW) adalah pusat ilmu kesehatan akademik publik di Dallas, Texas, Amerika Serikat. Memiliki sekitar 13.568 karyawan, 2.445 fakultas dan lebih dari 2,7 juta kunjungan rawat jalan per ta...

W

Halaman ini memuat artikel tentang huruf W dalam alfabet Latin. Untuk penggunaan lainnya, lihat W (disambiguasi). Lihat W, w di Wiktionary, kamus gratis. Alfabet Latindasar ISO AaBbCcDdEeFfGgHhIiJjKkLlMmNnOoPpQqRrSsTtUuVvWwXxYyZz lbs W adalah huruf Latin modern yang ke-23. Dalam bahasa Indonesia, huruf ini bernama we. Dalam Alfabet Fonetik Internasional, huruf W mewakili bunyi konsonan hampiran langit-langit belakang terbibirkan bersuara. Sejarah Buku cetakan tahun 1693 yang menggunakan u gan...

 

 

قائمة النساء الحاصلات على جائزة نوبل

جميع جوائز نوبل التي فازت بها النساء قائمة النساء الحاصلات على جائزة نوبل تمنح جائزة نوبل سنويًا من قبل الأكاديمية الملكية السويدية للعلوم والأكاديمية السويدية ومعهد كارولنسكا واللجنة النرويجية لجائزة نوبل لأشخاص قاموا بمساهمات بارزة في مجالات الكيمياء والفيزياء والأد...

 

 

jembatan kabel pancang

Jembatan Meiko-Chuo di Nagoya, Jepang. Jembatan kabel pancang adalah jembatan yang terdiri dari satu atau beberapa kolom (biasanya disebut sebagai menara atau tiang), dengan kabel yang mendukung dek jembatan. Ada dua kelas utama dari jembatan kabel pancang: Dalam desain kecapi, kabel yang dibuat hampir paralel dengan memasang mereka ke berbagai titik pada menara sehingga ketinggian keterikatan dari setiap kabel pada menara ini mirip dengan jarak dari menara sepanjang jalan dengan keterikatan ...

Villahermosa

This article is about the capital city of the Mexican state of Tabasco. For other uses, see Villahermosa (disambiguation). This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: New content is a mess with lots of bad refs etc, this is a machine translation from Spanish. Please help improve this article if you can. (September 2019) (Learn how and when to remove this template message) State capital in Tabasco, MexicoVillahermosaState capitalFrom top to ...

 

 

Brockton, Massachusetts

City in Massachusetts, United States City in MassachusettsBrockton, MassachusettsCityCity Hall SealNickname: The City of ChampionsMotto(s): Education, Industry, ProgressLocation in Plymouth County in MassachusettsBrocktonLocation within MassachusettsShow map of MassachusettsBrocktonLocation within the United StatesShow map of the United StatesBrocktonLocation within North AmericaShow map of North AmericaCoordinates: 42°05′00″N 71°01′08″W / 42.08333°N 71.0...

 

 

14th Flying Training Wing

Cet article est une ébauche concernant une unité ou formation militaire américaine. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. 14th Flying Training Wing Création 29 juillet 1947 Allégeance Air Education and Training Command Type entrainement Fait partie de 19th Air Force Garnison Columbus Air Force Base Équipement T-38 modifier  Le 14th Flying Training Wing (14th FTW, 14e Escadre d'entraînement ...

Unione Sportiva Toma Maglie 1950-1951

Voce principale: Unione Sportiva Antonio Toma Maglie. U.S. A. Toma MaglieStagione 1950-1951Sport calcio Squadra Toma Maglie Allenatore Ugo Starace Presidente Sante Cezza Serie C10º Maggiori presenzeCampionato: Giorgino (36) Miglior marcatoreCampionato: Conti (8) Dini (8) 1949-50 1951-52 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti l'Unione Sportiva Antonio Toma Maglie nelle competizioni ufficiali della stagione 1950-1951. Indice 1 Organig...

 

 

Public holidays in Botswana

Public holidays in BotswanaObserved byBatswanaTypeNationalFrequencyAnnualPublic holidays in Botswana are largely controlled by government sector employers who are given paid time off. The government holiday schedule mainly benefits employees of government and government regulated businesses. At the discretion of the employer, other non-federal holidays such as Christmas Eve are common additions to the list of paid holidays. Major Christian holidays such as Christmas and Good Friday are ...

 

 

SM U-151

German U-boat from WW2 U-151 at sea History German Empire NameU-151 Ordered29 November 1916 BuilderReiherstieg Schiffswerfte & Maschinenfabrik, Hamburg Yard number303 Launched4 April 1917 Commissioned21 July 1917 CapturedSurrendered to France at Cherbourg FateSunk as target ship at Cherbourg, 7 June 1921 General characteristics [1] Class and typeGerman Type U 151 submarine Displacement 1,512 tonnes (1,488 long tons) (surfaced) 1,875 tonnes (1,845 long tons) (submerged) 2,272 tonne...

Djohan Yoga

Djohan YogaDjohan Yoga di KBRI Bangkok, 2019Lahir8 Oktober 1964 (umur 59)Bukittinggi, Sumatera BaratKebangsaanIndonesiaAlmamaterInstitut Teknologi BandungUniversitas TerbukaNational University of SingaporePekerjaanKonsultan dan motivator Ir. Drs. Djohan Yoga, M.Sc., MoT., Ph.D. (lahir 8 Oktober 1964) adalah motivator, pembicara publik, serta konsultan sumber daya manusia dalam bidang pendidikan di Asia-Pasifik. Dirinya juga dikenal sebagai ahli mindmap (pemetaan pikiran) yang belajar la...

 

 

Renault Twingo

Стиль этой статьи неэнциклопедичен или нарушает нормы литературного русского языка. Статью следует исправить согласно стилистическим правилам Википедии. Renault Twingo Три поколения Twingo, самое последнее слева Общие данные Производитель Renault Годы производства 1993 — настоя�...

 

 

University of Harderwijk

Public university in Harderwijk, Dutch Republic (now the Netherlands) from 1648-1811 This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: University of Harderwijk – news · newspapers · books · scholar · JSTOR (January 2021) (Learn how and when to remove this message) Harderwijk, tower: het Linnaeustorentje The Un...

تنويعات التجربة الدينية

تنويعات التجربة الدينية (بالإنجليزية: The Varieties of Religious Experience)‏، وتنويعات التجربة الدينية    معلومات الكتاب المؤلف ويليام جيمس  اللغة en الناشر لونجمان  تاريخ النشر 1902  النوع الأدبي مقالة  الموضوع فلسفة الدين،  وبراغماتية  ترجمة المترجم إسلام سعد وعلي رضا...

 

 

Peenemünde Army Research Center

Research center under Nazi Germany For the village and the World War II Luftwaffe airfield that tested the V-1 flying bomb, see Peenemünde and Peenemünde Airfield. Peenemünde Army Research CenterPeenemünde, Germany 1943 RAF photo-recon of Test Stand VII at the Peenemünde Army Research CenterCoordinates54°08′35″N 13°47′38″E / 54.143°N 13.794°E / 54.143; 13.794Site historyBuilt1937In useWorld War IIBattles/warsOperation Crossbow (Bombing of Peenemü...

 

 

Hypersomnie

Hypersomnie Données clés Traitement Médicament Modafinil, armodafinil (en), méthylphénidate et oxybate de sodium (en) Spécialité Neurologie et hypnologie Classification et ressources externes CISP-2 P06 CIM-10 F51.1, G47.1 CIM-9 291.82, 292.85, 307.43-307.44, 327.1, 780.53-780.54 eMedicine med/3129  MeSH D006970 Mise en garde médicale modifier - modifier le code - voir Wikidata (aide) L’hypersomnie est un trouble du sommeil caractérisé par une somnolence diurne excessive et ...

Centro per gli studi sulla tradizione manoscritta di autori moderni e contemporanei

Centro per gli studi sulla tradizione manoscritta di autori moderni e contemporaneiCentro per gli studi sulla tradizione manoscritta di autori moderni e contemporanei Il cortile Sforzesco dell'ex Ospedale San Matteo, dove ha sede il centro. AbbreviazioneCentro Manoscritti TipoCentro di Servizio Fondazione1980 FondatoreMaria Corti Scoposvolgere attività di conservazione, valorizzazione e ricerca sulla tradizione manoscritta di autori dell'Ottocento e del Novecento ed in particolare sui docume...

 

 

Hypereides

Athenian logographer (c. 390 – 322 BC) For the potter, see Hypereides (potter). You can help expand this article with text translated from the corresponding article in Italian. (October 2021) Click [show] for important translation instructions. View a machine-translated version of the Italian article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accur...