@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix course: <https://w3id.org/kmath/course/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix review_status: <https://w3id.org/kmath/review_status/> .
@prefix scheme: <https://w3id.org/kmath/scheme/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix textbook_section: <https://w3id.org/kmath/textbook_section/> .

concept:arithmetic_geometric_mean_inequality a math:Concept ;
    rdfs:label "산술평균과 기하평균의 관계"@ko ;
    skos:altLabel "산술·기하평균 부등식"@ko ;
    skos:broader concept:absolute_inequality ;
    skos:definition "a > 0, b > 0일 때 (a + b)/2 ≥ √(ab)가 성립하고, 등호는 a = b일 때 성립한다. 합이 일정한 두 양수의 곱의 최댓값이나 곱이 일정한 두 양수의 합의 최솟값을 구하는 데 쓴다."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수가 독립된 학습 항목으로 다루는 것을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:exactMatch <http://www.wikidata.org/entity/Q841170> ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "inequality of arithmetic and geometric means"@en,
        "산술평균과 기하평균의 관계"@ko ;
    math:introducedIn course:common_math_2 ;
    math:requires concept:absolute_inequality,
        concept:square_root ;
    math:requiresTransitively concept:absolute_inequality,
        concept:algebraic_expression,
        concept:inequality,
        concept:integer,
        concept:power,
        concept:proposition,
        concept:rational_number,
        concept:square_root ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:grip_algebra_03_08_am_gm_extremum,
        textbook_section:grip_algebra_05_05_sector_extremum,
        textbook_section:national_curriculum_2022_common_math_2_sets_propositions ;
    math:taughtIn course:common_math_2 .